ALIAS publications
- Anna Ciampolini and Paolo Torroni. Using
Abductive Logic Agents for Modelling Judicial Evaluation of Criminal Evidence.
In Antonio A. Martino and Ephraim Nissan, eds., The Construction of Judicial
Proof: A Challenge for Artificial Intelligence Modelling. Applied Artificial
Intelligence, Volume 18 Nos. 3-4, pp. 251-275. Taylor and Francis, February 2004. ISSN 0883-9514.
- Anna Ciampolini, Evelina Lamma, Paola Mello, Francesca Toni, and Paolo
Torroni. Co-operation
and competition in ALIAS: a logic framework for agents that negotiate.
In Jürgen Dix, Fariba Sadri, and Ken Satoh, eds., Computational Logic
in Multi-Agent Systems. Annals of Mathematics and Artificial Intelligence,
Volume 37 Nos. 1-2, pp. 65-91. Kluwer Academic Publishers, January 2003. ISSN
1012-2443.
- Anna Ciampolini, Paola Mello, and Sergio Storari. Distributed
Medical Diagnosis with Abductive Logic Agents. AI*IA
Notizie - Anno XV(3), Settembre 2002, pp. 12-21. Also published in the Proceedings
of BIXMAS 2002 workshop, Bologna, and in the Proceedings of ECAI 2002 workshop
on Agents in Healthcare, Lione.
- Paolo Torroni. Reasoning
and interaction in logic-based multi-agent systems. PhD thesis, Department
of Electronics, Computer Science, and Systems, University of Bologna, Italy.
DEIS Technical Report DEIS-LIA-02-005, Università di Bologna, LIA Series
No 58, February 2002 (171 pages).
- Anna Ciampolini, Evelina Lamma, Paola Mello and Paolo Torroni. LAILA:
a language for coordinating abductive reasoning among logic agents.
Computer Languages, 27 (4), Elsevier Science, 2001. pp. 137-161.
- Anna Ciampolini, Evelina Lamma, Paola Mello and Paolo Torroni. Expressing
collaboration and competition among abductive logic agents. AI*IA
Notizie - Anno XIII(3), Settembre 2000, pp. 19-24.
- A. Ciampolini, E. Lamma, P. Mello, C. Stefanelli and P. Torroni. An
Implementation for Abductive LogIc Agents. Proc. AI*IA'99,
LNAI 1792, Springer-Verlag (to appear)
- A. Ciampolini, E. Lamma, P. Mello and P. Torroni. The
Dynamic Composition of Abductive Agents in ALIAS. Proc. PLI Workshop
on COmponent-based
software developement in Computational Logic (COCL'99), Paris, 1999
- A. Ciampolini, E. Lamma, P. Mello and P. Torroni. Rambling
Abductive Agents in ALIAS. Proc. ICLP Workshop on Multi-Agent
Sytems in Logic Programming (MAS'99), Las Cruces, New Mexico, 1999
This page has been last updated on September 4, 2004