Selected publications

         

Books Springer Amazon.co.uk Amazon.com AllBookstores.com AllBookstores.com AllBookstores.com BookFinder.com
Papers Vision & overview papers Technical papers Demos & reports
Advance search AI@UniBO

Buy it!

PRIMA 2015

Principles and Practice of Multi-Agent Systems series

Eighteenth International Conference, PRIMA 2015, Bertinoro, Italy, October 26-30, 2015, Proceedings. Vol. 9387 of Lecture Notes in Artificial Intelligence. Qingliang Chen, Paolo Torroni, Serena Villata, Jane Hsu, and Andrea Omicini, editors, 2015. XXI, 708 p. 135 illus. Softcover. Heidelberg: Springer-Verlag. ISSN: 0302-9743, ISBN: 978-3-319-25523-1 (download flyer) (electronic edition).

Buy it!

LADS I
LADS II

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. 5118 of Lecture Notes in Artificial Intelligence. Mehdi Dastani, Amal El Fallah Seghrouchni, Joao 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, Joao 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).

   

Buy it!

CLIMA V
CLIMA VI
CLIMA XII
CLIMA XIV

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. 3487 of Lecture Notes in Artificial Intelligence. Joao 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. 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 (electronic edition).

Twelfth International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Vol. 6814 of Lecture Notes in Artificial Intelligence. Joao Leite, Paolo Torroni, Thomas Agotnes, Guido Boella, and Leon van der Torre, editors, 2011. Heidelberg: Springer-Verlag. ISSN: 0302-9743, ISBN: 3-642-22358-7 (electronic edition).

Fourteenth International Workshop, CLIMA XIV, Corunna, Spain, September 16-17, 2013. Proceedings. Vol. 8143 of Lecture Notes in Artificial Intelligence. Joao Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, and Stefan Woltran, editors, 2013. Heidelberg: Springer-Verlag. ISSN: 0302-9743, ISBN: 3-642-40623-2 (electronic edition).

   

Buy it!

DALT I
DALT II
DALT III

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. 2990 of Lecture Notes in Artificial Intelligence. Joao 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. 3476 of Lecture Notes in Artificial Intelligence. Joao 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. 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. (electronic edition).

   
 

 

ArgNMR

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 & overview papers [technical papers] [demos & reports] [books]

pdf download Sanjay Modgil, Francesca Toni, Floris Bex, Ivan Bratko, Carlos I. Chesnevar, Wolfgang Dvorak, Marcelo A. Falappa, Xiuyi Fan, Sarah A Gaggl, Alejandro J. Garcia, Maria P. Gonzalez, Thomas F. Gordon, Joao Leite, Martin Mozina, Chris Reed, Guillermo R. Simari, Stefan Szeider, Paolo Torroni, and Stefan Woltran. The added value of argumentation. Chapter 21 in Agreement Technologies, Law, Governance and Technology Series 8, pp. 357-404. Springer-Verlag, 2013.

pdf download 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.

pdf download 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.

pdf download Alessandro Dal Palu' and Paolo Torroni. 25 years of logic programming applications in Italy. Invited chapter in A. Dovier and E. Pontelli, eds., A 25-Year Perspective on Logic Programming, LNCS 6125, pp. 298-325. Springer-Verlag, 2010.

pdf download Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, and Paolo Torroni. Agents, multi-agent systems and declarative programming: What, When, Where, Why, Who, How?. Invited chapter in A. Dovier and E. Pontelli, eds., A 25-Year Perspective on Logic Programming, LNCS 6125, pp. 199-224. Springer-Verlag, 2010. cited by...

pdf download Federico Chesani, Marco Montali, Paola Mello, and Paolo Torroni. Declarative technologies for open agent systems and beyond. Keynote speech abstract in Proceedings of the 4th International KES Symposium on Agents and Multi-agent Systems — Technologies and Applications (KES-AMSTA), Gdynia, Poland, June 23-25, 2010, Part I, LNCS 6070, pp. 1-5. Springer-Verlag, 2010.

pdf download Paolo Torroni, Marco Gavanelli, and Federico Chesani. Arguing on the semantic grid. Invited chapter in Guillermo R. Simari and Iyad Rahwan, eds., Argumentation in Artificial Intelligence. ISBN: 978-0-387-98196-3 Springer-Verlag, 2009.

