Home Page
Papers
Circumscription and Projection as Primitives of Logic Programming
Christoph Wernhard
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.
Literal Projection and Circumscription
Christoph Wernhard
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.
Tableaux for Projection Computation and Knowledge Compilation
Christoph Wernhard
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.
Automated Deduction for Projection Elimination
Christoph Wernhard
Number 324 in Dissertations in Artificial Intelligence. AKA
Verlag/IOS Press, Heidelberg, Amsterdam, 2009.
Literal Projection for First-Order Logic
Christoph Wernhard
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.
System Description: E-KRHyper
Björn Pelzer and Christoph Wernhard
In Frank Pfennig, editor, Automated Deduction: CADE-21,
volume 4603 of LNAI, pages 503-513. Springer, 2007.
Tableaux Between Proving, Projection and Compilation
Christoph Wernhard
Technical Report Arbeitsberichte aus dem Fachbereich Informatik
18/2007, Universität Koblenz-Landau, Institut für Informatik,
Universitätsstr. 1, 56070 Koblenz, Germany, 2007.
Semantic Knowledge Partitioning
Christoph Wernhard
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.
Semantic Knowledge Partitioning (Extended Abstract)
Christoph Wernhard
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.
KRHyper Inside - Model Based Deduction in Applications
Peter Baumgartner, Ulrich Furbach, Margret Gross-Hardt, Thomas Kleemann, and
Christoph Wernhard
In Proceedings of the CADE-19 workshop Challenges and
Novel Applications for Automated Reasoning, pages 55-72, 2003.
System Description: KRHyper
Christoph Wernhard
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.
Using Mathematica and Automated Theorem Provers to Access a
Mathematical Library
Ingo Dahn, Andreas Haida, Thomas Honigmann, and Christoph Wernhard
In Proceedings of the CADE-15 workshop on Integration of
Deductive Systems, pages 36-43, 1998.
First Order Proof Problems Extracted from an Article in the Mizar
Mathematical Library
Ingo Dahn and Christoph Wernhard
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.
DB-CLOS: Eine Datenbankschnittstelle für das Common
Lisp Object System
Heinz Schweppe, Christoph Wernhard, and Jutta Estenfeld
In W. Remmele, editor, Künstliche Intelligenz in der
Praxis. Siemens AG, 1990.
InfraEngine: Inferencing in the Semantic Web by Planning
Christoph Wernhard
Representing Proofs in the Semantic Web
Christoph Wernhard
Working paper for Persist AG, Teltow, Germany, 2001.
Two Short Term Applications of the Semantic Web
Christoph Wernhard
Working paper for Persist AG, Teltow, Germany, 2001.
The Planning Web in Action
Christoph Wernhard
Working paper for Persist AG, Teltow, Germany, 2000.
Towards a Semantic Web Modeling Language
Christoph Wernhard
Working paper for Persist AG, Teltow, Germany. Presented at
KnowTech 2000, Leipzig, 2000.
Experiments with a Linear Backward Chaining Planner
Christoph Wernhard
(Edited May 2003), 1999.
Entwurf und Implementierung einer Datenbankschnittstelle
für das Common Lisp Object System
Christoph Wernhard
Magisterarbeit, Freie Universität Berlin, Berlin, Germany, 1992.
Home Page