A Hybrid Planning System For Hard Robotic Problems

[1]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[2]  Drew McDermott,et al.  Problems in Formal Temporal Reasoning , 1988, Artif. Intell..

[3]  Richard W. Weyhrauch,et al.  Prolegomena to a theory of formal reasoning , 1978 .

[4]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .

[5]  Gianni Vercelli,et al.  A Theory of Sensor-Based Robot Navigation using Local Information , 1991, AI*IA.

[6]  Earl D. Sacerdoti,et al.  Problem Solving Tactics , 1979, AI Mag..

[7]  Robert B. Tilove,et al.  Local obstacle avoidance for mobile robots based on the method of artificial potentials , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[8]  Vladimir J. Lumelsky,et al.  Algorithmic and complexity issues of robot motion in an uncertain environment , 1987, J. Complex..

[9]  Edoardo Ardizzone,et al.  A hybrid scheme for action representation , 1993, Int. J. Intell. Syst..

[10]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[11]  Tomás Lozano-Pérez,et al.  An algorithm for planning collision-free paths among polyhedral obstacles , 1979, CACM.

[12]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[13]  Brian V. Funt,et al.  Analogical Modes of Reasoning and Process Modeling , 1983, Computer.

[14]  Michael Brady,et al.  Artificial Intelligence and Robotics , 1985, Artif. Intell..