Paolo Torroni's Curriculum Vitae

About me

I am an assistant professor at DISI, University of Bologna. My recent research interests are:

artificial intelligence

autonomous agents and multi-agent systems

computational logics, (abductive) logic programming, hypothetical and temporal reasoning

argumentation, dialogue, and online debate

social aspects of multi-agent systems, normative reasoning and agent communication

interaction protocols, open systems, declarative specifications and verification

Short curriculum vitae

Education

2002: PhD (Dottorato di Ricerca) in Electronic and Computer Science Engineering at DEIS: "Reasoning and interaction in logic-based multi-agent systems". Supervisors: Prof. M. Boari and Prof. P. Mello

1998: MEng (Diploma di Laurea) in Computer Science Engineering: "Contract Net Protocol per la pianificazione in sistemi robotici". Supervisors: Prof. D. Maio and Prof. S. Rizzi

Stays abroad ( more than 4 weeks )

2003: 2 months at the University of Uppsala, Department of Information Science, as an academic visitor

2002: 3 months at Imperial College, Department of Computing, within the SOCS project, as an academic visitor

2000-2001: 6 months at Imperial College, Department of Computing, as an occasional PhD student

1995-1996: 1 year at Universidade Técnica de Lisboa, Istituto Superior Técnico, Lisbon, as an Erasmus student (undergraduate student).

Schools attended

2002: CP-AI-OR school on Optimization, Le Croisic.

2000: International School on Computational Logics, Maratea.

1999: First European Agent Systems Summer School, Utrecht.

Invited talks and tutorials

2010: Declarative technologies for open agent systems and beyond. KES-AMSTA, Gdynia, Poland, June 2010.

2004: Introduzione ai sistemi multi-agente basati su logica computazionale. Tutorial at the 19th Annual Meeting of the Italian Association of Researchers and Users of Logic Programming, "Associazione Italiana Gruppo Ricercatori e Utenti di Logic Programming" (GULP), Parma, June 16, 2004.

2003: An Introduction to Logic-Based Multi-Agent Systems. Tutorial at the 8th Italian Congress on Artificial Intelligence, AI*IA, Pisa, September 23, 2003.

Current and past activities

Editorial activity:

Fundamenta Informaticae, an international journal reporting on the mathematical foundations of computer science, published as Series IV in the Annals of Polish Mathematical Society (PTM). Fundamenta Informaticae is published in both printed and electronic form by IOS Press, under the auspices of European Association for Theoretical Computer Science (EATCS).

ALP Newsletter, the Newsletter of the Association of Logic Programming. Applications of Logic Programming Area Editor, together with Marco Gavanelli.

Journal of Unmanned System Technology (JUST), member of the Editorial Board. JUST is the second official journal of ISIUS the International Society of Intelligent Unmanned Systems. It is an open-access online journal delivered on a responsive web template.

Conference Papers in Computer Science, member of the Editorial Board. Conference Papers in Computer Science is part of the Hindawi's Conference Papers in Science series of peer-reviewed, open access journals that are designed to provide a fast peer review process for all submitted manuscripts.

Faculty committees:

Doctorate School in ICT and Law (Diritto e Nuove Tecnologie), University of Bologna. Member of the Faculty committee (as of 2014).

International Master Degree in Automation Engineering, University of Bologna and Tongji University of Shanghai. Member of the Faculty committee (since 2013).

Bachelor/Master Degree in Architecture and Building Engineering, University of Bologna. Member of the Faculty committee (2009-2012).

Bachelor Degree in Telecommunication Engineering, University of Bologna. Member of the Faculty committee (2006-2008).

Bachelor Degree in Automation Engineering, University of Bologna. Member of the Faculty committee (2005-2006, 2008-2009).

Bachelor Degree in Electronic Engineering, University of Bologna. Member of the Faculty committee (2005-2008).

Steering committees:

GULP - Gruppo Ricercatori e Utenti di Logic Programming [GULP members]. Member of the Executive Board (2003-2012), and Secretary (12/2005-12/2012).

