Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions
暂无分享,去创建一个
Alexander Ferrein | Gerhard Lakemeyer | Stefan Schiffer | Till Hofmann | Victor Mataré | G. Lakemeyer | S. Schiffer | A. Ferrein | Victor Mataré | Till Hofmann
[1] Moritz Tenorth,et al. RoboEarth - A World Wide Web for Robots , 2011, ICRA 2011.
[2] Mark Abramson,et al. Executing Reactive, Model-based Programs through Graph-based Temporal Planning , 2001, IJCAI.
[3] Alberto Finzi,et al. Representing Flexible Temporal Behaviors in the Situation Calculus , 2005, IJCAI.
[4] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[5] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[6] Alessandro Saffiotti,et al. Planning Domain + Execution Semantics: A Way Towards Robust Execution? , 2014, AAAI Spring Symposia.
[7] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[8] Raymond Reiter,et al. Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.
[9] Joachim Hertzberg,et al. Online task merging with a hierarchical hybrid task planner for mobile service robots , 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
[10] Alfredo Gabaldon,et al. Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus , 2003, IJCAI.
[11] Pedro U. Lima,et al. Petri Net Plans , 2011, Autonomous Agents and Multi-Agent Systems.
[12] Gerhard Lakemeyer,et al. Continual Planning in Golog , 2016, AAAI.
[13] Gerhard Lakemeyer,et al. Self-Maintenance for Autonomous Robots controlled by ReadyLog , 2010 .
[14] Roman Barták,et al. Planning and Acting with Temporal and Hierarchical Decomposition Models , 2014, 2014 IEEE 26th International Conference on Tools with Artificial Intelligence.
[15] Alexander Ferrein,et al. Logic-based robot control in highly dynamic domains , 2008, Robotics Auton. Syst..
[16] Edward A. Lee,et al. Hierarchical finite state machines with multiple concurrency models , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[17] Rina Dechter,et al. Temporal Constraint Networks , 1989, Artif. Intell..
[18] Federico Pecora,et al. A robot sets a table: a case for hybrid reasoning with different types of knowledge , 2016, J. Exp. Theor. Artif. Intell..
[19] Thomas A. Henzinger,et al. The benefits of relaxing punctuality , 1991, PODC '91.
[20] François Keith,et al. From discrete mission schedule to continuous implicit trajectory using optimal time warping , 2009, ICAPS 2009.
[21] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[22] Nicola Muscettola,et al. Fast Transformation of Temporal Plans for Efficient Execution , 1998, AAAI/IAAI.
[23] Itay Meiri,et al. Combining Qualitative and Quantitative Constraints in Temporal Reasoning , 1991, Artif. Intell..
[24] Félix Ingrand,et al. Interleaving Temporal Planning and Execution in Robotics Domains , 2004, AAAI.
[25] Luca Iocchi,et al. RoboCup@Home: Scientific Competition and Benchmarking for Domestic Service Robots , 2009 .
[26] Gerhard Lakemeyer,et al. ccGolog -- A Logical Language Dealing with Continuous Change , 2003, Log. J. IGPL.
[27] Giuseppe De Giacomo,et al. Execution Monitoring of High-Level Robot Programs , 1998, KR.
[28] Michael Beetz,et al. Towards semantic robot description languages , 2011, 2011 IEEE International Conference on Robotics and Automation.
[29] Nicola Muscettola,et al. Planning in Interplanetary Space: Theory and Practice , 2000, AIPS.