Author of the publication

LTL Verification of Online Executions with Sensing in Bounded Situation Calculus.

, , , and . ECAI, volume 263 of Frontiers in Artificial Intelligence and Applications, page 369-374. IOS Press, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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