pdf download Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, and Paolo Torroni. Computational logics and agents: a road map of current technologies and future trends. Computational Intelligence Journal, Vol. 23, No. 1, pp. 61-91. Blackwell Publishing, 2007. cited by...

pdf download Paolo Torroni. Computational logic in multi-agent systems: recent advances and future directions. Annals of Mathematics and Artificial Intelligence, Vol. 42 Nos. 1-3, pp. 293-305. Invited article for a special issue on Computational Logic in Multi-Agent Systems, edited by Juergen Dix, Joao Leite, and Ken Satoh. Kluwer Academic Publishers, 2004. cited by...

Technical papers [demos & reports] [books] [vision & overview papers]

2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 [prehistoric rocks] [vision & overview papers] [books] [top]

pdf download Nefise Yaglikci and Paolo Torroni. Microdebates App for Android: A tool for participating in argumentative online debates using a handheld device. In Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014), Limassol, Cyprus, November 10-12, 2014. @ IEEE

2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 [prehistoric rocks] [vision & overview papers] [books] [top]

pdf download Simone Gabbriellini and Paolo Torroni. A new framework for ABMs based on argumentative reasoning. In Proceedings of the 9th Conference of the European Social Simulation Association (ESSA 2013), Warsaw, Poland, September 16-20, 2013. @ Springer

pdf download Simone Gabbriellini and Paolo Torroni. Abstract argumentation for agent-based social simulations. In Proceedings of the 10th International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2013), Saint Paul, Minnesota, US, May 6-10, 2013, pp. 1-14. [slides] 

pdf download Simone Gabbriellini and Paolo Torroni. MS Dialogues: Persuading and getting persuaded. A model of social network debates that reconciles arguments and trust. In Proceedings of the 10th International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2013), Saint Paul, Minnesota, US, May 6-10, 2013, pp. 15-36. [slides] 

pdf download Simone Gabbriellini and Paolo Torroni. NetArg: an agent-based social simulator with argumentative agents (demonstration). In Proceedings of the 12th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), Saint Paul, Minnesota, US, May 6-10, 2013. IFAAMAS [video]

pdf download Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Representing and monitoring social commitments using the event calculus. Autonomous Agents and Multi-Agent and Systems, Vol. 27, No. 1, pp. 85-130. @ Springer, July 2013. Online since 22 June 2012. cited by...

pdf download Simone Gabbriellini and Paolo Torroni. Arguments in social networks (extended abstract). In Proceedings of the 12th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2013), Saint Paul, Minnesota, US, May 6-10, 2013. IFAAMAS [poster]

2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 [prehistoric rocks] [vision & overview papers] [books] [top]

pdf download Simone Gabbriellini and Paolo Torroni. Large-scale agreements via microdebates. In Proceedings of the 1st International Conference on Agreement Technologies (AT 2012), Dubrovnik, Croatia, October 15-16, 2012. CEUR Workshop Proceedings, Vol. 918, pp. 366-377. ISSN 1613-0073 [slides] 