CLIMA, the International Workshop on Computational Logic in Multi-Agent Systems. Member of the Steering Committee (11/ 2002-02/2012).

DALT, the International Workshop on Declarative Agent Languages and Technologies. Co-founder and member of the Steering Committee (11/2002-02/2012).

CISWN, the International Workshop on Collective Intelligence in Semantic Web and Social Networks. Member of the Steering Committee (2008).

Chairing and organizing committees:

Argumentation Technologies, a Special Session of the CLIMA International Workshop on Computational Logic in Multi-Agent Systems. Co-chair of the CLIMA XIV 2013 edition together with S. Woltran.

ISCL, the International ALP/GULP Spring School on Computational Logic. Co-organizer of ISCL 2011, together with M. Gabbrielli.

DALT School, the International Spring School on Declarative Agent Languages and Technologies. Co-organizer of DALT School 2011, together with A. Omicini.

LADS, the International Workshop on Languages and Development Tools for Multi-Agent Systems. Co-chair of LADS 007 and LADS 009, together with M. Dastani, A. El Fallah Segrouchni, and J. Leite.

ArgNMR, the International Workshop on Argumentation and Non-Monotonic Reasoning. Co-chair of ArgNMR 2007, together with G. Simari.

CLIMA, the International Workshop on Computational Logic in Multi-Agent Systems. Co-chair of CLIMA V 2004 and CLIMA XII 2011, together with J. Leite, and co-organizer of CLIMA VI 2005 together with F. Toni.

ArgNMR, the International Workshop on Argumentation and Non-Monotonic Reasoning. Co-chair of ArgNMR 2007, together with G. Simari.

DALT, the International Workshop on Declarative Agent Languages and Technologies. Co-chair of DALT 2003, together with J. Leite, A. Omicini, and L. Sterling, DALT 2004, together with J. Leite, A. Omicini, and P. Yoluim, and DALT 2005, together with M. Baldoni, U. Endriss, and A. Omicini.

AAMAS'02, 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems. Member of the local organization committee.

Program Committees:

International Joint Conference on Artificial Intelligence: IJCAI 2013 and Doctoral Consortium (Beijing, China, Aug 2013), IJCAI 2011 (Barcelona, Spain, Jul 2011), IJCAI 2009 (Pasadena, CA, US, Jul 2009), IJCAI 2005 (Edinburgh, Scotland, Jul/Aug 2005, reviewer).

European Conference on Artificial Intelligence: ECAI 2006 (Riva del Garda, Italy, Aug/Sep 2006).

Australian Joint Conference on Artificial Intelligence: AI 2007 (Gold Coast, Queensland, Dec 2007).

International Conference on Logic Programming: ICLP 2013 (Istanbul, Turkey, August 2013), ICLP 2008 (Udine, Italy, Dec 2008), ICLP Doctoral Consortium 2006 (Seattle, WA, US, Aug 2006).

International Conference on Computational Models of Argument: COMMA 2012 (Vienna, Austria, Sep 2010), COMMA 2010 (Desenzano del Garda, Italy, Sep 2010), COMMA 2008 (Toulouse, France, May 2008), COMMA 2006 (Liverpool, UK, Sep 2006).

European Conference on Logics in Artificial Intelligence: JELIA 2006 (Liverpool, UK, Sep 2006), JELIA 2004 (Lisbon, Portugal, Sep 2004).

International Conference on Principles and Practice of Multi-Agent Systems: PRIMA 2013 (Dunedin, New Zealand, Sep 2013, Senior PC), PRIMA 2012 (Kuching, Sarawak, Malaysia, Sep 2012, Senior PC).

International Joint Conference on Autonomous Agents and Multi-Agent Systems: AAMAS 2013 (Saint Paul, Minnesota, US, May 2013, Senior PC), AAMAS 2011 (Taipei, Taiwan, May 2011, Senior PC), AAMAS 2010 (Toronto, Canada, May 2010), AAMAS 2009 (Budapest, Hungary, May 2009), AAMAS 2007 (Honolulu, Hawaii, US, May 2007), AAMAS 2006 (Hakodate, Japan, May 2006), AAMAS 2005 (Utrecht, The Netherlands, Jul 2005), AAMAS 2004 (New York, US, Jul 2004), AAMAS 2003 (Melbourne, Australia, Jul 2003).

