Christoph Wernhard

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Investigations into proof structures Journal of Automated Reasoning	2024-12-16	Paper
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory Logical Methods in Computer Science	2024-09-04	Paper
Range-restricted and Horn interpolation through clausal tableaux	2024-05-17	Paper
Lemmas: generation, selection, application	2024-05-17	Paper
Learning from Łukasiewicz and Meredith: investigations into proof structures (available as arXiv preprint)	2021-12-01	Paper
Craig interpolation with clausal first-order tableaux Journal of Automated Reasoning	2021-11-23	Paper
Modeling the suppression task under weak completion and well-founded semantics Journal of Applied Non-Classical Logics	2018-08-28	Paper
The Boolean solution problem from the perspective of predicate logic (available as arXiv preprint)	2018-01-04	Paper
Second-order quantifier elimination on relational monadic formulas -- a basic method and some less expected applications Lecture Notes in Computer Science	2015-12-11	Paper
Abduction in logic programming as second-order quantifier elimination Frontiers of Combining Systems	2013-09-20	Paper
Soundness of inprocessing in clause sharing SAT solvers Theory and Applications of Satisfiability Testing – SAT 2013	2013-08-05	Paper
Projection and scope-determined circumscription Journal of Symbolic Computation	2012-06-20	Paper
Circumscription and projection as primitives of logic programming	2012-05-11	Paper
Automated deduction for projection elimination.	2010-06-24	Paper
Tableaux for projection computation and knowledge compilation Lecture Notes in Computer Science	2009-12-01	Paper
System Description: E- KRHyper Automated Deduction – CADE-21	2009-03-06	Paper
Literal Projection for First-Order Logic Logics in Artificial Intelligence	2008-10-27	Paper
Logics in Artificial Intelligence Lecture Notes in Computer Science	2006-10-25	Paper

Research outcomes over time

This page was built for person: Christoph Wernhard