Foto del docente

Paolo Torroni

Associate Professor

Department of Computer Science and Engineering

Academic discipline: IINF-05/A Information Processing Systems

Publications

LEITE JOAO; OMICINI ANDREA; STERLING LEON; TORRONI PAOLO, Declarative Agent Languages and Technologies, HEIDELBERG, Springer, 2004, pp. 281 (LECTURE NOTES IN COMPUTER SCIENCE). [Editorship]

M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; M. Milano; P. Torroni, Expressing Interaction in Combinatorial Auction through Social Integrality Constraints, in: ALFREDO MILANI, Conferenza Italiana sui sistemi Intelligenti 2004, PERUGIA, Morlacchi Editore, 2004, pp. 80 - 81 (atti di: AIIA Nono Convegno, Perugia, Settembre 2004) [Contribution to conference proceedings]

J. LEITE; P. TORRONI, Fifth International Workshop on Computational Logic in Multi-Agent Systems - CLIMA V, «AGENTLINK NEWSLETTER», 2004, 16, pp. 39 - 39 [Scientific article]

ALBERTI M.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P., Modeling interactions using social integrity constraints: a resource sharing case study, in: Declarative Agent Languages and Technologies, 2004, 2990, pp. 243 - 262 (atti di: First International Workshop, DALT, Melbourne, July 15, 2003) [Contribution to conference proceedings]

Leite Joao; Omicini Andrea; Torroni Paolo; Yolum Pinar, Preface, in: LEITE JOAO OMICINI ANDREA TORRONI PAOLO YOLUM PINAR, Proceedings of the 2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004), NEW YORK, s.n., 2004, pp. II - II [Brief introduction]

Leite Joao Alexandre; Omicini Andrea; Sterling Leon; Torroni Paolo, Preface, in: Declarative Agent Languages and Technologies, HEIDELBERG, Springer, 2004, pp. V - VII (LECTURE NOTES IN COMPUTER SCIENCE) [Preface]

Leite Joao; Omicini Andrea; Torroni Paolo; Yolum Pinar, Proceedings of the 2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004), NEW YORK, s.n., 2004, pp. VII-312 . [Editorship]

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) [Contribution to conference proceedings]

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 [Contribution to conference proceedings]

Ciampolini, Anna; Torroni, Paolo, Using Abductive Logic Agents for Modeling the Judicial Evaluation of Criminal Evidence, «APPLIED ARTIFICIAL INTELLIGENCE», 2004, 18, pp. 251 - 275 [Scientific article]

Leite João Alexandre; Omicini Andrea; Torroni Paolo; Yolum Pinar, 2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004), 2004. [Exhibition]

Latest news

At the moment no news are available.