Interruptible Task Execution with Resumption in Golog
暂无分享,去创建一个
[1] Rachid Alami,et al. PRS: a high level supervision and control language for autonomous mobile robots , 1996, Proceedings of IEEE International Conference on Robotics and Automation.
[2] Alberto Finzi,et al. Switching tasks and flexible reasoning in the Situation Calculus , 2010 .
[3] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[4] Alexander Ferrein,et al. Lessons Learnt from Developing the Embodied AI Platform CAESAR for Domestic Service Robotics , 2013, AAAI Spring Symposium: Designing Intelligent Robots.
[5] Stuart C. Shapiro,et al. Conscious error recovery and interrupt handling , 2000 .
[6] Gerhard Lakemeyer,et al. Continual Planning in Golog , 2016, AAAI.
[7] Edmund H. Durfee,et al. Theory for Coordinating Concurrent Hierarchical Planning Agents Using Summary Information , 1999, AAAI/IAAI.
[8] A. S. Roa,et al. AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .
[9] Andrew Howard,et al. Design and use paradigms for Gazebo, an open-source multi-robot simulator , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).
[10] Lili Dong,et al. Cooperation Model of Multi-agent System Based on the Situation Calculus , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.
[11] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[12] Hector J. Levesque,et al. IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents , 2009, Multi-Agent Programming, Languages, Tools and Applications.
[13] Adrian R. Pearce,et al. Towards High-Level Programming for Distributed Problem Solving , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.
[14] F. Pirri,et al. Shifting and inhibition in cognitive control , 2012 .
[15] Hector J. Levesque,et al. ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..
[16] John Thangarajah,et al. Aborting, suspending, and resuming goals and plans in BDI agents , 2017, Autonomous Agents and Multi-Agent Systems.
[17] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[18] Gerhard Lakemeyer,et al. Self-Maintenance for Autonomous Robots controlled by ReadyLog , 2010 .
[19] Raymond Reiter,et al. Scheduling in the situation calculus: A case study , 1997, Annals of Mathematics and Artificial Intelligence.
[20] Gerhard Lakemeyer,et al. cc-Golog: Towards More Realistic Logic-Based Robot Controllers , 2000, AAAI/IAAI.