Christoph Wernhard

Available identifiers

Publication	Date of Publication	Type
Investigations into proof structures	2024-12-16	Paper
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory	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	2021-12-01	Paper
Craig interpolation with clausal first-order tableaux	2021-11-23	Paper
Modeling the suppression task under weak completion and well-founded semantics	2018-08-28	Paper
The Boolean solution problem from the perspective of predicate logic	2018-01-04	Paper
Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications	2015-12-11	Paper
Abduction in Logic Programming as Second-Order Quantifier Elimination	2013-09-20	Paper
Soundness of Inprocessing in Clause Sharing SAT Solvers	2013-08-05	Paper
Projection and scope-determined circumscription	2012-06-20	Paper
Circumscription and projection as primitives of logic programming	2012-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q3570083	2010-06-24	Paper
Tableaux for Projection Computation and Knowledge Compilation	2009-12-01	Paper
System Description: E- KRHyper	2009-03-06	Paper
Literal Projection for First-Order Logic	2008-10-27	Paper
Logics in Artificial Intelligence	2006-10-25	Paper

This page was built for person: Christoph Wernhard