Christoph Wernhard

According to our database, Christoph Wernhard authored at least 42 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic.

Jan Heuer, Christoph Wernhard

CoRR, 2024

2023

Range-Restricted Interpolation through Clausal Tableaux.

Christoph Wernhard

CoRR, 2023

Investigations into Proof Structures.

Christoph Wernhard, Wolfgang Bibel

CoRR, 2023

Range-Restricted and Horn Interpolation through Clausal Tableaux.

Christoph Wernhard

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Lemmas: Generation, Selection, Application.

Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Synthesizing Nested Relational Queries from Implicit Specifications.

Michael Benedikt, Cécilia Pradic, Christoph Wernhard

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

Structure-Generating First-Order Theorem Proving.

Christoph Wernhard

Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), 2023

2022

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory.

Michael Benedikt, Cécilia Pradic, Christoph Wernhard

CoRR, 2022

CD Tools - Condensed Detachment and Structure Generating Theorem Proving (System Description).

Christoph Wernhard

CoRR, 2022

Generating Compressed Combinatory Proof Structures: An Approach to Automated First-Order Theorem Proving.

Christoph Wernhard

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

2021

Craig Interpolation with Clausal First-Order Tableaux.

Christoph Wernhard

J. Autom. Reason., 2021

Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version).

Christoph Wernhard, Wolfgang Bibel

CoRR, 2021

Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof.

Christoph Wernhard

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021

Learning from Łukasiewicz and Meredith: Investigations into Proof Structures.

Christoph Wernhard, Wolfgang Bibel

Proceedings of the Automated Deduction - CADE 28, 2021

2020

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

Jana Kittelmann, Christoph Wernhard

CoRR, 2020

2019

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

Christoph Wernhard

CoRR, 2019

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

Jana Kittelmann, Christoph Wernhard

CoRR, 2019

Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic.

Christoph Wernhard

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.

Jana Kittelmann, Christoph Wernhard

Proceedings of the Declarative Programming and Knowledge Management, 2019

2018

Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux.

Christoph Wernhard

CoRR, 2018

2017

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

Christoph Wernhard

CoRR, 2017

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

Christoph Wernhard

CoRR, 2017

Early Steps of Second-Order Quantifier Elimination beyond the Monadic Case: The Correspondence between Heinrich Behmann and Wilhelm Ackermann 1928-1934 (Abstract).

Christoph Wernhard

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).

Christoph Wernhard

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.

Christoph Wernhard

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.

Christoph Wernhard

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016

Knowledge-Based Support for Scholarly Editing and Text Processing.

Jana Kittelmann, Christoph Wernhard

Proceedings of the 3. Tagung des Verbands Digital Humanities im deutschsprachigen Raum, 2016

The PIE Environment for First-Order-Based Proving, Interpolating and Eliminating.

Christoph Wernhard

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.

Christoph Wernhard

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

2014

Modeling the suppression task under weak completion and well-founded semantics.

Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard

J. Appl. Non Class. Logics, 2014

2013

Soundness of Inprocessing in Clause Sharing SAT Solvers.

Norbert Manthey, Tobias Philipp, Christoph Wernhard

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Abduction in Logic Programming as Second-Order Quantifier Elimination.

Christoph Wernhard

Proceedings of the Frontiers of Combining Systems, 2013

2012

Projection and scope-determined circumscription.

Christoph Wernhard

J. Symb. Comput., 2012

2011

Computing with Logic as Operator Elimination: The ToyElim System.

Christoph Wernhard

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

An Abductive Model for Human Reasoning.

Steffen Hölldobler, Tobias Philipp, Christoph Wernhard

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

Circumscription and Projection as Primitives of Logic Programming.

Christoph Wernhard

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

2009

Automated deduction for projection elimination.

Christoph Wernhard

PhD thesis, 2009

Tableaux for Projection Computation and Knowledge Compilation.

Christoph Wernhard

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Literal Projection and Circumscription.

Christoph Wernhard

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

2008

Literal Projection for First-Order Logic.

Christoph Wernhard

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007

System Description: E-KRHyper.

Björn Pelzer, Christoph Wernhard

Proceedings of the Automated Deduction, 2007

2004

Semantic Knowledge Partitioning.

Christoph Wernhard

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