LAnguages, methodologies and Development tools for multi-agent Systems workshop series
First International Workshop, LADS 007, Durham, UK, September 4-6, 2007, Revised Selected and Invited Papers. Vol. 5118of Lecture Notes in Artificial Intelligence. Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, and Paolo Torroni, editors, 2008. X, 279 p. With online files/update. Softcover. Heidelberg: Springer-Verlag. ISSN: 0302-9743, ISBN: 978-3-540-85057-1 (download flyer)(electronic edition).
Second International Workshop, LADS 009, Torino, Italy, September 7-9, 2009. Revised Selected Papers. Vol. 6039 of Lecture Notes in Artificial Intelligence.Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, and Paolo Torroni, editors, 2009. X, 183 p., Softcover. Heidelberg: Springer-Verlag. ISSN: 0302-9743, ISBN: 978-3-642-13337-4 (electronic edition). LADS 2009 Proceedings available inside CEUR Workshop Proceedings, Vol. 494. (introductory essay).
Computational logic in multi-agent systems workshop series
Fifth International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers. Vol. 3487of 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(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. 3900of 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(electronic edition).
Twelfth International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Vol. 6814of Lecture Notes in Artificial Intelligence. João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, and Leon van der Torre, editors, 2011. Heidelberg: Springer-Verlag. ISSN: 0302-9743, ISBN: 3-642-22358-7(electronic edition).
Declarative agent languages and technologies workshop series
First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Hot Topics. Vol. 2990of 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. (electronic edition).
Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Vol. 3476of 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. (electronic edition).
Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected and Invited Papers. Vol. 3904of 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. (electronic edition).
ArgNMR
Argumentation and non-monotonic reasoning workshop
First International Workshop, ArgNMR 2007, Tempe, Arizona, US, May 14, 2007, Proceedings. Guillermo Ricardo Simari and Paolo Torroni, editors, 2007. IV, 141 p. Electronic edition.
Vision
and overview papers
Sanjay Modgil et al. The added value of argumentation: Examples and challenges. Chapter in Handbook of Agreement Technologies, @ Springer-Verlag. In preparation.
Stefano Bragaglia, Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Reactive event calculus for monitoring global computing applications. Invited chapter in Essays in Honour of Marek Sergot: Computational Logic for Normative Systems. LNCS 7360, pp.123-146. @ Springer-Verlag, 2012.
Paolo Torroni, Federico Chesani, Paola Mello, and Marco Montali. A retrospective on the reactive event calculus and commitment modeling language. In Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies (DALT 2011). LNCS 7168, pp. 120-127. @ Springer-Verlag, 2012.
Ozgur Kafali and Paolo Torroni. Exception diagnosis in multiagent contract executions. Annals of Mathematics and Artificial Intelligence, Vol. 64 No. 1, pp. 73-107. DOI: 10.1007/s10472-012-9282-1 @ Springer-Verlag, 2012.
Francesca Toni and Paolo Torroni. Bottom-up argumentation. In Proceedings of theFirst International Workshop on the Theory and Applications of Formal Argumentation (TAFA-11), Barcelona, Spain, July 16-17, 2011, LNAI 7132, pp. 249-262. @ Springer-Verlag, 2012.
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. A computational logic application framework for service discovery and contracting. International Journal of Web Services Research, Vol. 8, No. 3, pp. 1-25 (direct link from JWSR home). DOI: 10.4018/jwsr.2011070101 @ IGI-Global, 2011.
Ozgur Kafali and Paolo Torroni. Social commitment delegation and monitoring. In Computational Logic in Multi-Agent Systems (CLIMA XII), Barcelona, Spain, July 16-17, 2011, LNAI 6814, pp. 171-189. @ Springer-Verlag, 2011.
Ozgur Kafali, Francesca Toni and Paolo Torroni. Reasoning about exceptions to contracts. In Computational Logic in Multi-Agent Systems (CLIMA XII), Barcelona, Spain, July 16-17, 2011, LNAI 6814, pp. 225-242. @ Springer-Verlag, 2011.
Ozgur Kafali and Paolo Torroni. Diagnosing commitments: delegation revisited (extended abstract). In Proceedings of the 10th International Joint Conference
on Autonomous Agents and Multiagent Systems (AAMAS-2011),
Taipei, Taiwan, pp. 1175-1176. @ IFAAMAS, May 2011.
Ozgur Kafali, Francesca Toni, and Paolo Torroni. Collaborative diagnosis of exceptions to contracts (extended abstract). In Proceedings of the 10th International Joint Conference
on Autonomous Agents and Multiagent Systems (AAMAS-2011),
Taipei, Taiwan, pp. 1167-1168. @ IFAAMAS, May 2011.
Marco Montali, Paolo Torroni, Nicola Zannone, Paola Mello, and Volha Bryl. Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos. Autonomous Agents and Multiagent Systems, Vol. 23, No. 2, pp. 193-223. @ Springer, 2011. Online since May 14, 2010.
Paolo Torroni, Marco Prandini, Marco Ramilli, Jaoa Leite, Joao Martins. Arguments against the troll. In Proceedings of the Eleventh AI*IA Symposium on Artificial Intelligence, Brescia, December 1-3, 2010, pp. 232-235. Arti Grafiche Apollonio, Brescia, Italy, 2010. ISBN: 9-788890-492419.
Marco Montali, Federico Chesani, Paola Mello, and Paolo Torroni. Monitoring time-aware social commitments with reactive event calculus. In
Proceedings of the 20th European Meeting on Cybernetics
and Systems Research (EMCSR'2010),
Symposium "From Agent Theory to Agent Implementation" (AT2AI-7),
Vienna, Austria, April 6-7, 2010. Best paper award. Austrian
Society for Cybernetic Studies.
Federico Chesani, Paola Mello, Marco Montali and Paolo Torroni. Verifying a-priori the composition of declarative specified services. In Proceedings of the 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), International Workshop on Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW-AWESOME), Torino, Italy, September 7-10, 2009. CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 494, Article 2 (8 pages).
Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. Integrating abductive logic programming and description logics in a dynamic contracting architecture. In Proceedings of the 7th IEEE International Conference on Web Services (ICWS), Los Angeles, CA, July 6-10, 2009, pp. 254-261. @ 2009 IEEE
Marco Montali, Federico Chesani, Paola Mello, and Paolo Torroni. Commitment tracking via the Reactive Event Calculus. In Proceedings of the 21th International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, CA, US, July 14-17, pp. 91-96, 2009. @ 2009 AAAIcited by...
Federico Chesani, Marco Montali, Paola Mello, and Paolo Torroni. Ontological reasoning and abductive logic programming for service discovery and contracting. In Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP), FAO-UN, Roma, Italy, December 15-17, 2008. CEUR Workshop Proceedings, Vol. 426, Art. 23. ISSN 1613-0073.
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. Expressing and verifying contracts with abductive logic programming. International Journal on Electronic Commerce, Vol. 12, No. 4, pp. 9-38.@ M.E. Sharpe, Inc., Summer 2008. Special Issue on Contract Architectures and Languages, edited by Claudio Bartolini, Guido Governatori, and Zoran Milosevic. cited by...
Paolo Torroni. Formal properties of the SCIFF-AF multiagent argumentation framework. In Fariba Sadri and Ken Satoh, eds., Proceedings of the 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), Porto, Portugal, September 10-11, 2007. Based on a presentation given at the International Workshop on Argumentation and Non-Monotonic Reasoning (ArgNMR), Tempe, Arizona, US, May 14, 2007. Online proceedings on the ArgNMR web site.
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. Expressing and verifying contracts with abductive logic programming. In Guido Boella, Leon van der Torre, and Harko Verhagen, eds., Normative Multi-agent Systems, Dagstuhl Seminar Proceedings, Vol. 07122. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. ISSN 1862-4405. Online proceedings on the DROPS web site maintained by Schloss Dagstuhl.
Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and verification of agent interaction protocols in a logic-based system. Scalable Computing:
Practice and Experience, Vol. 8 No. 1, pp. 1-13. Special Issue on Foundational Underpinnings for Pragmatic Agent-based Systems, edited by Henry Hexmoor, Marcin Paprzycki, and Niranjan Suri. Warsaw School of Social Psychology, Poland, 2007.
Marco Alberti, Marco Gavanelli, Evelina Lamma, Giovanni Sartor, and Paolo Torroni. Un sistema basato su logica computazionale per il trattamento degli operatori deontici. In La gestione e la negoziazione automatica dei diritti sulle opere dell'ingegno digitali: aspetti giuridici e informatici, Volume a cura di Silvia Bisi e Claudio di Cocco, Ottobre 2006. Capitolo 1, pp. 1-34. @ Gedit Edizioni, Bologna. ISBN 978-88-6027-015-3. In Italian.
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. Policy-based reasoning for smart web service interaction. In Axel Polleres, Stefan Decker, Gopal Gupta, and
Jos de Bruijn, eds., Proceedings of the 1st International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), Seattle, WA, USA, August 16, 2006. CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 196, pp. 87-102. cited by...
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. Special Issue on Best of "From Agent Theory to Agent Implementation (AT2AI-4)," edited by Paolo Petta and Jörg P. Müller. @ Taylor & Francis, February-April 2006. cited by...
Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, and 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, Giovanni Sartor, and Paolo Torroni. Mapping deontic operators to abductive expectations. 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, Alessio Guerri, Evelina Lamma, Paola Mello, and 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.
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. cited by...
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.
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 appeared in Applied Artificial Intelligence in 2006.
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 onThe Construction of Judicial Proof: A Challenge for Artificial Intelligence Modelling, edited by Antonio A. Martino and Ephraim Nissan.cited by...
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
interaction using social integrity constraints. Electronic Notes in Theoretical Computer
Science, Vol. 85 No. 2. Special Issue on Proceedings of the Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, the Netherlands, 29 June 2003, edited by Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, and Mike Wooldridge. @ 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, 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.Annals of Mathematics and
Artificial Intelligence, Volume 37 Nos. 1-2, pp.
65-91. Special issue on Computational Logic in Multi-Agent Systems, edited by Jürgen Dix, Fariba Sadri, and Ken Satoh. @ Kluwer Academic Publishers, January 2003. ISSN 1012-2443. cited by...
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, 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,
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).
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, Vol 78, pp. 119-120. Đ IOS Press, Ohmsha, 2002.
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. cited by...
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...
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.
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.
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, demos, and other work
Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. A REC-based commitment tracking tool. System demonstration. Proceedings of the 10th AI*IA/TABOO Italian Joint Workshop "From Objects to Agents" (WOA 2009).
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.
Copyright
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis.Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
