Publications

Commonsense Reasoning meets Theorem Proving
Ulrich Furbach and Claudia Schon
Accepted for publication at the 1st Conference on Artificial Intelligence and Theorem Proving, ATIP 2016, April 3-7, 2016, Obergurgl, Austria.

A Series of Revisions of David Poole's Specificity
Frieder Stolzenburg and Claus-Peter Wirth
Annals of Mathematics and Artificial Intelligence, pages 1-54, 2015. ISSN 1012-2443.

Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015)
Christoph Beierle, Gabriele Kern-Isberner, Marco Ragni, Frieder Stolzenburg
Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015), Dresden, Germany, September 22, 2015. CEUR Workshop Proceedings 1444, CEUR-WS.org 2015.

Automated Reasoning in the Wild
Ulrich Furbach, Björn Pelzer, and Claudia Schon
Automated Deduction - CADE-25, volume 9195 of Lecture Notes in Computer Science, pages 55–72. Springer International Publishing, 2015.

Tackling Benchmarks for Commonsense Reasoning
Ulrich Furbach, Andrew S. Gordon, and Claudia Schon
In Proceedings of the CADE-25 Workshop on Bridging the Gap between Humand and Automated Reasoning, Berlin, 2015.

Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning
Ulrich Furbach, Claudia Schon
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015. CEUR Workshop Proceedings 1412, CEUR-WS.org 2015.

Cognitive Systems and Question Answering
Ulrich Furbach, Claudia Schon, and Frieder Stolzenburg
Industrie Management 4.0, volume 31, number 1.

Deontic Logic for Human Reasoning
Ulrich Furbach and Claudia Schon
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of his 60th Birthday, volume 9060 of Lecture Notes in Computer Science, pages 63–80. Springer, 2015.

The RatioLog Project: Rational Extensions of Logical Reasoning
Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, and Claus-Peter Wirth
KI - Künstliche Intelligenz, 29(3):271–277, 2015.

Automated Reasoning in Deontic Logic
Ulrich Furbach, Claudia Schon, and Frieder Stolzenburg
Proceedings of MIWAI 2014: Multi-Disciplinary International Workshop on Artificial Intelligence, LNAI 8875, Bangalore, India, 2014. Springer, Berlin, Heidelberg, New York. To appear.
also: Marco Ragni and Frieder Stolzenburg, editors, Proceedings of the KI 2014 Workshop on Higher-Level Cognition and Computation, pages 7-18, Stuttgart, 2014.

Deontic Logic for Human Reasoning
Ulrich Furbach, Claudia Schon
CoRR abs/1404.6974, 2014.

Proceedings of the KI 2014 Workshop on Higher-Level Cognition and Computation
Marco Ragni, Frieder Stolzenburg, editors
Proceedings of the KI 2014 Workshop on Higher-Level Cognition and Computation, Stuttgart, 2014. SFB/TR 8 Report No. 037-09/2014.

David Poole's Specificity Revised
Claus-Peter Wirth, Frieder Stolzenburg
Chitta baral, Giuseppe De Giacomo, Thomas Eiter, editors, Proceedings of 14th International Conference on Principles of Knowledge Representation and Reasoning, pages 168-177, Wien, Austria, 2014. AAAI Press, Palo Alta, California.
also: CoRR - Computing Research Repository abs/1308.4943, Cornell University Library, 2013. SEKI Report SR-2013-01.

Proceedings of the KI 2013 Workshop on Visual and Spatial Cognition
Marco Ragni, Michael Raschke, Frieder Stolzenburg, editors
Proceedings of the KI 2013 Workshop on Visual and Spatial Cognition, Koblenz, 2013. SFB/TR 8 Report No. 034-08/2013.

Automated Theorem Proving with Web Services
Björn Pelzer
Proceedings KI 2013
PDF - BibTeX - Abstract

System Description: E-KRHyper 1.4 - Extensions for Unique Names and Description Logic
Markus Bender, Björn Pelzer, Claudia Schon
Proceedings CADE-24 2013
PDF - BibTeX - Abstract