Autor der Publikation

A Classification of First-Order Progressable Action Theories in Situation Calculus.

, und . IJCAI, Seite 1132-1138. IJCAI/AAAI, (2013)

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

Planning with a task modeling framework in manufacturing robotics., , und . IROS, Seite 5787-5794. IEEE, (2013)Action-Based Imperative Programming with YAGI., , und . CogRob@AAAI, Volume WS-12-06 von AAAI Technical Report, AAAI Press, (2012)LTL Verification of Online Executions with Sensing in Bounded Situation Calculus., , , und . ECAI, Volume 263 von Frontiers in Artificial Intelligence and Applications, Seite 369-374. IOS Press, (2014)Controlling Logistics Robots with the Action-Based Language YAGI., , , , , und . ICIRA (1), Volume 9834 von Lecture Notes in Computer Science, Seite 525-537. Springer, (2016)Benchmarking smart spaces through autonomous virtual agents., , , und . AAMAS, Seite 1229-1230. IFAAMAS, (2013)A Classification of First-Order Progressable Action Theories in Situation Calculus., und . IJCAI, Seite 1132-1138. IJCAI/AAAI, (2013)Action-based Character AI in Video-games with CogBots Architecture: A Preliminary Report., und . CoRR, (2013)Accessing Government Open Data Through Chatbots., , , , und . ICWE Workshops, Volume 10544 von Lecture Notes in Computer Science, Seite 156-165. Springer, (2017)First-Order Strong Progression for Local-Effect Basic Action Theories., , und . KR, Seite 662-672. AAAI Press, (2008)Progression and verification of situation calculus agents with bounded beliefs, , , und . International conference on Autonomous Agents and Multi-Agent Systems, Seite 141-148. (2014)