Risultati della ricerca - Cerna, David

Schematic Unification di Cerna, David M.

Testo

A Note On Square-free Sequences and Anti-unification Type di Cerna, David M.

Testo

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus di Cerna, David M., Buran, Michal

Testo

Generalisation Through Negation and Predicate Invention di Cerna, David M., Cropper, Andrew

Testo

One is all you need: Second-order Unification without First-order Variables di Cerna, David M., Parsert, Julian

Testo

Efficient rule induction by ignoring pointless rules di Cropper, Andrew, Cerna, David M.

Testo

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction di Zhang, Liao, Cerna, David M., Kaliszyk, Cezary

Testo

Honey, I shrunk the hypothesis space (through logical preprocessing) di Cropper, Andrew, Gouveia, Filipe, Cerna, David M.

Testo

Symmetry breaking for inductive logic programming di Cropper, Andrew, Cerna, David M., Järvisalo, Matti

Testo

Differentiable Inductive Logic Programming in High-Dimensional Space di Purgał, Stanisław J., Cerna, David M., Kaliszyk, Cezary

Testo

Scalable Knowledge Refactoring using Constrained Optimisation di Liu, Minghao, Cerna, David M., Gouveia, Filipe, Cropper, Andrew

Testo

Equational Anti-Unification over Absorption Theories di Ayala-Rincon, Mauricio, Cerna, David M., Barragan, Andres Felipe Gonzalez, Kutsia, Temur

Testo

Learning Guided Automated Reasoning: A Brief Survey di Blaauwbroek, Lasse, Cerna, David, Gauthier, Thibault, Jakubův, Jan, Kaliszyk, Cezary, Suda, Martin, Urban, Josef

Testo