M. ALBERTI; D. DAOLIO; M. GAVANELLI; E. LAMMA; P. MELLO; P. TORRONI, Specification and Verification of Agent Interaction Protocols in a Logic-based System, in: Proceedings of the 2004 ACM Symposium on Applied Computing, s.l, s.n, 2004, pp. 72 - 78 (atti di: 19th ACM Symposium on Applied Computing, SAC 2004, Special Track on Agents, Interactions, Mobility,, Cyprous, March 14-17) [Contributo in Atti di convegno]
alberti marco; gavanelli marco; lamma evelina; mello paola; sartor giovanni; torroni paolo, Towards a Mapping of Deontic Logic onto an Abductive Framework, in: MILANI ALFREDO, Conferenza Italiana sui sistemi Intelligenti 2004, PERUGIA, Morlacchi Editore, 2004, pp. 79 - 79 [Contributo in Atti di convegno]
CIAMPOLINI A.; TORRONI P., Using Abductive Logic Agents for Modeling the Judicial Evaluation of Criminal Evidence, «APPLIED ARTIFICIAL INTELLIGENCE», 2004, 18, pp. 251 - 275 [articolo]
Leite João Alexandre; Omicini Andrea; Torroni Paolo; Yolum Pinar, 2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004), 2004. [mostra o esposizione]
