David M. Cerna

57 papers A* 6A 1B 7C 1Misc 2Journal 30Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Efficient Rule Induction by Ignoring Pointless Rules. AAAI Andrew Cropper, David M. Cerna
2026	J	`jnl`	One is all you need: Second-order Unification without First-order Variables. Log. Methods Comput. Sci. David M. Cerna, Julian Parsert
2026	A*	`conf`	Symmetry Breaking for Inductive Logic Programming. AAAI Andrew Cropper, David M. Cerna, Matti Järvisalo
2025	B	`conf`	Combining Generalization Algorithms in Regular Collapse-Free Theories. FSCD Mauricio Ayala-Rincón, David M. Cerna, Temur Kutsia, Christophe Ringeissen
2025	J	`jnl`	Efficient rule induction by ignoring pointless rules. CoRR Andrew Cropper, David M. Cerna
2025	J	`jnl`	Honey, I shrunk the hypothesis space (through logical preprocessing). CoRR Andrew Cropper, Filipe Gouveia, David M. Cerna
2025	A*	`conf`	Scalable Knowledge Refactoring Using Constrained Optimisation. AAAI Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper
2025	J	`jnl`	Symmetry breaking for inductive logic programming. CoRR Andrew Cropper, David M. Cerna, Matti Järvisalo
2024	J	`jnl`	A Note On Square-free Sequences and Anti-unification Type. CoRR David M. Cerna
2024	—	`conf`	Differentiable Inductive Logic Programming in High-Dimensional Space. IJCLR Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
2024	—	`conf`	Equational Anti-unification over Absorption Theories. IJCAR (2) Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia
2024	A*	`conf`	Generalisation through Negation and Predicate Invention. AAAI David M. Cerna, Andrew Cropper
2024	—	`conf`	Learning Guided Automated Reasoning: A Brief Survey. Logics and Type Systems in Theory and Practice Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban
2024	J	`jnl`	Learning Guided Automated Reasoning: A Brief Survey. CoRR Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban
2024	—	`conf`	Learning Rules Explaining Interactive Theorem Proving Tactic Prediction. IJCLR Liao Zhang, David M. Cerna, Cezary Kaliszyk
2024	J	`jnl`	Learning Rules Explaining Interactive Theorem Proving Tactic Prediction. CoRR Liao Zhang, David M. Cerna, Cezary Kaliszyk
2024	J	`jnl`	One is all you need: Second-order Unification without First-order Variables. CoRR David M. Cerna, Julian Parsert
2024	J	`jnl`	One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus. ACM Trans. Comput. Log. David M. Cerna, Michal Buran
2024	J	`jnl`	Scalable Knowledge Refactoring using Constrained Optimisation. CoRR Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper
2023	A*	`conf`	Anti-unification and Generalization: A Survey. IJCAI David M. Cerna, Temur Kutsia
2023	J	`jnl`	Anti-unification and Generalization: A Survey. CoRR David M. Cerna, Temur Kutsia
2023	J	`jnl`	Equational Anti-Unification over Absorption Theories. CoRR Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia
2023	J	`jnl`	Generalisation Through Negation and Predicate Invention. CoRR David M. Cerna, Andrew Cropper
2023	J	`jnl`	Recursive First-order Syntactic Unification Modulo Variable Classes. CoRR David M. Cerna
2022	J	`jnl`	A Special Case of Schematic Syntactic Unification. CoRR David M. Cerna
2022	J	`jnl`	Differentiable Inductive Logic Programming in High-Dimensional Space. CoRR Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
2022	A*	`conf`	Learning Higher-Order Logic Programs From Failures. IJCAI Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
2022	J	`jnl`	One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus. CoRR Michal Buran, David M. Cerna
2021	Misc	`conf`	A Special Case of Schematic Syntactic Unification. SYNASC David M. Cerna
2021	J	`jnl`	Learning Higher-Order Programs without Meta-Interpretive Learning. CoRR Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
2021	J	`jnl`	Schematic Refutations of Formula Schemata. J. Autom. Reason. David M. Cerna, Alexander Leitsch, Anela Lolic
2020	B	`conf`	Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. ITiCSE David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
2020	J	`jnl`	Anti-unification and the theory of semirings. Theor. Comput. Sci. David M. Cerna
2020	—	`conf`	Computational Logic in the First Semester of Computer Science: An Experience Report. CSEDU (2) David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
2020	—	`conf`	Covered Clauses Are Not Propagation Redundant. IJCAR (1) Lee A. Barnett, David M. Cerna, Armin Biere
2020	J	`jnl`	Higher-order pattern generalization modulo equational theories. Math. Struct. Comput. Sci. David M. Cerna, Temur Kutsia
2020	J	`jnl`	Idempotent Anti-unification. ACM Trans. Comput. Log. David M. Cerna, Temur Kutsia
2020	—	`conf`	On the Unification of Term Schemata. UNIF David M. Cerna, Alexander Leitsch, Anela Lolic
2020	B	`conf`	Unital Anti-Unification: Type and Algorithms. FSCD David M. Cerna, Temur Kutsia
2019	B	`conf`	A Generic Framework for Higher-Order Generalizations. FSCD David M. Cerna, Temur Kutsia
2019	—	`conf`	A Mobile Application for Self-Guided Study of Formal Reasoning. ThEdu@CADE David M. Cerna, Rafael P. D. Kiesel, Alexandra Dzhiganskaya
2019	J	`jnl`	Schematic Refutations of Formula Schemata. CoRR David M. Cerna, Alexander Leitsch, Anela Lolic
2018	J	`jnl`	Higher-Order Equational Pattern Anti-Unification [Preprint]. CoRR David M. Cerna, Temur Kutsia
2018	B	`conf`	Higher-Order Equational Pattern Anti-Unification. FSCD David M. Cerna, Temur Kutsia
2017	J	`jnl`	Ceres in intuitionistic logic. Ann. Pure Appl. Log. David M. Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner
2017	J	`jnl`	Clausal Analysis of First-order Proof Schemata. CoRR David M. Cerna, Michael Peter Lettmann
2017	B	`conf`	Integrating a Global Induction Mechanism into a Sequent Calculus. TABLEAUX David M. Cerna, Michael Peter Lettmann
2017	J	`jnl`	Integrating a Global Induction Mechanism into a Sequent Calculus. CoRR David M. Cerna, Michael Peter Lettmann
2017	—	`conf`	Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. SCSS David M. Cerna, Wolfgang Schreiner
2017	Misc	`conf`	Towards a Clausal Analysis of Proof Schemata. SYNASC David M. Cerna, Michael Peter Lettmann
2016	J	`jnl`	A Generalized Resolution Proof Schema and the Pigeonhole Principle. CoRR David M. Cerna
2016	B	`conf`	Predicting Space Requirements for a Stream Monitor Specification Language. RV David M. Cerna, Wolfgang Schreiner, Temur Kutsia
2016	A	`conf`	Schematic Cut Elimination and the Ordered Pigeonhole Principle. IJCAR David M. Cerna, Alexander Leitsch
2016	J	`jnl`	Schematic Cut elimination and the Ordered Pigeonhole Principle [Extended Version]. CoRR David M. Cerna, Alexander Leitsch
2016	—	`conf`	Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. SCSS David M. Cerna, Wolfgang Schreiner, Temur Kutsia
2015	J	`jnl`	Analysis of Clause set Schema Aided by Automated Theorem Proving: A Case Study [Extended Paper]. CoRR David M. Cerna, Alexander Leitsch
2014	C	`conf`	A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata. CICM David M. Cerna