International Conference on Practical Applications of Agents and Multi-Agent Systems: PAAMS 2013 (Salamanca, Spain, May 2013), PAAMS 2012 (Salamanca, Spain, Mar 2012), PAAMS 2011 (Salamanca, Spain, Apr 2011), PAAMS 2010 (Salamanca, Spain, Apr 2010), PAAMS 2009 (Salamanca, Spain, Mar 2009).

Portuguese Conference on Artificial Intelligence, Thematic Track on Multi-Agent Systems Theory and Applications: MASTA@EPIA 2013 (Açores, Portugal, Sep 2013), MASTA@EPIA 2011 (Lisbon, Portugal, Oct 2011).

International Workshop on Languages and Development Tools for Multi-Agent Systems: LADS 010 (Lyon, France, Sep 2010).

International Conference on Electronic Commerce and Web Technologies: EC-Web 2011 (Toulouse, France, Aug/Sep 2011).

International Conference on Ambient Systems, Networks and Technologies: ANT 2010 (Paris, France, Nov 2010).

International Symposium on Computer and Information Sciences: ISCIS 2009 (METU Northern Cyprus Campus, Turkey, Sep 2009).

AAAI 2009 Fall Symposium on The Uses of Computational Argumentation: AAAI F.S. 2009 (Washington D.C., US, Nov 2009).

International Symposium on Practical Aspects of Declarative Languages: PADL 2010 (Madrid, Spain, Jan 2010).

European Workshop on Multi-Agent Systems: EUMAS 2007 (Hammamet, Tunisia, Dec 2007), EUMAS 2004 (Barcelona, Spain, Dec 2004), EUMAS 2003 (Oxford, UK, Sep 2003).

NMR Special Session on Argument, Dialog and Decision: NMR 2010 (Toronto, Canada, May 2010).

AI*IA Workshop on Argumentation in Artificial Intelligence and Philosophy: ARGAIP 2013 (Torino, Italy, Dec 2013), ARGAIP 2010 (Brescia, Italy, Dec 2010).

JSAI-isAI Workshop on Argument for Agreement and Assurance: AAA 2013 (Kanagawa, Japan, Oct 2013).

LPNMR Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge: ARCOE-LogIC 2011 (Corunna, Spain, Sep 2013).

LPNMR Workshop on Logic-Based Interpretation of Context: Log-IC 2011 (Vancouver, Canada, May 2011).

ICLP Workshop on Logic Programming and Multi-Agent Systems: LPMAS 2011 (Lexington, Kentucky, USA, Jul 2011).

ICLP Workshop on Answer Set Programming and Other Computing Paradigms: ASPOCP 2010 (Edinburgh, UK, Jul 2010).

International Workshop on Computational Logic in Multi-Agent Systems: CLIMA XI @ ECAI 2010 (Lisbon, Portugal, Aug 2010), CLIMA VIII @ ICLP 2007 (Porto, Portugal, Sep 2007), CLIMA VII @ AAMAS 2006 (Hakodate, Japan, May 2006), CLIMA VI 2005 (London, UK, Jun 2005), CLIMA V @ JELIA 2004 (Lisbon, Portugal, Sep 2004), CLIMA IV @ LPNMR and AI-Math (Fort Lauderdale, FL, Jan 2004), CLIMA 2002 @ FLoC (Copenhagen, Denmark, Aug 2002).

AAMAS Workshop on Engineering Multi-Agent Systems: EMAS 2013.

AAMAS Workshop on Programming Multi-Agent Systems: ProMAS 2011, ProMAS 2010, ProMAS 2009, ProMAS 2008, ProMAS 2007, ProMAS 2006, ProMAS 2005, ProMAS 2004.

