David M. Cerna

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 41

Top Topics

Cut Elimination

Theorem Proving

Predicate Invention

Inductive Logic Programming

Top Venues

Publications

Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia
Equational Anti-unification over Absorption Theories. IJCAR (2) (2024)
David M. Cerna, Andrew Cropper
Generalisation through Negation and Predicate Invention. AAAI (2024)
Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban
Learning Guided Automated Reasoning: A Brief Survey. Logics and Type Systems in Theory and Practice (2024)
Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban
Learning Guided Automated Reasoning: A Brief Survey. CoRR (2024)
David M. Cerna, Julian Parsert
One is all you need: Second-order Unification without First-order Variables. CoRR (2024)
David M. Cerna, Temur Kutsia
Anti-unification and Generalization: A Survey. CoRR (2023)
David M. Cerna
Recursive First-order Syntactic Unification Modulo Variable Classes. CoRR (2023)
Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia
Equational Anti-Unification over Absorption Theories. CoRR (2023)
David M. Cerna, Temur Kutsia
Anti-unification and Generalization: A Survey. IJCAI (2023)
David M. Cerna, Andrew Cropper
Generalisation Through Negation and Predicate Invention. CoRR (2023)
Michal Buran, David M. Cerna
One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus. CoRR (2022)
Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
Learning Higher-Order Logic Programs From Failures. IJCAI (2022)
David M. Cerna
A Special Case of Schematic Syntactic Unification. CoRR (2022)
Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
Differentiable Inductive Logic Programming in High-Dimensional Space. CoRR (2022)
Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk
Learning Higher-Order Programs without Meta-Interpretive Learning. CoRR (2021)
David M. Cerna
A Special Case of Schematic Syntactic Unification. SYNASC (2021)
David M. Cerna, Alexander Leitsch, Anela Lolic
Schematic Refutations of Formula Schemata. J. Autom. Reason. 65 (5) (2021)
David M. Cerna
Anti-unification and the theory of semirings. Theor. Comput. Sci. 848 (2020)
David M. Cerna, Temur Kutsia
Higher-order pattern generalization modulo equational theories. Math. Struct. Comput. Sci. 30 (6) (2020)
David M. Cerna, Temur Kutsia
Unital Anti-Unification: Type and Algorithms. FSCD (2020)
David M. Cerna, Alexander Leitsch, Anela Lolic
On the Unification of Term Schemata. UNIF (2020)
David M. Cerna, Temur Kutsia
Idempotent Anti-unification. ACM Trans. Comput. Log. 21 (2) (2020)
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. ITiCSE (2020)
David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere
Computational Logic in the First Semester of Computer Science: An Experience Report. CSEDU (2) (2020)
Lee A. Barnett, David M. Cerna, Armin Biere
Covered Clauses Are Not Propagation Redundant. IJCAR (1) (2020)
David M. Cerna, Rafael P. D. Kiesel, Alexandra Dzhiganskaya
A Mobile Application for Self-Guided Study of Formal Reasoning. ThEdu@CADE (2019)
David M. Cerna, Alexander Leitsch, Anela Lolic
Schematic Refutations of Formula Schemata. CoRR (2019)
David M. Cerna, Temur Kutsia
A Generic Framework for Higher-Order Generalizations. FSCD (2019)
David M. Cerna, Temur Kutsia
Higher-Order Equational Pattern Anti-Unification. FSCD (2018)
David M. Cerna, Temur Kutsia
Higher-Order Equational Pattern Anti-Unification [Preprint]. CoRR (2018)
David M. Cerna, Michael Peter Lettmann
Clausal Analysis of First-order Proof Schemata. CoRR (2017)
David M. Cerna, Michael Peter Lettmann
Towards a Clausal Analysis of Proof Schemata. SYNASC (2017)
David M. Cerna, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner
Ceres in intuitionistic logic. Ann. Pure Appl. Log. 168 (10) (2017)
David M. Cerna, Michael Peter Lettmann
Integrating a Global Induction Mechanism into a Sequent Calculus. CoRR (2017)
David M. Cerna, Michael Peter Lettmann
Integrating a Global Induction Mechanism into a Sequent Calculus. TABLEAUX (2017)
David M. Cerna, Wolfgang Schreiner
Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications. SCSS (2017)
David M. Cerna, Alexander Leitsch
Schematic Cut Elimination and the Ordered Pigeonhole Principle. IJCAR (2016)
David M. Cerna, Wolfgang Schreiner, Temur Kutsia
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. SCSS (2016)
David M. Cerna, Alexander Leitsch
Schematic Cut elimination and the Ordered Pigeonhole Principle [Extended Version]. CoRR (2016)
David M. Cerna, Wolfgang Schreiner, Temur Kutsia
Predicting Space Requirements for a Stream Monitor Specification Language. RV (2016)
David M. Cerna
A Generalized Resolution Proof Schema and the Pigeonhole Principle. CoRR (2016)
David M. Cerna, Alexander Leitsch
Analysis of Clause set Schema Aided by Automated Theorem Proving: A Case Study [Extended Paper]. CoRR (2015)
David M. Cerna
A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata. CICM (2014)