Planning with sensing for a mobile robot

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1348 LNAI, Issue , 1997, Pages 156-168

  De Giacomo, Giuseppe ^a   Iocchi, Luca ^a   Nardi, Daniele ^a   Rosati, Riccardo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; MOBILE AGENTS; MOBILE ROBOTS; QUERY PROCESSING;

CONDITIONAL PLANS; CONSTRUCTIVE PROOF; DESCRIPTION LOGIC; LOGICAL FRAMEWORKS; REASONING ABOUT ACTIONS; REASONING METHODS;

ROBOT PROGRAMMING;

EID: 84898688793     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63912-8_83     Document Type: Conference Paper

References (20)

1. F. Bacchus and F. Kabanza. Using temporal logic to control seaxch in a forward chaining planner. In Proc. of the 3rd European Workshop on Planning, 1995.
2. A. Borgida, R. J. Brachman, D. L. McGuinness, and L. Alperin Resnick. CLASSIC: A structural data model for objects. In Proc. of ACM SIGMOD, pages 59-67,1989
3. G. De Giacomo, L. Iocchi, D. Nardi, and R. Rosati. Moving a robot: the KR&R approach at work. In Proc. of KR-96, 1996
4. G. De Giacomo and M. Lenzerini. Boosting the correspondence between description logics and propositional dynamic logics. In Proc. of AAAI-94, pages 205-212, 1994.
5. F. M. Donini, D. Nardi, and R. Rosati. Autoepistemic description logics. In Proc. ofIJCAI-97, pages 136-141, 1997.
6. O. Etzioni, S. Hanks, D. Weld, D. Draper, N. Lesh, and M. Williamson. An approach to planning with incomplete information. Proc. of KR-92, 1992
7. K. Konolige, K. Myers, E. Ruspini, and A. Saffiotti. The Saphira architecture: A design for autonomy. Journal of Experimental and Theoretical Artificial Intelligence, 9(1):215-235, 1997.
8. K. Konolige. Erratic competes with the big boys. AAAI Magazine, 2: 61-67, 1995
9. D. Kozen and J. Tiuryn. Logics of programs. In Handbook of Theoretical Computer Science, pages 790-840. Elsevier, 1990.
10. Y. Lesperance, H. J. Levesque, F. Lin, D. Marcu, R. Reiter, and R. B. Scherl. A logical approach to high-level robot programming. In AAAI Fall Symposium on Control of the Physical World by Intelligent Systems, 1994.
11. H. J. Levesque. What is planning in presence of sensing? In Proc. of AAAI-96, pages 1139-1149, 1996
12. V. Lifschitz. Minimal belief and negation as failure. AU, 70:53-72, 1994.
13. F. Lin and Y. Shoham. On non-forgetting and minimal learning. In Proc. of the 1993 Int. Coll. on Cognitive Science, 1993.
14. R. Reiter. Representation and Reasoning for Dynamic Systems, 1997. Forthcoming.
15. R. Reiter. A logic for default reasoning. AIJ, 13:81-132, 1980.
16. S. Rosenschein. Plan synthesis: a logical approach. In Proc. of IJCAI-81, 1981.
17. A. Saffiotti, K. Konolige, and E. H. Ruspini. A multivalued-logic approach to integrating planning and control. AIJ, 76(1-2):481-526, 1995
18. R. Scherl and H. J. Levesque. The frame problem and knowledge producing action. In Proc. of AAAI-93, pages 689-695, 1993.
19. K. Schild. A correspondence theory for terminological logics: Preliminary report. In Proc. ofIJCAI-91, pages 466-471, 1991.
20. M. Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. The MIT Press, 1997.