AAMAS Workshop on Argumentation in Multi-Agent Systems: ArgMAS 2013, ArgMAS 2012, ArgMAS 2011, ArgMAS 2010, ArgMAS 2009, ArgMAS 2008, ArgMAS 2007, ArgMAS 2006, ArgMAS 2005, ArgMAS 2004.

International Workshop on Agent Technology for Ambient Intelligence, in conjunction with CSCS: AgTAmI 2013 (Bucharest, Romania, May 2013).

AAMAS Workshop on Agent Communication: AC 2010.

MALLOW Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems: COIN@MALLOW2010.

International Workshop on Multi-Agent Systems Technology and Semantics: MASTS 2009 (Bucharest, Romania, May 2009).

International Workshop on Intelligent Agent Technology, Power Systems and Energy Markets: IATEM 2013 (Prague, Czech Republic, Aug 2013), IATEM 2012 (Vienna, Austria, Sep 2012).

International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion: RCRA 2010 (Bologna, Italy, Jun 2010).

AI*IA Symposium on Artificial Intelligence: AI*IA Doctoral Consortium 2010 (Brescia, Italy, Dec 2010).

CAiSE/WISE Workshop on Governance, Risk and Compliance in Information Systems: GRCIS @ CAiSE 2010 (Hammamet, Tunisia, Jun 2010), GRCIS @ CAiSE 2009 (Amsterdam, The Netherlands, Jun 2009), GRCIS @ CAiSE 2008 (Montpellier, France, Jun 2008), GRCWIS @ WISE 2007 (Nancy, France, Dec 2007).

International Workshop on Agent Based Computing: ABC:MI 2013 @ MATES+JAWS (Koblenz, Germany, Sep 2013), ABC:MI 2012 (Wroclaw, Poland, Sep 2012), ABC:MI 2011 (Szczecin, Poland, Sep 2011), ABC:MI 2010 (Wisla, Poland, Oct 2010), ABC:MI 2009 (Patras, Greece, Aug 2009), ABC V 2008 (Wisla, Poland, Oct 2008), ABC IV 2007 (Wisla, Poland, Oct 2007).

AAMAS Workshop on Agent-Based Ubiquitous Computing: ABUC @ AAMAS 2007.

CANADIAN AI Workshop on Agents and Multi-Agent Systems, from Theory to Application: AMTA 2006 (Québec City, Québec, Canada, Jun 2006).

International Workshop on Conceptual Modelling for Agents: CoMoA 2004 (Shangai, China, Nov 2004).

WET ICE'00, IEEE Ninth International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises. Maryland, USA, June 14-16, 2000.

Convegno Italiano di Logica Computazionale: CILC 2013 (Catania, Sep 2013). CILC 2012 (Roma, Jun 2012), CILC 2010 (Rende, Jun 2010), CILC 2006 (Bari, Jun 2006), CILC 2005 (Roma, Jun 2005).

Workshop dagli Oggetti agli Agenti: WOA 2006 (Catania, Sep 2006).

Gruppo di lavoro dell'AI*IA su Rappresentazione della Conoscenza e Ragionamento Automatico: RCRA'05 (Ferrara, Jun 2005).

Peer Reviews:

PhD/MSc Thesis (opponent): Elisa Marengo (2012, University of Turin), Iara Almeida (PhD 2011, University of Evora), Joao Martins (MSc 2010, New University of Lisbon), Benjamin Hirsch (PhD 2005, University of Liverpool).

Proposal reviewer: EU FP7 ICT STREP, Swiss National Science Foundation SER COST, Luxembourg National Research Fund FNR INTER, Chile's Superior Council of the National Fund for Scientific & Technological Development (FONDECYT).

Journal reviewer: Artificial Intelligence, ACM Transactions on Autonomous and Adaptive Systems, Journal of Artificial Intelligence Research, Data and Knowledge Engineering, Journal of Intelligent Systems, Theory and Practice of Logic Programming, Autonomous Agents and Multi-Agent Systems, Argument and Computation, Journal of Logic and Computation, Fundamenta Informaticae, Annals of Mathematics and Artificial Intelligence, IEEE Intelligent Systems, Applied Artificial Intelligence, Progress in Artificial Intelligence.

