Author:
Massel Liudmila V.,Kuzmin Vladimir R.
Reference30 articles.
1. “Asynchronous knowledge with hidden actions in the situation calculus”;Kelly;Artificial Intelligence,2015
2. “Progression and Verification of Situation Calculus Agents with Bounded Beliefs”;De Giacomo;Stud Logica,2016
3. “Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming”;Joohyung;Journal of Artificial Intelligence Research,2012
4. “Controlling Logistics Robots with the Action-Based Language YAGI”, in: Kubota N., Kiguchi K., Liu H., Obo T. (eds) Intelligent Robotics and Applications. ICIRA 2016. Lecture Notes in Computer Science;Ferrein,2016
5. “Data structuring for the ontological modelling of urban energy systems: The experience of the SEMANCO project”;Corrado;Sustainable Cities and Society,2015
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献