pdf download Simone Gabbriellini and Paolo Torroni. Microdebates for policy-making. Work presented at the 3rd International Conference on Computational Sustainability (CompSust'12), Copenhagen, Denmark, July 4-6, 2012. [paper, poster, slides]. cited by...

pdf download 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.

pdf download Francesca Toni and Paolo Torroni. Bottom-up argumentation. In Proceedings of the First 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. cited by...

2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 [prehistoric rocks] [vision & overview papers] [books] [top]

pdf download Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Monitoring time-aware commitments within agent-based simulation environments. Cybernetics and Systems, Vol. 42, No. 7, pp. 546-566. Taylor & Francis, October 2011.

pdf download 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.

pdf download 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.

pdf download 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.

pdf download 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.

pdf download 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.

pdf download 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, September 2011. Online since May 14, 2010.

pdf download Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions. Intelligenza Artificiale, the International Journal of the AIxIA, Vol. 5, No. 1, pp. 101-105. IOS Press, February 2011.

2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 [prehistoric rocks] [vision & overview papers] [books] [top]

pdf download 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.

pdf download Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Evelina Lamma, and Paola Mello. Abductive logic programming as an effective technology for the static verification of declarative business processes. Fundamenta Informaticae, Vol. 102, Nos. 3-4, pp. 325-361. IOS Press, November 2010.

pdf download Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni. A logic-based, reactive calculus of events. Fundamenta Informaticae, Vol. 105, Nos. 1-2, pp. 135-161. IOS Press, 2010. cited by...

pdf download Federico Chesani, Paola Mello, Marco Montali, Sergio Storari, and Paolo Torroni. On the integration of declarative choreographies and commitment-based agent societies into the SCIFF logic programming framework. Multiagent and Grid Systems, Vol. 6, No. 2, pp. 165-190. IOS Press, June 2010.

pdf download Ozgur Kafali, Federico Chesani, and Paolo Torroni. What happened to my commitment? Exception diagnosis among misalignment and misbehavior. In Computational Logic in Multi-Agent Systems (CLIMA XI), Lisbon, Portugal, August 16-17, 2010, LNCS 6245, pp. 82-98. Springer-Verlag, 2010.

pdf download Federico Chesani, Marco Montali, Paola Mello, and Paolo Torroni. Role monitoring in open agent societies. In Proceedings of the 4th International KES Symposium on Agents and Multi-agent Systems — Technologies and Applications (KES-AMSTA), Gdynia, Poland, June 23-25, 2010, Part I, LNCS 6070, pp. 112-121. Springer-Verlag, 2010.

pdf download 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.

2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 [prehistoric rocks] [vision & overview papers] [books] [top]

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

pdf download 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

pdf download 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 AAAI cited by...

pdf download Paolo Torroni, Federico Chesani, Paola Mello, and Marco Montali. Social commitments in time: satisfied or compensated. In 7th International Workshop on Declarative Agent Languages and Technologies (DALT), Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. LNCS 5498, pp.228-243, Springer-Verlag, 2009. cited by...

pdf download Paolo Torroni, Pinar Yolum, Munindar P. Singh, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola Mello. Modelling interactions via commitments and expectations. Chapter in Virginia Dignum, ed., Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, chapter 11, pages 263-284. IGI Global, Hershey, Pennsylvania, March 2009. ISBN: 978-1-60566-256-5 IGI Global Publisher's Web site cited by...

2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 [prehistoric rocks] [vision & overview papers] [books] [top]

pdf download 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.

pdf download Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola Mello. Verification from declarative specifications using logic programming. In Proceedings of the 24th International Conference on Logic Programming (ICLP), Udine, Italy, December 9-13, 2008. LNCS 5366, pp. 440-454, Springer-Verlag, 2008. (LIA Technical Report 08-004) cited by...

pdf download Marco Montali, Federico Chesani, Paola Mello, and Paolo Torroni. Verification of choreographies during execution using the Reactive Event Calculus. In Proceedings of the 5th International Workshop on Web Services and Formal Methods (WS-FM), Milano, Italy, September 4-5, 2008. LNCS 5387, pp. 55-72, Springer-Verlag, 2008. cited by...

pdf download Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transaction on Computational Logic (ToCL), Vol. 9, No. 4, Article 29, August 2008. ACM, 2008. cited by...

pdf download 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...

pdf download Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni and Nicola Zannone. B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modelling and verification. 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 11-12, 2007, LNAI 5056, pp. 157-176. Springer-Verlag, 2008. Based on a presentation given at the Fourth Italian Conference on Computational Logic (CILC), held in Messina, Italy, on June 21-22, 2007. Online proceedings on the CILC 2007 web site.

2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 [prehistoric rocks] [vision & overview papers] [books] [top]

pdf download Paolo Torroni, Marco Gavanelli and Federico Chesani. Argumentation in the semantic Web. IEEE Intelligent Systems, Vol. 22, Issue 6, Nov-Dec'07, pp. 66-74. Special Issue on Argumentation Technology, edited by Iyad Rahwan and Peter McBurney. IEEE, 2007. cited by...

pdf download 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.

pdf download Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, and Paolo Torroni. A computational logic-based approach to verification of IT systems. In Heinz-Gerd Hegering, Helmut Reiser, Michael Schiffers, and Thomas Nebe, eds., Proceedings of the 14th HP Software University Association Workshop (HP-SUA), Garching/Munich, Germany, July 11-14, 2007. Managebright, Fort Collins, CO, 2007. ISBN 3000216901. Slides.

pdf download 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 fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. ISSN 1862-4405. Online proceedings on the DROPS web site maintained by Schloss Dagstuhl.

pdf download Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. A rule-based approach for reasoning about collaboration between smart Web services. In Massimo Marchiori, Jeff Z. Pan, and Christian de Sainte Marie, eds., Proceedings of the 1st International Conference on Web Reasoning and Rule Systems (RR), Innsbrueck, Austria, June 7-8, 2007. LNAI 4524, pp. 279-288. Springer-Verlag, 2007.

pdf download Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. Web service contracting: specification and reasoning with SCIFF. In Enrico Franconi, Michael Kifer, and Wolfgang May, eds., Proceedings of the 4th European Semantic Web Conference (ESWC), Innsbrueck, Austria, June 3-7, 2007. LNAI 4519, pp. 68-83. Springer-Verlag, 2007. cited by...

pdf download 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.

2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 [prehistoric rocks] [vision & overview papers] [books] [top]

Paolo Torroni. Multi-agent agreements about actions through argumentation. In Paul E. Dunne and Trevor J.M. Bench-Capon, eds., Computational Models of Argument, Proceedings of COMMA 2006. Frontiers in Artificial Intelligence and Applications series, Vol. 144, pp. 323-328. IOS Press, 2006. ISBN 1-58683-652-1, ISSN 0922-6389.

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, Evelina Lamma, Marco Gavanelli, Paola Mello, Marco Montali, Sergio Storari, and Paolo Torroni. Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool. In Mario Bravetti, Manuel Nunez, and Gianluigi Zavattaro, eds., Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM'06), Vienna, Austria, September 8-9, 2006, LNAI 4184, pp. 58-72. Springer-Verlag, 2006. cited by...

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, Marco Gavanelli, Evelina Lamma, Paola Mello, Giovanni Sartor, and Paolo Torroni. Mapping deontic operators to abductive expectations. In Computational and Mathematical Organization Theory, Vol. 12, Nos. 2-3, pp. 205-225 Springer Netherlands, October 2006. 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 Joerg P. Mueller. @ 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 the 6th International Workshop "Engineering Societies in the Agents' World" (ESAW'05), October 26-28, 2005, LNAI 3963, pp. 106-124. Springer-Verlag, 2006. Based on a presentation given at the Second Italian Conference on Computational Logic (CILC 2005), held at Universita'­  degli Studi di Roma Tor Vergata on June 21-22 2005. Online proceedings edited by Alberto Pettorossi, Maurizio Proietti, and Valerio Senni on the CILC 2005 web site.

Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and verification of agent interaction using abductive reasoning (tutorial paper). In Computational Logic in Multi-agent Systems VI, LNAI 3900, pp. 243-264 Springer-Verlag, 2006.

2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 [prehistoric rocks] [vision & overview papers] [books] [top]

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, 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. cited by...

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 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 integrita'  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, 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. cited by...

2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 [prehistoric rocks] [vision & overview papers] [books] [top]

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, Universita'­  di Parma.

Antonis Kakas, Paolo Torroni, and Neophytos Demetriou. Agent planning, negotiation, and control of operation. In Ramon Lopez de Mantaras 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 on The 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, and Paolo Torroni. An abductive framework for information exchange in multi-agent systems. In Juergen Dix and Joao 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 Universita'¤t Clausthal Technical Report series, Band 1 Heft 5, pp. 4-21, January 2003. ISBN 3-89720-688-9. cited by...

Andrea Bracciali and Paolo Torroni. A new framework for knowledge revision of abductive agents through their interaction (preliminary report). In Juergen Dix and Joao 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 Universita'¤t Clausthal Technical Report series, Band 1 Heft 5, pp. 143-161, January 2003. ISBN 3-89720-688-9. cited by...

Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Modeling interactions using social integrity constraints: a resource sharing case study. In Joao 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.

[recent papers] 2003 2002 2001 2000 1999 [vision & overview papers] [books] [top]

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. Universita'­  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. A social ACL semantics by deontic constraints. In Vladimir Marik, Joerg Mueller, 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. 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 Juergen Dix, Fariba Sadri, and Ken Satoh. @ Kluwer Academic Publishers, January 2003. ISSN 1012-2443. cited by...

[recent papers] 2003 2002 2001 2000 1999 [vision & overview papers] [books] [top]

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

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, Vol 78, pp. 119-120. IOS Press, Ohmsha, 2002.

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

[recent papers] 2003 2002 2001 2000 1999 [vision & overview papers] [books] [top]

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

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

[recent papers] 2003 2002 2001 2000 1999 [vision & overview papers] [books] [top]

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.

[recent papers] 2003 2002 2001 2000 1999 [vision & overview papers] [books] [top]

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.

Demos & reports [books] [vision & overview papers] [technical papers]

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, Universita'­  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 Complessita'­ . 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 Complessita'­ . 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, Universita'­  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 Juergen Dix, Joao 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, Universita'­  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, Universita'­  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, Universita'­  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, Universita'­  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.

ACM Copyright Notice: Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee.
IEEE Copyright Notice: Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Springer Copyright Notice (LNCS): Publication on the author's personal Web page is permitted, provided that the author creates a link to the volume of LNCS at the Springer-Verlag server or to the LNCS series Homepage and that together with the electronic version it is clearly pointed out, by prominently adding " Springer-Verlag", that the copyright for this contribution is held by Springer.


 

Paolo Torroni's Home Page

Books


Paolo Torroni's Home Page

Publications links

DBLP (faceted) (linked data)

AI@UniBO

citeseer (documents)

citeseer (citations)

citeseerX

H-INDEX (Hirsch Number) and Egghe's G-INDEX by QuadSearch H- & G-index (QuadSearch)

SpringerLink

Scopus

ACM Portal

CSB

Scientific Commons

eventseer

my coauthors

google

google related pages

google scholar

Libra microsoft Academic search

Libra arnetminer.org

Libra iAmResearcher.com

AgentLink EPrints

DEIS-LIA technical reports

BibTeX entries (SOCS) (AI@UniBO)

some articles citing my work


Paolo Torroni's Home Page

Technology marketplace

Multi-Agent protocols & verification

Agents & Web services

Web service composition & interoperability


Schools

Go to ISCL ISCL 2011

Go to DALT School Web Site DALT School 2011


Quick links

Rete 29 Aprile In Italian Rete 29 Aprile

My Faculty Member's web site

The SOCS project

FuturICT (Italian hub)

The TwitterArg NetLogo model

The NetArg NetLogo model

The ALIAS architecture

The SCIFF proof-procedure

CLIMB

jREC

LIA home page

DEIS home page

GULP home page

ALP Newsletter

DALT '03, '04, '05, '06, '07, '08, '09, '10, '11, '12

The CLIMA Workshop Series

CLIMA V, VI, ..., XII, XIII, XIV

ArgNMR @ LPNMR 2007

LADS @ Agents'007,'009


Journals

Go to JUST web site Fundamenta Informaticae

Go to JUST web site Unmanned Systems Technology (JUST)

Go to CPCS web site Conference Papers in Computer Science


Newsletters

Go to CPCS web site ALP Newsletter


Books

Go to book ToC CLIMA XII LNAI 6814 (1K+ downloads)

Go to book ToC GULP 25Y LNAI 6125 (8K+ downloads)

ALMALIBeRI BookCrossing @ UniBO


Open and future calls Go to ConfSearch ConfSearch

Go to AAMAS 2014 AAMAS (submit by Oct 8, 2013)

Go to ECAI 2014 ECAI (Aug 2013; dates TBA)


Future events Go to ConfSearch ConfSearch

Go to ICLP 2013ICLP (Istanbul, Turkey, Aug 2013)

Go to CLIMA XIVCLIMA/LPNMR (Corunna, Spain, Sep 2013)


Teaching

go Real-Time Operating Systems M (lab)

go In Italian Informatica Grafica (09/10 11/12)

Erasmus in Turchia In Italian Scambi Erasmus con la Turchia

tesi Italian only Tesi di laurea e progetti

Fond info & lab T-AB (08/09)

Fond info L-A (05/06 06/07 07/08)

Guide web

Alma esami



Paolo Torroni's Home Page

 Last modified Friday, 23-Oct-2015 10:18:52 CEST