Christoph Wernhard
Orcid: 0000-0002-0438-8829
According to our database1,
Christoph Wernhard
authored at least 42 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory.
Log. Methods Comput. Sci., 2024
Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024
2023
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023
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
CD Tools - Condensed Detachment and Structure Generating Theorem Proving (System Description).
CoRR, 2022
Generating Compressed Combinatory Proof Structures: An Approach to Automated First-Order Theorem Proving.
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
Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version).
CoRR, 2021
Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof.
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
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.
CoRR, 2020
2019
CoRR, 2019
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
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
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
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017
2016
Proceedings of the 3. Tagung des Verbands Digital Humanities im deutschsprachigen Raum, 2016
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
J. Appl. Non Class. Logics, 2014
2013
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013
Proceedings of the Frontiers of Combining Systems, 2013
2012
2011
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011
2010
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010
2009
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009
Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009
2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
2007
2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004