Autor der Publikation

A Computationally Attractive First-Order Logic of Belief.

. JELIA, Volume 478 von Lecture Notes in Computer Science, Seite 333-347. Springer, (1990)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Steps Towards a First-Order Logic of Explicit and Implicit Belief.. TARK, Seite 325-340. Morgan Kaufmann, (1986)All You Ever Wanted to Know about Tweety (But Were Afraid to Ask).. KR, Seite 639-648. Morgan Kaufmann, (1992)The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002)., und . AI Magazine, 24 (2): 97-98 (2003)Only Knowing Meets Common Knowledge, und . IJCAI, (2015)Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions., , , , und . AAAI Spring Symposia, AAAI Press, (2018)A Computationally Attractive First-Order Logic of Belief.. JELIA, Volume 478 von Lecture Notes in Computer Science, Seite 333-347. Springer, (1990)Belief Revision in a Nonclassical Logic., und . KI, Volume 1137 von Lecture Notes in Computer Science, Seite 199-211. Springer, (1996)A Robust Speech Recognition System for Service-Robotics Applications., , und . RoboCup, Volume 5399 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2008)Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus., , und . IJCAI, Seite 3214-3220. AAAI Press, (2015)All They Know: A Study in Multi-Agent Autoepistemic Reasoning.. IJCAI, Seite 376-381. Morgan Kaufmann, (1993)