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