About me

         

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

bullet 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

bullet interaction protocols, open systems, declarative specifications and verification

Download short bio

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

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

bullet 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 open access journals designed to provide a fast peer review process.

ISRN Software Engineering, member of the Editorial Board, until December 2013.

Faculty Committees:

Doctorate School in ICT and Law (Diritto e Nuove Tecnologie, XXIX Ciclo), University of Bologna. Member of the Faculty committee (since 2013).

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:

AAMAS, the International Joint Conference on Autonomous Agents and Multi-Agent Systems. Demo co-chair for AAMAS 2015, together with Karl Tuyls. Member of the local organization committee of AAMAS 2002.

ECAI, the European Conference on Artificial Intelligence. Tutorial co-chair for ECAI 2014, together with A. Dovier.

Argumentation Technologies, a Special Session of the CLIMA International Workshop on Computational Logic in Multi-Agent Systems. Session co-chair for CLIMA XIV, in 2013, 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 the DALT School, in 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.

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

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, with J. Leite, A. Omicini, and P. Yoluim, and DALT 2005, with M. Baldoni, U. Endriss, and A. Omicini.

Senior Program Committees:

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

International Joint Conference on Autonomous Agents and Multi-Agent Systems: AAMAS 2014 (Paris, France, May 2014), AAMAS 2013 (Saint Paul, Minnesota, US, May 2013), AAMAS 2011 (Taipei, Taiwan, May 2011).

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 Biennal Conference on Computational Models of Argument: COMMA 2014 (Scottish Highlands, Sep 2014), COMMA 2012 (Vienna, Austria, Sep 2012), 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 Joint Conference on Autonomous Agents and Multi-Agent Systems: AAMAS 2014 Demo Session (Paris, France, May 2014), 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 2015 (Salamanca, Spain, Jun 2015), PAAMS 2014 (Salamanca, Spain, Jun 2014), PAAMS 2013 (May 2013), PAAMS 2012 (Mar 2012), PAAMS 2011 (Apr 2011), PAAMS 2010 (Apr 2010), PAAMS 2009 (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 2014 (Prague, Czech Republic, Dec 2014), 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 2014 (Linköping, Sweden, Nov 2014), ARCOE-LogIC 2013 (Corunna, Spain, Sep 2013), formerly 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 XV @ ECAI 2014 (Prague, Czech Republic, Aug 2014), 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 Multiagent Foundations of Social Computing: SC-AAMAS 2014.

AAMAS Workshop on Engineering Multi-Agent Systems: EMAS 2014, 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 2014, 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.

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

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

International Workshop on Multi-agent based Applications for Smart Grids and Sustainable Energy Systems: MASGES 2014 (Salamanca, Spain, Jun 2014).

International Workshop on Intelligent Agent Technology, Power Systems and Energy Markets: IATEM 2014 (Munich, Germany, Sep 2014), 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 2014 (Vienna, Austria, Jul 2014), 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 2014 (Warszawa, Poland, Sep 2014), 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 2014 (Torino, Jun 2014), 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), University of Verona. 

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, Artificial Intelligence Review.

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: ICTCS 2014, AI*IA 2013, 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").

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

bullet 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


2013: nomination for the best SPC award for PRIMA 2013.

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"

bullet 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, Portuguese, and Turkish: fluent.

French, German, and Spanish: 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

 

e-mail:

 



 

Paolo Torroni's Home Page

Books


Paolo Torroni's Home Page

Curriculum Vitae

in English (pdf) (ps) (dvi)

in Italian (pdf) (ps) (dvi)


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 2013 ICLP (Istanbul, Turkey, Aug 2013)

Go to CLIMA XIV CLIMA/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 Thursday, 11-Sep-2014 14:04:54 CEST