Paolo Torroni's Publications

My publications

Edited volumes Springer

CLIMA VI (2005)

Computational Logic in Multi-Agent Systems Series.

Fifth International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers. Vol. 3487 of Lecture Notes in Artificial Intelligence. João Leite and Paolo Torroni, editors, 2005. XII, 281 p., Softcover. Heidelberg: Springer-Verlag. ISSN: 0302-9743, ISBN: 3-540-28060-X (about this book) (electronic edition).

Sixth International Workshop, CLIMA VI, City University London, UK, June 27-29, 2005. Revised Selected and Invited Papers. State-of-the-art Survey. Vol. 3900 of Lecture Notes in Artificial Intelligence. Francesca Toni and Paolo Torroni, editors, 2006. XVII, 427 p., Coloured Softcover. Heidelberg: Springer-Verlag. ISSN: 0302-9743, ISBN: 3-540-33996-5 (about this book) (electronic edition).

DALT III (2005)

Declarative Agent Languages and Technologies Series.

First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Hot Topic. Vol. 2990 of Lecture Notes in Artificial Intelligence. João Leite, Andrea Omicini, Leon Sterling, and Paolo Torroni, editors, 2004. XII, 281 p. Coloured Softcover. Heidelberg: Springer-Verlag. ISSN: 0302-9743, ISBN: 3-540-22124-7. (about this book) (electronic edition).

Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Vol. 3476 of Lecture Notes in Artificial Intelligence. João Leite, Andrea Omicini, Paolo Torroni, and Pinar Yolum, editors, 2005. XII, 289 p. Softcover. Heidelberg: Springer-Verlag. ISSN: 0302-9743, ISBN: 3-540-26172-9. (about this book) (electronic edition).

Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected and Invited Papers. Vol. 3904 of Lecture Notes in Artificial Intelligence. Matteo Baldoni, Ulle Endriss, Andrea Omicini, and Paolo Torroni, editors, 2006. XII, 245 p. Softcover. Heidelberg: Springer-Verlag. ISSN: 0302-9743, ISBN: 3-540-33106-9. (about this book) (electronic edition).

Vision papers

Paolo Torroni. Computational Logic in Multi-Agent Systems: recent advances and future directions. Invited contribution. In Jürgen Dix, João Leite, and Ken Satoh, eds., Computational Logic in Multi-Agent Systems, Special Issue of Annals of Mathematics and Artificial Intelligence, Vol. 42 Nos. 1-3, pp. 293-305. Kluwer Academic Publishers, 2004. A preliminary version is available as a LIA Technical Report.

Refereed publications

2006

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Giovanni Sartor, and Paolo Torroni. Mapping Deontic Operators to Abductive Expectations. To appear in Computational and Mathematical Organization Theory in 2006. Preliminary version in Harko Verhagen, ed., Proceedings of 1st International Symposium on Normative Multiagent Systems (NorMAS 2005), AISB 2005, Hertfordshire, Hatfield, UK, April 2005. The Society for the Study of Artificial Intelligence and Simulation of Behaviour. ISBN 1-902956-47-6.

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Compliance Verification of Agent Interaction: a Logic-Based Software Tool. In Applied Artificial Intelligence, Vol. 20, Nos. 2-4, pp. 133-157. Taylor & Francis, February-April 2006. cited by...

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Security protocols verification in Abductive Logic Programming: A case study. In Oguz Dikenelli, Marie-Pierre Gleizes, and Andrea Ricci, eds., Proceedings of ESAW'05, October 26-28, 2005. LNAI 3963, pp. 106-124. © Springer-Verlag, 2006. Preliminary version in Alberto Pettorossi, Maurizio Proietti, and Valerio Senni, eds., CILC 2005 - Convegno Italiano di Logica Computazionale. Università degli Studi di Roma Tor Vergata, June 21-22 2005.

