Skip to content
cs-conference-ranking.org

Christoph Wernhard

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

8

Active years

2004–2026

Best venue rank

A*

Where they publish

Papers

16 indexed papers, newest first.

YearVenueTitleAuthors
2026IJCARGenerating Theorems by Generating Proof Structures.Christoph Wernhard
2024IJCARSynthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic.Jan Heuer, Christoph Wernhard
2023PODSSynthesizing Nested Relational Queries from Implicit Specifications.Michael Benedikt, Ccilia Pradic, Christoph Wernhard
2023TABLEAUXLemmas: Generation, Selection, Application.Michael Rawson, Christoph Wernhard, Zsolt Zombori, Wolfgang Bibel
2023TABLEAUXRange-Restricted and Horn Interpolation through Clausal Tableaux.Christoph Wernhard
2021CADELearning from Łukasiewicz and Meredith: Investigations into Proof Structures.Christoph Wernhard, Wolfgang Bibel
2021KRApplying Second-Order Quantifier Elimination in Inspecting Gdel's Ontological Proof.Christoph Wernhard
2016CADEThe PIE Environment for First-Order-Based Proving, Interpolating and Eliminating.Christoph Wernhard
2015TABLEAUXSecond-Order Quantifier Elimination on Relational Monadic Formulas - A Basic Method and Some Less Expected Applications.Christoph Wernhard
2013SATSoundness of Inprocessing in Clause Sharing SAT Solvers.Norbert Manthey, Tobias Philipp, Christoph Wernhard
2010ICLPCircumscription and Projection as Primitives of Logic Programming.Christoph Wernhard
2009TABLEAUXTableaux for Projection Computation and Knowledge Compilation.Christoph Wernhard
2008JELIALiteral Projection for First-Order Logic.Christoph Wernhard
2007CADESystem Description: E-KRHyper.Bjrn Pelzer, Christoph Wernhard
2004CADESemantic Knowledge Partitioning.Christoph Wernhard
2004JELIASemantic Knowledge Partitioning.Christoph Wernhard