Planning partially for situated agents

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

Volumn 3487 LNAI, Issue , 2005, Pages 230-248

  Mancarella, Paolo ^a   Sadri, Fariba ^b   Terreni, Giacomo ^a   Toni, Francesca ^a,b  

^a UNIVERSITY OF PISA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; DIFFERENTIATION (CALCULUS); KNOWLEDGE ENGINEERING; PROBLEM SOLVING; SET THEORY; SPECIFICATIONS;

EVENT CALCULUS; PLANNING AGENTS; SITUATED AGENTS;

INTELLIGENT AGENTS;

EID: 26844494551     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11533092_14     Document Type: Conference Paper

References (19)

1. A. Blum and M. Furst. Fast planning through planning graph analysis. Artificial Intelligence, 90:281-300, 1997.
2. A. Bracciali, N. Demetriou, U. Endriss, A. Kakas, W. Lu, P. Mancarella, F. Sadri, K. Stathis, G. Terreni, and F. Toni. The KGP model of agency for global computing: Computational model and prototype implementation. In C. Priami and P. Quaglia, (eds.): Global Computing: IST/FET International Workshop, GC 8004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers, LNAI 3267, pp. 340-367. Springer-Verlag, 2005.
3. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni. Abductive logic programming with CIFF: system description. In J.J. Alferes and J. Leite (eds.): Logics in Artificial Intelligence. European Conference, JELIA 2004, Lisbon, Portugal, September, 27-30, Proceedings, LNAI 3229, pp. 680-684. Springer-Verlag, 2004.
4. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, and F. Toni. The CIFF proof procedure for abductive logic programming with constraints. In J.J. Alferes and J. Leite (eds.): Logics in Artificial Intelligence. European Conference, JELIA 2004, Lisbon, Portugal, September, 27-30, Proceedings, LNAI 3229, pp. 31-43. Springer-Verlag, 2004.
5. G. De Giacomo, R. Reiter, and M. Soutchanski. Execution monitoring of high-level robot programs. In A. G. Cohn, L. K. Schubert, S. C. Shapiro (eds.): Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, pp. 453-465. Morgan Kaufmann, 1998.
6. J. Jaffar and M.J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19-20:503-582, 1994.
7. A. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. The KGP model of agency. In R. Lopez de Mantaras and L. Saitta (eds.): Proceedings of the Sixteenth European Conference on Artificial Intelligence, Valencia, Spain, pp. 33-37. IOS Press, August 2004.
8. A. C. Kakas, R. A. Kowalski, and F. Toni. The role of abduction in logic programming. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, (eds.):, Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 235-324. Oxford University Press, 1998.
9. A. C. Kakas and R. Miller. A simple declarative language for describing narratives with ations. Journal of Logic Programming, 31(1-3):157-200, 1997.
10. R. A. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67-95, 1986.
11. H. J. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. B. Scherl.GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31(1-3):59-83, 1997.
12. S. Mcllraith and R. Fadel. Planning with complex actions. In S. Benferhat, E. Giunchiglia (eds.): 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 356-364. 2002.
13. R. Scherl and H. J. Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144:1-39, 2003.
14. M. Shanahan. Event calculus planning revisited. In Proceedings of the 4th European Conference on Planning, LNAI 1348, pp. 390-402. Springer Verlag, 1997.
15. M. Shanahan. Solving the Frame Problem. MIT Press, 1997.
16. M. Shanahan. Reinventing shakey. In Working Notes of the 1998 AAAI Fall Symposium on Cognitive Robotics, pages 125-135, 1998.
17. M. Shanahan. The ramification problem in the event calculus. In T. Dean (ed.): Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, Stockholm, Sweden, pages 140-146. Morgan Kaufmann Publishers, 1999.
18. M. Shanahan. Using reactive rules to guide a forward-chaining planner. In Proc. of the Fourth European Conference on Planning. Springer-Verlag, 2001.
19. K. Stathis, A. C. Kakas, W. Lu, N. Demetriou, U. Endriss, and A. Bracciali. PROSOCS: A platform for programming software agents in computational logic. In R. Trappl (ed.): Proceedings of the 17th European Meeting on Cybernetics and Systems Research, Vol. II, Symposium "From Agent Theory to Agent Implementation" (AT2AI-4), Vienna, Austria, pp. 523-528. Austrian Society for Cybernetic Studies, 2004.