Declarative agent control

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

Volumn 3487 LNAI, Issue , 2005, Pages 96-110

  Kakas, Antonis ^a   Mancarella, Paolo ^b   Sadri, Fariba ^c   Stathis, Kostas ^b,d   Toni, Francesca ^b,c  

^a UNIVERSITY OF CYPRUS   (Cyprus)

^b UNIVERSITY OF PISA   (Italy)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

^d CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CONTROL SYSTEM ANALYSIS; KNOWLEDGE ENGINEERING;

DECLARATIVE AGENT CONTROL; HETEROGENEOUS AGENTS;

MULTI AGENT SYSTEMS;

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

References (17)

1. R.H. Bordini, A. L. C. Bazzan, R.O. Jannone, D. M. Basso, R. M. Vicari, and V. R. Lesser. AgentSpeak(XL): Efficient intention selection in bdi agents via decision-theoretic task scheduling. In C. Castelfranchi and W. Lewis Johnson, editors, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part III, pages 1294-1302, Bologna, Italy, July 15-19 2002. ACM Press.
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 GC: Computational model and prototype implementation. In Proc. Global Computing 2004 Workshop, LNCS. Springer Verlag, 2004.
3. G. Brewka. Reasoning with priorities in default logic. In AAAI94, pages 940-945. AAAI Press, 1994.
4. M. Dastani, F. S. de Boer, F. Dignum, W. van der Hoek, M. Kroese, and J. Ch. Meyer. Programming the deliberation cycle of cognitive robots. In Proc. of 3rd International Cognitive Robotics Workshop (CogRob2002), Edmonton, Alberta, Canada, 2002.
5. Y. Dimopoulos and A. C. Kakas. Logic programming without negation as failure. In Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, pages 369-384, 1995.
6. FIPA Communicative Act Library Specification, August 2001. Published on August 10th, 2001, available for download from the FIPA website, http://www.fipa.org.
7. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J. Ch. Meyer. Agent programming in 3APL. Autonomous Agents and Multi-Agent Systems, 2(4):357-401, 1999.
8. A. C. Kakas, P. Mancarella, and P. M. Dung. The acceptability semantics for logic programs. In Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, pages 504-519, 1994.
9. A. C. Kakas and P. Moraitis. Argumentation based decision making for autonomous agents. In J. S. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo, editors, Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003), pages 883-890, Melbourne, Victoria, July 14-18 2003. ACM Press.
10. A.C. Kakas, P. Mancarella, F. Sadri, K. Stathis, and F. Toni. The KGP model of agency. In R. Lopez de Mantaras and L. Saitta, editors, Proceedings of the Sixteenth European Conference on Artificial Intelligence, Valencia, Spain (ECAI 2004). IOS Press, August 2004.
11. R. A. Kowalski and F. Sadri. From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence, 25(3/4):391-419, 1999.
12. R.A. Kowalski and F. Toni. Abstract argumentation. Artificial Intelligence and Law Journal, Special Issue on Logical Models of Argumentation, 4:275-296, 1996.
13. M. Prakken and G. Sartor. A system for defeasible argumentation, with defeasible priorities. In International Conference on Formal and Applied Practical Reasoning, volume 1085 of Lecture Notes in Artificial Intelligence, pages 510-524. Springer-Verlag, 1996.
14. A. S. Rao and M. Georgeff. BDI Agents: from theory to practice. In Proceedings of the First International Conference on Mulliagent Systems, San Francisco, California, USA, pages 312-319, San Francisco, CA, June 1995.
15. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51-92, 1993.
16. Kostas Stathis, Antonis C. Kakas, Wenjin Lu, Neophytos Demetriou, Ulle Endriss, and Andrea Bracciali. PROSOCS: a platform for programming software agents in computational logic, pages 523-528, Vienna, Austria, April 13-16 2004. Austrian Society for Cybernetic Studies.
17. Extended version to appear in a special issue of Applied Artificial Intelligence, Taylor & Francis, 2005.