Christoph Wernhard

According to our database1, Christoph Wernhard authored at least 28 papers between 2004 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Craig Interpolation with Clausal First-Order Tableaux.
CoRR, 2020

KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative LaTeX Markup and a Core Written in SWI-Prolog.
CoRR, 2020

2019
PIE - Proving, Interpolating and Eliminating on the Basis of First-Order Logic.
CoRR, 2019

KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing.
CoRR, 2019

Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic.
Proceedings of the Declarative Programming and Knowledge Management, 2019

KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative [inline-graphic not available: see fulltext] Markup and a Core Written in SWI-Prolog.
Proceedings of the Declarative Programming and Knowledge Management, 2019

2018
Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux.
CoRR, 2018

2017
Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic.
CoRR, 2017

The Boolean Solution Problem from the Perspective of Predicate Logic - Extended Version.
CoRR, 2017

Early Steps of Second-Order Quantifier Elimination beyond the Monadic Case: The Correspondence between Heinrich Behmann and Wilhelm Ackermann 1928-1934 (Abstract).
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), 2017

The Boolean Solution Problem from the Perspective of Predicate Logic (Abstract).
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), 2017

Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas.
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), 2017

The Boolean Solution Problem from the Perspective of Predicate Logic.
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016
The PIE Environment for First-Order-Based Proving, Interpolating and Eliminating.
Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

2015
Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

2014
Modeling the suppression task under weak completion and well-founded semantics.
J. Appl. Non Class. Logics, 2014

2013
Soundness of Inprocessing in Clause Sharing SAT Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Abduction in Logic Programming as Second-Order Quantifier Elimination.
Proceedings of the Frontiers of Combining Systems, 2013

2012
Projection and scope-determined circumscription.
J. Symb. Comput., 2012

2011
Computing with Logic as Operator Elimination: The ToyElim System.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

An Abductive Model for Human Reasoning.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
Circumscription and Projection as Primitives of Logic Programming.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

2009
Automated deduction for projection elimination.
PhD thesis, 2009

Tableaux for Projection Computation and Knowledge Compilation.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Literal Projection and Circumscription.
Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

2008
Literal Projection for First-Order Logic.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007
System Description: E-KRHyper.
Proceedings of the Automated Deduction, 2007

2004
Semantic Knowledge Partitioning.
Proceedings of the Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 2004


  Loading...