2013

Do we need Asimov's Laws?
Ulrike Barthelmess, Ulrich Furbach
GI-Jahrestagung 2013: 1077-1084

NUI-Based Floor Navigation - A Case Study.
Ulrich Furbach, Markus Maron
HCI (11) 2013: 270-279

Automated Theorem Proving with Web Services
Björn Pelzer
KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, 2013.

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

Automated Reasoning Embedded in Question Answering
Björn Pelzer
Doctoral Dissertation

Semantically Guided Evolution of ALC ABoxes
Ulrich Furbach, Claudia Schon
Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, 2013