About declarative semantics of logic-based agent languages

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

Volumn 3904 LNAI, Issue , 2006, Pages 106-123

  Costantini, Stefania ^a   Tocchio, Arianna ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; INTELLIGENT AGENTS; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; MULTI AGENT SYSTEMS;

EVOLUTIONARY SEMANTICS; FORMAL VERIFICATION METHODS; LOGIC-BASED AGENT-ORIENTED LANGUAGES; PROGRAM TRANSFORMATION;

SEMANTICS;

EID: 33745743222     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11691792_7     Document Type: Conference Paper

References (23)

1. J. Barklund, S. Costantini, P. Dell'Acqua e G. A. Lanzarone, Reflection Principles in Computational Logic, J. of Logic and Computation, Vol. 10, N. 6, December 2000, Oxford University Press, UK.
2. P. Bonatti, J. Dix, T. Eiter, S. Kraus, F. Ozean, R. Ross and V. S. Subrahmanian, Heterogeneous Agent Systems, The MIT Press, 2000.
3. A. Bracciali, N. Demetriou, U. Endriss, A. Kakas, W. Lu, P. Mancarella, F. Sadri, K. Stathis, G. Terrera, and F. Toni, The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation. In Global Computing 3267, (2004).
4. M. E. Bratman, D. J. Israel and M. E. Pollack, Plans and resource-bounded practical reasoning," Computational Intelligence, vol. 4, pp. 349-355, 1988.
5. K. L. Clark and G. McCabe, Go! A multi-paradigm programming language for implementing multi- threaded agents, Annals of Mathematics and Artificial Intelligence 41, ISSN: 1012-2443, pp. 171-206, 2004.
6. S. Costantini, Towards active logic programming, In A. Brogi and P. Hill, editors, Proc. of 2nd International Workshop on component-based Software Development in Computational Logic (COCL'99), Available on-line, URL http://www.di.unipi.it/brogi/ResearchActivity/COCL99/proceedings/index.html.
7. S. Costantini and A. Tocchio, A Logic Programming Language for Multi-agent Systems. In S. Flesca, S. Greco, N. Leone, G. Ianni (eds.), Logics in Artificial Intelligence, Proc. of the 8th Europ. Conf., JELIA 2002, LNAI 2424, Springer-Verlag, 2002.
8. S. Costantini, A. Tocchio, The DALI Logic Programming Agent-Oriented Language. In J. J. Alferese and J. Leite(eds.), Logics in Artificial Intelligence, Proceedings of the 9th European Conference, Jelia 2004, Lisbon, September 2004. LNAI 3229, Springer-Verlag, Germany, 2004.
9. S. Costantini, A. Tocchio and A. Verticchio, A Game-Theoretic Operational Semantics for the DALI Communication Architecture, In Proc. of WOA04, Turin, Italy, ISBN 88-371-1533-4, December 2004.
10. S. Costantini, A. Tocchio and A. Verticchio, Communication and Trust in the DALI Logic Programming Agent-Oriented Language, In M. Cadoli, M. Milano and A. Omicini (eds), Italian J. of Artificial Intelligence, March 2005.
11. M. d'lnverno K. Hindriks and M. Luck, A formal architecture for the 3APL agent programming language, In First Intern. Conf. on B and Z Users, Springer-Verlag 1878, 2000, pp. 168-187.
12. FIPA, Communicative Act Library Specification, Technical Report XC00037H, Foundation for Intelligent Physical Agents, 10 August 2001.
13. M. Gelfond and V Lifschitz, The stable model semantics for logic programming. In Proceedings of the Fifth Joint International Conference and Symposium. The MIT Press, Cambridge, MA, 1988, 1070-1080.
14. R. A. Kowalski, How to be Artificially Intelligent - the Logical Way, Draft, revised February 2004, Available on line, URL http://www-lp.doc.ic.ac.uk/ UserPages/staff/rak/rak.html.
15. R. A. Kowalski and F Sadri, Towards a unified agent architecture that combines rationality with reactivity, In Proc. International Workshop on Logic in Databases, San Miniato (PI), Italy, LNCS 1154, Springer Verlag, Berlin, 1996.
16. R. A. Kowalski, and F. Sadri, An Agent Architecture that Unifies Rationality with Reactivity, Department of Computing, Imperial College, 1997.
17. J. W Lloyd, Foundations of Logic Programming, 1987
18. A. S. Rao, AgentSpeak(L): BDI agents speak out in a logical computable language, In W. Van de Velde and J. W. Perram, (eds.), Agents Breaking Away: Proc. of the Seventh Europ. Work, on Modelling Autonomous Agents in a Multi-Agent World, LNAI1038, Springer-Verlag, Heidelberg, Germany, pp. 42-55, 1996.
19. A. S. Rao and M. Georgeff, BDI Agents: from theory to practice, In Proc. of the First Int. Conf. on Multi-Agent Systems (ICMAS-95), San Francisco, CA, pp. 312-319, 1995.
20. A. Tocchio, Multi-Agent sistems in computational logic, Ph.D. Thesis, Dipartimento di Informatica, Università degli Studi di L'Aquila, 2005.
21. E.C. Van der Hoeve, M. Dastani, F. Dignum, J.-J. Meyer, 3APL Platform, In Proc. of the The 15th Belgian-Dutch Conference on Artificial Intelligence(BNAIC2003), held in Nijmegen, The Netherlands, 2003.
22. A. Van Gelder, K. A. Ross and J. Schlipf, The well-founded semantics for general logic programs, J. of the ACM 38(3), 620-650, 1990.
23. M. Wooldridge and N. R. Jennings, Intelligent agents: Theory and practice, Knowl. Eng. Rev., Vol. 10., N. 2, pp. 115-152, 1995.