Christoph Wernhard

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 37

Top Venues

University of Koblenz-Landau (PHD)

Education History

University of Koblenz-Landau

PHD

Publications

Jan Heuer, Christoph Wernhard
Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic. CoRR (2024)
Jan Heuer, Christoph Wernhard
Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic. IJCAR (1) (2024)
Michael Benedikt, Cécilia Pradic, Christoph Wernhard
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory. Log. Methods Comput. Sci. 20 (3) (2024)
Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
Lemmas: Generation, Selection, Application. TABLEAUX (2023)
Christoph Wernhard
Range-Restricted and Horn Interpolation through Clausal Tableaux. TABLEAUX (2023)
Michael Benedikt, Cécilia Pradic, Christoph Wernhard
Synthesizing Nested Relational Queries from Implicit Specifications. PODS (2023)
Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
Lemmas: Generation, Selection, Application. CoRR (2023)
Christoph Wernhard
Range-Restricted Interpolation through Clausal Tableaux. CoRR (2023)
Christoph Wernhard
Structure-Generating First-Order Theorem Proving. AReCCa@TABLEAUX (2023)
Christoph Wernhard, Wolfgang Bibel
Investigations into Proof Structures. CoRR (2023)
Michael Benedikt, Pierre Pradic, Christoph Wernhard
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory. CoRR (2022)
Michael Benedikt, Pierre Pradic, Christoph Wernhard
Synthesizing Nested Relational Queries from Implicit Specifications. CoRR (2022)
Christoph Wernhard
CD Tools - Condensed Detachment and Structure Generating Theorem Proving (System Description). CoRR (2022)
Christoph Wernhard
Generating Compressed Combinatory Proof Structures: An Approach to Automated First-Order Theorem Proving. PAAR@IJCAR (2022)
Christoph Wernhard
Generating Compressed Combinatory Proof Structures - An Approach to Automated First-Order Theorem Proving. CoRR (2022)
Christoph Wernhard
Craig Interpolation with Clausal First-Order Tableaux. J. Autom. Reason. 65 (5) (2021)
Christoph Wernhard, Wolfgang Bibel
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version). CoRR (2021)
Christoph Wernhard, Wolfgang Bibel
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures. CADE (2021)
Christoph Wernhard
Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof. CoRR (2021)
Christoph Wernhard
Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof. SOQE@KR (2021)
Christoph Wernhard
Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic. CoRR (2020)
Jana Kittelmann, Christoph Wernhard
KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative LaTeX Markup and a Core Written in SWI-Prolog. CoRR (2020)
Christoph Wernhard
Craig Interpolation with Clausal First-Order Tableaux. CoRR (2020)
Christoph Wernhard
PIE - Proving, Interpolating and Eliminating on the Basis of First-Order Logic. CoRR (2019)
Jana Kittelmann, Christoph Wernhard
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. DECLARE (2019)
Jana Kittelmann, Christoph Wernhard
KBSET - Knowledge-Based Support for Scholarly Editing and Text Processing. CoRR (2019)
Christoph Wernhard
Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic. DECLARE (2019)
Christoph Wernhard
Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux. CoRR (2018)
Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic - Extended Version. CoRR (2017)
Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic. FroCoS (2017)
Christoph Wernhard
Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas. SOQE (2017)
Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic (Abstract). SOQE (2017)
Christoph Wernhard
Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic. CoRR (2017)
Christoph Wernhard
Early Steps of Second-Order Quantifier Elimination beyond the Monadic Case: The Correspondence between Heinrich Behmann and Wilhelm Ackermann 1928-1934 (Abstract). SOQE (2017)
Christoph Wernhard
The PIE Environment for First-Order-Based Proving, Interpolating and Eliminating. PAAR@IJCAR (2016)
Jana Kittelmann, Christoph Wernhard
Knowledge-Based Support for Scholarly Editing and Text Processing. DHd (2016)
Christoph Wernhard
Second-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications. TABLEAUX (2015)
Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard
Modeling the suppression task under weak completion and well-founded semantics. J. Appl. Non Class. Logics 24 (1-2) (2014)
Norbert Manthey, Tobias Philipp, Christoph Wernhard
Soundness of Inprocessing in Clause Sharing SAT Solvers. SAT (2013)
Christoph Wernhard
Abduction in Logic Programming as Second-Order Quantifier Elimination. FroCos (2013)
Christoph Wernhard
Projection and scope-determined circumscription. J. Symb. Comput. 47 (9) (2012)
Christoph Wernhard
Computing with Logic as Operator Elimination: The ToyElim System. INAP/WLP (2011)
Christoph Wernhard
Computing with Logic as Operator Elimination: The ToyElim System CoRR (2011)
Steffen Hölldobler, Tobias Philipp, Christoph Wernhard
An Abductive Model for Human Reasoning. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Christoph Wernhard
Circumscription and Projection as Primitives of Logic Programming. ICLP (Technical Communications) (2010)
Christoph Wernhard
Literal Projection and Circumscription. FTP (2009)
Christoph Wernhard
Tableaux for Projection Computation and Knowledge Compilation. TABLEAUX (2009)
Christoph Wernhard
Literal Projection for First-Order Logic. JELIA (2008)
Björn Pelzer, Christoph Wernhard
System Description: E-KRHyper. CADE (2007)
Christoph Wernhard
Semantic Knowledge Partitioning. JELIA (2004)
Christoph Wernhard
Semantic Knowledge Partitioning. IJCAR Doctoral Programme (2004)

Christoph Wernhard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christoph Wernhard