The DALI logic programming agent-oriented language

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3229, Issue , 2004, Pages 685-688

  Costantini, Stefania ^a   Tocchio, Arianna ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; INTERFACES (COMPUTER); MIDDLEWARE; MULTI AGENT SYSTEMS; NETWORK PROTOCOLS; PLANNING; SEMANTICS; SERVERS; SET THEORY;

COMMUNICATION ARCHITECTURE; DALI INTERPRETOR; EVOLUTIONARY SEMANTICS; NON-LOGICAL MIDDLEWARE;

LOGIC PROGRAMMING;

EID: 22944468818     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30227-8_57     Document Type: Conference Paper

References (7)

1. J. Barklund, S. Costantini, P. Dell'Acqua e G. A. Lanzarone, Reflection Principles in Computational Logic, Journal of Logic and Computation, Vol. 10, N. 6, December 2000, Oxford University Press, UK.
2. S. Costantini. Many references about DALI and PowerPoint presentations can be found at the URLs: http://costantini.di.univaq.it/pubbls stefi.htm and http://costantini.di.univaq.it/AI2.htm.
3. 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, (held in Cosenza, Italy, September 2002), LNAI 2424, Springer-Verlag, Berlin, 2002.
4. S. Costantini, A. Tocchio and A. Verticchio, Semantic of the DALI Logic Programming Agent-Oriented Language, submitted.
5. FIPA. Communicative Act Library Specification, Technical Report XC00037H, Foundation for Intelligent Physical Agents, 10 August 2001.
6. 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.
7. P. McBurney, R. M. Van Eijk, S. Parsons, L. Amgoud, A Dialogue Game Protocol for Agent Purchase Negotiations, J. Autonomous Agents and Multi-Agent Systems Vol. 7 No. 3, November 2003.