Christoph Wernhard

Available identifiers

zbMath Open wernhard.christophMaRDI QIDQ429593

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christoph Wernhard