2005

Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari. Protocol Specification and Verification by Using Computational Logic. In Flavio Corradini, Flavio De Paoli, Emanuela Merelli, and Andrea Omicini, eds., Proceedings of the 6th AI*IA/TABOO Joint Workshop "from Objects to Agents", WOA 2005, Camerino, MC, Italy, November 14-16, 2005, pp. 184-192. Pitagora Editrice Bologna. ISBN 88-371-1590-3.

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. The SCIFF abductive proof-procedure. In Stefania Bandini and Sara Manzoni, eds., Proceedings of the 9th National Congress on Artificial Intelligence, AI*IA 2005, Milan, Italy, September 21-23, 2005. LNAI 3673, pp. 135-147. © Springer-Verlag, 2005.

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Abduction with Hypotheses Confirmation. Short paper. In Fausto Giunchiglia, ed., Proceedings of the 19th Biennal International Joint Conference on Artificial Intelligence, IJCAI 2005, Edinburgh, Scotland, July 30-August 5, 2005, pp. 1545-1546. © AAAI Press.

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Giovanni Sartor, and Paolo Torroni. Mapping Deontic Operators to Abductive Expectations. In Proceedings of 1st International Symposium on Normative Multiagent Systems (NorMAS 2005), AISB 2005, Hertfordshire, Hatfield, UK, April 2005.

Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni. Applicazione dei vincoli di integrità sociali come strumento dispecifica delle interazioni in aste combinatorie. In Intelligenza Artificiale, Anno II No. 1, Marzo 2005, pp. 22-29. ISSN 1724-8035.

Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Michela Milano, and Paolo Torroni. Expressing Interaction in Combinatorial Auctions Through Social Integrity Constraints. In Armin Wolf, ed., Proceedings of the 19th Workshop on (Constraint) Logic Programming, (W(C)LP), University of Ulm, Germany, February 21-23, 2005. Ulmer Informatik-Berichte 2005-01, pp.53-64.

2004

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. In Post-Proceedings of the Global Computing 2004 Workshop (GC 2004), Rovereto, Italy, March 9-12, 2004. LNAI 3267, pp. 314-339. © Springer-Verlag, 2005.

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Abduction with Hypotheses Confirmation. In Atti del Diciannovesimo incontro annuale della Associazione Italiana Gruppo Ricercatori e Utenti di Logic Programming (GULP), Parma, Italy, June 16-17, 2004. Dipartimento di Matematica, Università di Parma.

Antonis Kakas, Paolo Torroni, and Neophytos Demetriou. Agent Planning, Negotiation, and Control of Operation. In Ramon López de Mántaras and Lorenza Saitta, eds., Proceedings of the 16th Biennal European Conference on Artificial Intelligence, ECAI 2004, Valencia, Spain, August 22-27, 2004, pp. 28-32. IOS Press.

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. A logic-based approach to interaction design in open multi-agent systems. In Proceedings of the 13th IEEE International workshops on Enabling technologies: Infrastructures for collaborative enterprises (WETICE-2004), 2nd International Workshop "Theory and practice of open computational systems (TAPOCS)". Modena, Italy, June 14, 2004. pp. 387-392. IEEE Press.

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Compliance Verification of Agent Interaction: a Logic-Based Tool. In R. Trappl, editor, Proceedings of the 17th European Meeting on Cybernetics and Systems Research (EMCSR'2004), Vol. II, Symposium "From Agent Theory to Agent Implementation" (AT2AI-4), pp. 570-575, Vienna, Austria, April 13-16, 2004. Austrian Society for Cybernetic Studies. An extended version is to appear in Applied Artificial Intelligence.

Marco Alberti, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interaction Protocols in a Logic-based System. In Hisham M. Haddad, Andrea Omicini, and Roger L. Wainwright, eds., Proceedings of the 19th ACM Symposium on Applied Computing, SAC 2004, Special Track on Agents, Interactions, Mobility, and Systems (AIMS). Nicosa, Cyprus, March 14-17, 2004. pp. 72-78. ACM Press. cited by...

Anna Ciampolini and Paolo Torroni. Using Abductive Logic Agents for Modeling the Judicial Evaluation of Criminal Evidence. In Applied Artificial Intelligence, Volume 18, Nos. 3-4, pp. 251-275. Taylor & Francis, March-April 2004. Special issue edited by Antonio A. Martino and Ephraim Nissan: "The Construction of Judicial Proof: A Challenge for Artificial Intelligence Modelling". A preliminary version is available as a LIA Technical Report. cited by...

Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. An Abductive Framework for Information Sharing in Multi-Agent systems. In Jürgen Dix and João Leite, eds., 4th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IV), Fort Lauderdale, FL, January 6-7, 2004. LNAI 3259, pp. 34-52. © Springer-Verlag, 2004. Pre-proceedings published in the Universität Clausthal Technical Report series, Band 1 Heft 5, pp. 4-21, January 2003. ISBN 3-89720-688-9.

