A logic programming language for multi-agent systems

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

Volumn 2424, Issue , 2002, Pages 1-13

  Costantini, Stefania ^a   Tocchio, Arianna ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; INTELLIGENT AGENTS; LOGIC PROGRAMMING; MODELING LANGUAGES; RECONFIGURABLE HARDWARE; SEMANTICS;

COMPUTATIONAL LOGIC; EVOLUTIONARY SEMANTICS; FORMALIZATION MODEL; LANGUAGE SEMANTICS; PRO ACTIVITIES;

MULTI AGENT SYSTEMS;

EID: 77952069970     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (27)

1. J. J. Alferes, P. Dell'Acqua, E. Lamma, J. A. Leite, L. M. Pereira, and F. Riguzzi. A logic based approach to multi-agent systems. ALP Newsletter, 14(3), August 2001.
2. J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. Przymusinski. Dynamic updates of non-monotonic knowledge bases. J. Logic Programming, 45(1):43-70, September/October 2000.
3. J. Barklund, K. Boberg, P. Dell'Acqua, and M. Veanes. Meta-programming with theory systems. In K.R. Apt and F. Turini, editors, Meta-Logics and Logic Programming, pages 195-224. The MIT Press, Cambridge, Mass., 1995.
4. G. Brewka. Declarative representation of revision strategies. In C. Baral and M. Truszczynski, editors, NMR'2000, Proc. Of the 8th Intl. Workshop on Non-Monotonic Reasoning, 2000.
5. G. Brewka and T Eiter. Prioritizing default logic. In Festschrift 60th Anniversary of W. Bibel. Kluwer Academic Publishers, 2000.
6. P. R. Cohen and H. J. Levesque. Rational interaction as the basis for communication. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Communication, pages 221-256. MIT Press, 1990.
7. P. R. Cohen and H. J. Levesque. Communicative actions for artificial agents. In V. Lesser, editor, Proc. 1st Intl. Conf. on Multi-agent Systems, AAAI Press, pages 65-72. MIT Press, 1995.
8. S. Costantini. Meta-reasoning: a survey. In A. Kakas and F. Sadri, editors, Computational Logic: From Logic Programming into the Future: Special volume in honour of Bob Kowalski (in print). Springer-Verlag, Berlin. invited paper.
9. S. Costantini. Meta-reasoning: a survey. In Computational Logic: From Logic Programming into the Future-Special volume in honour of Bob Kowalski(to appear). Springer-Verlag. invited paper.
10. 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), PLI'99, Paris, France, September 1999. http://www.di.unipi.it/ brogi/ ResearchActivity/COCL99/ proceedings/ index.html.
11. G. De Giacomo, Y. Lespérance, and Levesque. H. J. Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, (121):109-169, 2000.
12. P. Dell'Acqua and L. M. Pereira. Updating agents. In Procs. of the ICLP'99 Workshop on Multi-Agent Systems in Logic (MASL'99), Las Cruces, New Mexico, 1999.
13. P. Dell'Acqua, F. Sadri, and F. Toni. Combining introspection and communication with rationality and reactivity in agents. In J. Dix, F.L. Del Cerro, and U. Furbach, editors, Logics in Artificial Intelligence, LNCS 1489, Berlin, 1998. Springer-Verlag.
14. P. Dell'Acqua, F. Sadri, and F. Toni. Communicating agents. In Proc. International Workshop on Multi-Agent Systems in Logic Programming, in conjunction with ICLP'99, Las Cruces, New Mexico, 1999.
15. T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. A framework for declarative update specifications in logic programs. In Bernhard Nebel, editor, Proc. 17th Intl. Joint Conf. on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, 2001. Morgan Kaufmann. ISBN 1-55860-777-3.
16. M. Fisher. A survey of concurrent METATEM-the language and its applications. In Proceedings of First International Conference on Temporal Logic (ICTL), LNCS 827, Berlin, 1994. Springer Verlag.
17. K. Hindriks, F. de Boer, W. van der Hoek, and J. J. Meyer. A formal architecture for the 3apl programming language. In Proceedings of the First International Conference of B and Z Users, Berlin, 2000. Springer Verlag.
18. K. V. Hindriks, F. de Boer, W. van der Hoek, and J.-J.C. Meyer. Agent programming in 3apl. Autonomous Agents and Multi-Agent Systems, 2(4):357-401, 1999.
19. R. A. Kowalski and F. Sadri. From logic programming to multi-agent systems. In Annals of Mathematics and Artificial Intelligence. (to appear).
20. R. A. Kowalski and F. Sadri. Towards a unified agent architecture that combines rationality with reactivity. In Proc. International Workshop on Logic in Databases, LNCS 1154, Berlin, 1996. Springer-Verlag.
21. V. Lifschitz. Answer set planning. In D. De Schreye, editor, Proc. of ICLP '99 Conference, pages 23-37, Cambridge, Ma, 1999. MIT Press. Invited talk.
22. M. Mulder, J. Treur, and M. Fisher. Agent modelling in concurrent METATEM and DESIRE. In Intelligent Agents IV, LNAI, Berlin, 1998. Springer Verlag.
23. A. S. Rao. AgentSpeak(L): BDI Agents speak out in a logical computable language. In W. Van De Velde and J. W. Perram, editors, Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI, pages 42-55, Berlin, 1996. Springer Verlag.
24. A. S. Rao and M. Georgeff. BDI Agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 312-319, San Francisco, CA, June 1995.
25. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473-484. Morgan Kaufmann Publishers: San Mateo, CA, April 1991.
26. V.S. Subrahmanian, Piero Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Özcan, and Robert Ross. Heterogenous Active Agents. MIT-Press, 2000. 580 pages.
27. M. Wooldridge. Semantic issues in the verification of agent communication languages. Autonomous Agents and Multi-Agent Systems, 3(1):9-32, 2000.