Author of the publication

Action Theories over Generalized Databases with Equality Constraints (Extended Abstract).

, and . KR, AAAI 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

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)Benchmarking smart spaces through autonomous virtual agents., , , and . AAMAS, page 1229-1230. IFAAMAS, (2013)A Classification of First-Order Progressable Action Theories in Situation Calculus., and . IJCAI, page 1132-1138. IJCAI/AAAI, (2013)Accessing Government Open Data Through Chatbots., , , , and . ICWE Workshops, volume 10544 of Lecture Notes in Computer Science, page 156-165. Springer, (2017)Planning with a task modeling framework in manufacturing robotics., , and . IROS, page 5787-5794. IEEE, (2013)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)Action-based Character AI in Video-games with CogBots Architecture: A Preliminary Report., and . CoRR, (2013)First-Order Strong Progression for Local-Effect Basic Action Theories., , and . KR, page 662-672. AAAI Press, (2008)iThink: A Library for Classical Planning in Video-Games., , , and . SETN, volume 7297 of Lecture Notes in Computer Science, page 106-113. Springer, (2012)