Papers

In M. Hermenegildo and T. Schaub, editors, Technical Communications of the 26th International Conference on Logic Programming, ICLP'10, volume 7 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, 2010. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.

(Extended version: http://cs.christophwernhard.com/papers/logprog2010extended.pdf).

[ bib | DOI | http | Abstract ]

In Nicolas Peltier and Viorica Sofronie-Stokkermans, editors, Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP'09, volume 556 of CEUR Workshop Proceedings, 2010.

(Extended version: http://cs.christophwernhard.com/papers/projection-circumscription.pdf).

[ bib | http | Abstract ]

In Martin Giese and Arild Waaler, editors, Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2009, volume 5607 of LNAI, pages 325-340. Springer, 2009.

[ bib | DOI | .pdf | Abstract ]

Number 324 in Dissertations in Artificial Intelligence. AKA Verlag/IOS Press, Heidelberg, Amsterdam, 2009.

[ bib | http | Abstract ]

In Steffen Hölldobler, Carsten Lutz, and Heinrich Wansing, editors, Logics in Artificial Intelligence: 11th European Conference, JELIA 08, volume 5293 of LNAI, pages 389-402. Springer, 2008.

(Extended version: http://cs.christophwernhard.com/papers/literal-projection.pdf).

[ bib | DOI | Abstract ]

In Frank Pfennig, editor, Automated Deduction: CADE-21, volume 4603 of LNAI, pages 503-513. Springer, 2007.

[ bib | DOI | .pdf | Abstract ]

Technical Report Arbeitsberichte aus dem Fachbereich Informatik 18/2007, Universität Koblenz-Landau, Institut für Informatik, Universitätsstr. 1, 56070 Koblenz, Germany, 2007.

[ bib | Abstract ]

In José Júlio Alferes and João Leite Leite, editors, Logics in Artificial Intelligence: 9th European Conference, JELIA 04, volume 3229 of LNAI, pages 552-564. Springer, 2004.

[ bib | .ps | Abstract ]

In Ulrike Sattler, editor, Contributions to the Doctoral Programme of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), volume 106 of CEUR Workshop Proceedings, 2004.

[ bib | http ]

In Proceedings of the CADE-19 workshop Challenges and Novel Applications for Automated Reasoning, pages 55-72, 2003.

[ bib | .ps | Abstract ]

Technical Report Fachberichte Informatik 14-2003, Universität Koblenz-Landau, Institut für Informatik, Universitätsstr. 1, 56070 Koblenz, Germany, 2003.

Presented at the CADE-19 workshop Model Computation: Principles, Algorithms, Applications.

[ bib | .ps | Abstract ]

In Proceedings of the CADE-15 workshop on Integration of Deductive Systems, pages 36-43, 1998.

(Revised and extended version: http://cs.christophwernhard.com/papers/integ.ps).

[ bib | .ps.gz | Abstract ]

In International Workshop on First-Order Theorem Proving, FTP'97, RISC-Linz Report Series No. 97-50, pages 58-62. Johannes Kepler Universität, Linz, Austria, 1997.

[ bib | .ps | Abstract ]

In W. Remmele, editor, Künstliche Intelligenz in der Praxis. Siemens AG, 1990.

[ bib ]

System description (edited 2007). (A prototype implementation can be downloaded from http://www.infraengine.com/), 2002.

[ bib | .pdf | Abstract ]

Working paper for Persist AG, Teltow, Germany, 2001.

[ bib | .pdf | Abstract ]

Working paper for Persist AG, Teltow, Germany, 2001.

[ bib | .pdf | Abstract ]

Working paper for Persist AG, Teltow, Germany, 2000.

[ bib | .pdf | Abstract ]

Working paper for Persist AG, Teltow, Germany. Presented at KnowTech 2000, Leipzig, 2000.

[ bib | .pdf | Abstract ]

(Edited May 2003), 1999.

[ bib | .ps | Abstract ]

Magisterarbeit, Freie Universität Berlin, Berlin, Germany, 1992.

(The system documentation is available from http://cs.christophwernhard.com/cdb/.).

[ bib ]