Home Page
Papers
Projection and Scope-Determined Circumscription
Christoph Wernhard
Journal of Symbolic Computation, 2012.
Forward Human Reasoning Modeled by Logic Programming Modeled by
Classical Logic with Circumscription and Projection
Christoph Wernhard
Technical Report Knowledge Representation and Reasoning 11-07,
Technische Universität Dresden, 2011.
Computing with Logic as Operator Elimination: The ToyElim System
Christoph Wernhard
In Proceedings of the 25th Workshop on Logic Programming, WLP
2011, Infsys Research Report 1843-11-06, pages 94-98. Technische
Universität Wien, 2011.
An Abductive Model for Human Reasoning (Poster Paper)
Steffen Hölldobler, Tobias Philipp, and Christoph Wernhard
In Logical Formalizations of Commonsense Reasoning, Papers from
the AAAI 2011 Spring Symposium, AAAI Spring Symposium Series Technical
Reports, pages 135-138. AAAI Press, 2011.
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), pages 202-211, Dagstuhl, Germany, 2010. Schloss
Dagstuhl-Leibniz-Zentrum für 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, pages 60-74.
CEUR-WS.org, 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: 18th 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.
CEUR-WS.org, 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