Book chapter reviewer: Essays in Honour of Marek Sergot (LNCS 7360, Springer 2012), A 25-Year Perspective on Logic Programming (LNCS 6125, Springer 2010), Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models (IGI Global 2009).

Conference reviewer: ESWC PhD Symposium'13, ICLP'12, AIME'11, DALT'11, JELIA'10, ICLP'09, AIME'09, Didamatica'08, Didamatica'07, AICA'06, MICAI'05, IEA-AIE'05, ECAI'04, ICLP'04, ICTCS'03, SAC'03, ICLP'03, AI*IA'03, ICLP'02, AAMAS'02, AI*IA'01, MAAMAW'01, SAC'00, ESAW'00, AGP'00

Appointments

In 2004, by decree of the Rector of the University of Bologna, Prof. Pier Ugo Calzolari, I was appointed assistant professor (ricercatore) in information processing systems (S.S.D. ING-INF/05, "Sistemi di elaborazione delle informazioni").

In 2007, I have been appointed Senior Lecturer at the University of Uppsala, Sweden.

In 2008, my tenureship (conferma in ruolo) was approved by the national evaluation committee for ING-INF/05.

Grants

2002-2005: post-doc fellowship (assegno di ricerca) by the University of Bologna and the Europear Union: "Un modello logico computazionale per la descrizione, analisi e verifica di società aperte e globali di agenti logici eterogenei". Tutor: Prof. M. Boari

2001-2002: post-doc fellowship (assegno di ricerca) by the University of Bologna: "Realizzazione di architetture multi-agente per la pianificazione in sistemi distribuiti". Tutor: Prof. P. Mello

1998-2001: PhD scholarship (borsa di dottorato) in Computer Science Engineering by the University of Bologna (DEIS, Corso di dottorato in Ingegneria Elettronica ed Informatica, XIV ciclo): "Agenti intelligenti: interazione e acquisizione di conoscenza". Supervisors: Tutor: Prof. M. Boari

Current and past projects

2006-2009: FIRB National TOCAI.IT project on "Knowledge-oriented technologies for enterprise aggregation in Internet", coordinator M. Lenzerini.

2006-2007: PRIN National project on "Specification and verification of agent interaction protocols", coordinator A. Martelli.

2004-2005: MIUR 40% National project on "Development and verification of logic-based multi-agent systems", coordinator A. Martelli.

2002-2004: 5FP EU IST-FET SOCS project on "Societies Of ComputeeS: a computational logical model for the description, analysis and verification of global and open societies of heterogeneous computees", coordinator F. Toni.

1998-2000: MURST 40% project on "Agenti Intelligenti: Interazione e Acquisizione di conoscenza" (Intelligent Agents: Interaction and Knowledge Acquisition), coordinator F. Turini.

1996-1998: MURST 40% project on "Rappresentazione della conoscenza e meccanismi di ragionamento", coordinator A. Martelli.

Prizes and awards

2011: best of DALT 2003-2010 with paper "Social commitments in time: satisfied or compensated" [retrospective]

2010: AT2AI best paper award with paper "Monitoring time-aware social commitments with Reactive Event Calculus"

2001: ATAL best paper award with paper "Dialogues for negotiation: agent varieties and dialogue sequences"

Teaching activity

2005-present: Lecturer of various Computer Science Fundamentals and Operating Systems courses (Faculty of Engeneering, Bologna)

2004-2005: Tutor of Lab of Computer Science Fundamentals

1999-2004: Tutor of Operating Systems

1999-2000: Tutor of Computer Science Fundamentals

Modern language skills

Italian, native speaker.

English and Portuguese, fluent.

French, German, Spanish, and Turkish, working knowledge.

Contact

Dr. Paolo Torroni
Dipartimento di Informatica: Scienza e Ingegneria (DISI)
Artificial Intelligence Group
University of Bologna
Viale del Risorgimento, 2
40136 BOLOGNA, Italy
office: +39 051 209 3767
fax: +39 051 209 3869