Andrea Bracciali and Paolo Torroni. A new framework for knowledge revision of abductive agents through their interaction (preliminary report). In Jürgen Dix and João Leite, eds., 4th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IV), Fort Lauderdale, FL, January 6-7, 2004. LNAI 3259, pp. 159-177. © Springer-Verlag, 2004. Pre-proceedings published in the Universität Clausthal Technical Report series, Band 1 Heft 5, pp. 143-161, January 2003. ISBN 3-89720-688-9.

2003

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. An Abductive Computational Model for Open Societies. In Angelo Cappelli and Franco Turini, eds., Proceedings of the 8th National Congress on Artificial Intelligence, AI*IA 2003, Pisa, Italy, September 23-26, 2003. LNAI 2829, pp. 287-299. © Springer-Verlag, 2003.

Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, and Paolo Torroni. Interpreting abduction in CLP. In Luigi Palopoli, ed., APPIA-GULP-PRODE Joint Conference on Declarative Programming, Reggio Calabria, Italy, September 3-5, 2003. Università Mediterranea di Reggio Calabria.

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and Verification of Agent Interactions using Social Integrity Constraints. In Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, and Mike Wooldridge, editors, Proceedings of the Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, the Netherlands, 29 June 2003. Electronic Notes in Theoretical Computer Science, Vol. 85 No. 2, Elsevier Science, October 2003. cited by...

Fariba Sadri, Francesca Toni, and Paolo Torroni. Minimally intrusive negotiating agents for resource sharing. In Georg Gottlob, ed., Proceedings of the 18th Biennal International Joint Conference on Artificial Intelligence, IJCAI 2003, Acapulco, Mexico, August 12-15, 2003. AAAI Press.

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Modeling interactions using social integrity constraints: a resource sharing case study. In João Leite, Andrea Omicini, Leon Sterling, and Paolo Torroni, eds., Declarative Agent Languages and Technologies. First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. LNAI 2990, pp. 243-262. © Springer-Verlag, 2004.

Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. A Social ACL Semantics by Deontic Constraints. In Vladimír Marík, Jörg Müller, and Michal Pechoucek, editors, Multi-Agent Systems and Applications III. Proceedings of the 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18 2003. LNCS 2691, pp. 204-213. © Springer-Verlag, 2003.

Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Logic based semantics for an agent communication language. In Barbara Dunin-Keplicz and Rineke Verbrugge, eds., Proceedings of the 1st international Workshop on Formal Approaches to Multi-Agent Systems (FAMAS), Warsaw, Poland, April 12, 2003, pp. 21-36.

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. A preliminary version can be downloaded from here. cited by...

2002

Fariba Sadri, Francesca Toni, and Paolo Torroni. A multi-stage negotiation architecture for sharing resources amongst logic-based agents (extended abstract). Short paper. In Peter Mc Burney and Michael Wooldridge, eds., Proceedings of the Special Interest Group on Multi-Agent Systems, (UKMAS'02), Liverpool, London, December 2002 (2 pages).

Paolo Torroni, Paola Mello, N. Maudet, Marco Alberti, Anna Ciampolini, Evelina Lamma, Fariba Sadri, and Francesca Toni. A logic-based approach to modeling interaction among computees (preliminary report). In Peter Mc Burney and Michael Wooldridge, eds., Proceedings of the Special Interest Group on Multi-Agent Systems, (UKMAS'02), Liverpool, London, December 2002 (14 pages).

Paolo Torroni. A study on the termination of negotiation dialogues. In Cristiano Castelfranchi and W. Lewis Johnson, eds., Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Bologna, Italy, ACM Press, July 2002. ISBN 1-58113-480-0 pp. 1223-1230. cited by...

Anna Ciampolini, Evelina Lamma, Paola Mello and Paolo Torroni. Coordinating the safe execution of tasks in a constrained multi-agent system. Short paper. In Cristiano Castelfranchi and W. Lewis Johnson, eds., Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Bologna, Italy, ACM Press, July 2002. ISBN 1-58113-480-0 pp. 940-941. Extended version in Proceedings of the 3rd International Workshop on Distributed Constraint Reasoning (DCR), July 2002 (9 pages).

Fariba Sadri, Francesca Toni, and Paolo Torroni. An abductive logic programming architecture for negotiating agents. In Sergio Flesca, Sergio Greco, Giovambattista Ianni, and Nicola Leone, eds., Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), Cosenza, Italy, September, 23-26, 2002. LNAI 2424, 2002, pp. 419-431. © Springer-Verlag, 2002. cited by...

Anna Ciampolini, Evelina Lamma, Paola Mello and Paolo Torroni. A Proof-system for the Safe Execution of Tasks in Multi-Agent Systems. In Sergio Flesca, Sergio Greco, Giovambattista Ianni, and Nicola Leone, eds., Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), Cosenza, Italy, September, 23-26, 2002. LNAI 2424, 2002, pp. 14-26. © Springer-Verlag, 2002.

Andrea Roli and Paolo Torroni. Logics, local search, and resource allocation. Short paper. In Thierry Vidal and Paolo Liberatore, eds., Proceedings of the STarting Artificial Intelligence Researchers Symposium (STAIRS'02), Lyon, France, July 22-23, 2002. Frontiers in Artificial Intelligence and Applications 78, 2002, pp. 119-120. © IOS Press, Ohmsha, 2002.

2001

Anna Ciampolini, Evelina Lamma, Paola Mello and Paolo Torroni. LAILA: a language for coordinating abductive reasoning among logic agents. Computer Languages, Vol. 27 No. 4, Elsevier Science, 2001. pp. 137-161.

Fariba Sadri, Francesca Toni, and Paolo Torroni. Dialogues for negotiation: agent varieties and dialogue sequences. In John-Jules Meyer and Milind Tambe, eds., Intelligent Agent VIII, revised papers from the 8th International Workshop on Agent Theories, Applications, and Languages (ATAL'01), Seattle, WA, USA, August 1-3, 2001. Best paper award. LNAI 2333, pp. 405-421. © Springer-Verlag, 2002. cited by...

Paolo Torroni and Francesca Toni. Extending a logic based one-to-one negotiation framework to one-to-many negotiation. In Andrea Omicini, Paolo Petta and Robert Tolksdorf, eds., Engineering Societies in the Agents World II, Proceedings ESAW'01, LNCS 2203, December 2001, pp. 105-118. © Springer-Verlag, 2001.

Fariba Sadri, Francesca Toni, and Paolo Torroni. Logic agents, dialogues and negotiation: an abductive approach. In Kosthas Stathis and Michael Schroeder, eds., Proceedings of the Symposium on Information Agents for E-Commerce, AISB'01, York, UK, March 2001. cited by...

2000

Anna Ciampolini, Evelina Lamma, Paola Mello and Paolo Torroni. Expressing collaboration and competition among abductive logic agents. AI*IA Notizie - Anno XIII No. 3, Settembre 2000, pp. 19-24.

Rosy Barruffi, Michela Milano, Paolo Torroni. Planning while executing: a constraint-based approach.In Sasha Ohsuga and Zbigniew W. Ras, eds., Foundations of Intelligent Systems, Proceedings ISMIS'00, LNAI 1932, pp. 228-236, December, 2000. © Springer-Verlag, 2000.

Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli and Paolo Torroni. An implementation for Abductive LogIc AgentS. In Paola Mello and Evelina Lamma, eds., AI*IA 99: Advances in Artificial Intelligence, LNAI 1792, pp. 61-71. © Springer-Verlag, 2000. cited by...

Anna Ciampolini, Evelina Lamma, Paola Mello and Paolo Torroni. Expressing collaborative and competitive coordination among abductive logic agents. In Ken Satoh and Fariba Sadri, eds., Proceedings of the 1st International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'00), Imperial College, London, 2000.

1999

Rosy Barruffi, Michela Milano, Paolo Torroni, Interactive constraints for plan construction and execution, In Proceedings of the Eighteenth Workshop of the UK Planning and Scheduling Special Interest Group, Gary J. Petley, Alex M. Coddington, Ruth Aylett, eds., University of Salford, UK, 1999

Anna Ciampolini, Evelina Lamma, Paola Mello and Paolo Torroni. The dynamic composition of abductive agents in ALIAS. In Antonio Brogi and Particia Hill, eds., Proceedings of the Workshop on COmponent-based software developement in Computational Logic (COCL'99), Paris, 1999.

Anna Ciampolini, Evelina Lamma, Paola Mello and Paolo Torroni. Rambling abductive agents in ALIAS. In Fariba Sadri, Francesca Toni, and Stephen Rochefort, Proceedings of the ICLP Workshop on Multi-Agent Sytems in Logic Programming (MAS'99), Las Cruces, New Mexico, 1999.

Technical reports and other work

Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Verifiable Agent Interaction in Abductive Logic Programming: the SCIFF proof-procedure. Department of Electronics, Computer Science, and Systems, University of Bologna, Italy. DEIS Technical Report DEIS-LIA-06-001, Università di Bologna, LIA Series No 75, March 2006 (76 pages).

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Giovanni Sartor, and Paolo Torroni. Towards a Mapping of Deontic Logic Onto an Abductive Framework. In Alfredo Milani, ed., Atti della Conferenza Italiana sui Sistemi Intelligenti CISI-04, 9th AI*IA Convention. Workshop Agenti e Vincoli: Modelli e Tecnologie per Dominare la Complessità. Perugia, Italy, 2004. Morlacchi Editore, Perugia. ISBN 88-89422-09-2.

Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, and Paolo Torroni. Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. In Alfredo Milani, ed., Atti della Conferenza Italiana sui Sistemi Intelligenti CISI-04, 9th AI*IA Convention. Workshop Agenti e Vincoli: Modelli e Tecnologie per Dominare la Complessità. Perugia, Italy, 2004. Morlacchi Editore, Perugia. ISBN 88-89422-09-2.

Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Storyboard of the AAMAS 2004 DEMO presented at Columbia University, New York, NY, USA, on July 22, 2004.

Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Logic Based Semantics for an Agent Communication Language. Department of Electronics, Computer Science, and Systems, University of Bologna, Italy. DEIS Technical Report DEIS-LIA-03-001, Università di Bologna, LIA Series No 62, January 2003 (18 pages).

Paolo Torroni. Logics and multi-agents: towards a new symbolic model of cognition. Invited contribution (panel discussion abstract). In Electronic Notes in Theoretical Computer Science, Vol. 70 No. 5, Elsevier Science, 2002. Also published in Jürgen Dix, João Leite, and Ken Satoh, eds., Proc. 3rd International Workshop in Computational Logic in Multi-Agent Systems (CLIMA'02) No. 93 in Datalogiske Skrifter (Writings on Computer Science), Roskilde University, Denmark, 2002. ISSN 0109-9779, pp. 177-180.

Fariba Sadri, Francesca Toni, and Paolo Torroni. A multi-stage negotiation architecture for sharing resources amongst logic-based agents. Department of Electronics, Computer Science, and Systems, University of Bologna, Italy. DEIS Technical Report DEIS-LIA-02-008, Università di Bologna, LIA Series No 61, November 2002 (21 pages).

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).

Paolo Torroni, Paola Mello, Anna Ciampolini, Evelina Lamma, Michela Milano, Rebecca Montanari, Fabrizio Riguzzi, and Andrea Roli. The SOcieties of ComputeeS Project: a position paper. DEIS Technical Report DEIS-LIA-02-004, Università di Bologna, LIA Series No 57, 2002 (28 pages).

Anna Ciampolini and Paolo Torroni. Using Abductive Logic Agents for Legal Justification. DEIS Technical Report DEIS-LIA-02-002, Università di Bologna, LIA Series No 55, 2002 (24 pages).

Maurelio Boari, Carlo Polacchini, Francesco Panciroli, and Paolo Torroni. Modello di un sistema per la programmazione didattica dell'Ateneo di Bologna. Dicembre 1999 (in Italian, 28 pages). Stampa TECHNOPRINT, Bologna. Disponibile su richiesta.