Edit Profile Torroni, Paolo Compute Distance To: Compute Author ID: torroni.paolo Published as: Torroni, P.; Torroni, Paolo External Links: ORCID Documents Indexed: 49 Publications since 2000, including 8 Books all top 5 Co-Authors 2 single-authored 20 Mello, Paola 15 Lamma, Evelina 10 Alberti, Marco 10 Gavanelli, Marco 9 Chesani, Federico 7 Leite, João 7 Montali, Marco 6 Toni, Francesca 5 Ciampolini, Anna 3 Kafalı, Özgür 3 Son, Tran Cao 2 Ågotnes, Thomas 2 Baldoni, Matteo 2 Bistarelli, Stefano 2 Boella, Guido 2 Chen, Qingliang 2 Dastani, Mehdi M. 2 Maratea, Marco 2 Omicini, Andrea 2 Sadri, Fariba 2 van der Torre, Leon 2 Villata, Serena 2 Woltran, Stefan 1 Alberola, Juan M. 1 Andrejczuk, Ewa 1 Bădică, Costin 1 Baroglio, Cristina 1 Barruffi, Rosy 1 Bracciali, Andrea 1 Bragaglia, Stefano 1 Bryl, Volha 1 Chopra, Amit K. 1 Dal Palù, Alessandro 1 El Fallah Seghrouchni, Amal 1 El Fallah Segrouchni, Amal 1 Formisano, Andrea 1 Gaggl, Sarah Alice 1 Hirayama, Katsutoshi 1 Hsu, Jane Yung-jen 1 Ivanović, Mirjana 1 Manolopoulos, Yannis 1 Marcolino, Leandro 1 Mascardi, Viviana 1 Milano, Michela 1 Nieves, Juan Carlos 1 Rosati, Riccardo 1 Santini, Francesco 1 Sartor, Giovanni 1 Serina, Ivan 1 Stefanelli, Cesare 1 Storari, Sergio 1 Strass, Hannes 1 van der Torre, Leendert W. N. 1 Zannone, Nicola all top 5 Serials 9 Fundamenta Informaticae 8 Lecture Notes in Computer Science 3 Annals of Mathematics and Artificial Intelligence 2 Journal of Logic and Computation 1 Computer Languages 1 Computational & Mathematical Organization Theory 1 ACM Transactions on Computational Logic 1 Multiagent and Grid Systems Fields 47 Computer science (68-XX) 17 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 23 Publications have been cited 51 times in 32 Documents Cited by ▼ Year ▼ Verifiable agent interaction in abductive logic programming: the SCIFF framework. Zbl 1367.68273Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 7 2008 An abductive logic programming architecture for negotiating agents. Zbl 1013.68205Sadri, Fariba; Toni, Francesca; Torroni, Paolo 5 2002 Verification from declarative specifications using logic programming. Zbl 1185.68419Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola 4 2008 Specification and verification of agent interaction using social integrity constraints. Zbl 1270.68160Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 4 2004 An abductive framework for information exchange in multi-agent systems. Zbl 1110.68503Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 4 2004 Cooperation and competition in ALIAS: A logic framework for agents that negotiate. Zbl 1023.68095Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Toni, Francesca; Torroni, Paolo 4 2003 Social commitments in time: satisfied or compensated. Zbl 1274.68592Torroni, Paolo; Chesani, Federico; Mello, Paola; Montali, Marco 3 2010 A logic-based, reactive calculus of events. Zbl 1209.68520Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo 2 2010 On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Zbl 1205.68438Chesani, Federico; Mello, Paola; Montali, Marco; Storari, Sergio; Torroni, Paolo 2 2010 The \(S\)CIFF abductive proof-procedure. Zbl 1155.68517Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 2 2005 LAILA: A language for coordinating abductive reasoning among logic agents. Zbl 0997.68015Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo 2 2002 Reactive event calculus for monitoring global computing applications. Zbl 1356.68214Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo 1 2012 Reasoning about exceptions to contracts. Zbl 1348.68259Kafalı, Özgür; Toni, Francesca; Torroni, Paolo 1 2011 Social commitment delegation and monitoring. Zbl 1348.68260Kafalı, Özgür; Torroni, Paolo 1 2011 Agents, multi-agent systems and declarative programming: what, when, where, why, who, how? Zbl 1285.68188Baldoni, Matteo; Baroglio, Cristina; Mascardi, Viviana; Omicini, Andrea; Torroni, Paolo 1 2010 \({\mathcal B}\)-Tropos. Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification. Zbl 1175.68453Bryl, Volha; Mello, Paola; Montali, Marco; Torroni, Paolo; Zannone, Nicola 1 2009 Specification and verification of agent interaction using abductive reasoning. Zbl 1236.68252Chesani, Federico; Gavanelli, Marco; Alberti, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 1 2006 Mapping deontic operators to abductive expectations. Zbl 1103.68665Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni 1 2006 The SOCS computational logic approach to the specification and verification of agent societies. Zbl 1111.68494Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 1 2005 Computational logic in multi-agent systems: Recent advances and future directions. Zbl 1059.68132Torroni, Paolo 1 2004 An abductive interpretation for open agent societies. Zbl 1274.68575Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P. 1 2003 A social ACL semantics by deontic constraints. Zbl 1047.68651Alberti, Marco; Ciampolini, Anna; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 1 2003 An implementation for abductive logic agents. Zbl 0970.68615Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P. 1 2000 Reactive event calculus for monitoring global computing applications. Zbl 1356.68214Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo 1 2012 Reasoning about exceptions to contracts. Zbl 1348.68259Kafalı, Özgür; Toni, Francesca; Torroni, Paolo 1 2011 Social commitment delegation and monitoring. Zbl 1348.68260Kafalı, Özgür; Torroni, Paolo 1 2011 Social commitments in time: satisfied or compensated. Zbl 1274.68592Torroni, Paolo; Chesani, Federico; Mello, Paola; Montali, Marco 3 2010 A logic-based, reactive calculus of events. Zbl 1209.68520Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo 2 2010 On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework. Zbl 1205.68438Chesani, Federico; Mello, Paola; Montali, Marco; Storari, Sergio; Torroni, Paolo 2 2010 Agents, multi-agent systems and declarative programming: what, when, where, why, who, how? Zbl 1285.68188Baldoni, Matteo; Baroglio, Cristina; Mascardi, Viviana; Omicini, Andrea; Torroni, Paolo 1 2010 \({\mathcal B}\)-Tropos. Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification. Zbl 1175.68453Bryl, Volha; Mello, Paola; Montali, Marco; Torroni, Paolo; Zannone, Nicola 1 2009 Verifiable agent interaction in abductive logic programming: the SCIFF framework. Zbl 1367.68273Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 7 2008 Verification from declarative specifications using logic programming. Zbl 1185.68419Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola 4 2008 Specification and verification of agent interaction using abductive reasoning. Zbl 1236.68252Chesani, Federico; Gavanelli, Marco; Alberti, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 1 2006 Mapping deontic operators to abductive expectations. Zbl 1103.68665Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni 1 2006 The \(S\)CIFF abductive proof-procedure. Zbl 1155.68517Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 2 2005 The SOCS computational logic approach to the specification and verification of agent societies. Zbl 1111.68494Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 1 2005 Specification and verification of agent interaction using social integrity constraints. Zbl 1270.68160Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 4 2004 An abductive framework for information exchange in multi-agent systems. Zbl 1110.68503Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 4 2004 Computational logic in multi-agent systems: Recent advances and future directions. Zbl 1059.68132Torroni, Paolo 1 2004 Cooperation and competition in ALIAS: A logic framework for agents that negotiate. Zbl 1023.68095Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Toni, Francesca; Torroni, Paolo 4 2003 An abductive interpretation for open agent societies. Zbl 1274.68575Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P. 1 2003 A social ACL semantics by deontic constraints. Zbl 1047.68651Alberti, Marco; Ciampolini, Anna; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 1 2003 An abductive logic programming architecture for negotiating agents. Zbl 1013.68205Sadri, Fariba; Toni, Francesca; Torroni, Paolo 5 2002 LAILA: A language for coordinating abductive reasoning among logic agents. Zbl 0997.68015Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo 2 2002 An implementation for abductive logic agents. Zbl 0970.68615Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P. 1 2000 all cited Publications top 5 cited Publications all top 5 Cited by 78 Authors 6 Torroni, Paolo 4 Alberti, Marco 3 Gavanelli, Marco 3 Kafalı, Özgür 3 Lamma, Evelina 3 Mello, Paola 3 Sadri, Fariba 3 Sakama, Chiaki 3 Toni, Francesca 2 Bourgne, Gauvain 2 Christiansen, Henning 2 Giordano, Laura 2 Kowalski, Robert A. 2 Martelli, Alberto 2 Maudet, Nicolas 2 Montali, Marco 2 Pontelli, Enrico 2 Son, Tran Cao 1 Ahrendt, Wolfgang 1 Alliot, Jean-Marc 1 Amirat, Yacine 1 Bartocci, Ezio 1 Bianculli, Domenico 1 Brogi, Antonio 1 Bryl, Volha 1 Burrieza, Alfredo 1 Chen, Jim X. 1 Chen, Wu 1 Chesani, Federico 1 Chibani, Abdelghani 1 Colombo, Christian 1 de Guzmán, Inmaculada Pérez 1 de Leoni, Massimiliano 1 Dell’Acqua, Pierangelo 1 Demolombe, Robert 1 Diéguez, Martín 1 Dix, Jurgen 1 Dong, Zegang 1 El Fallah Seghrouchni, Amal 1 Endriss, Ulle 1 Falcone, Yliès 1 Fariñas del Cerro, Luis 1 Fisher, Michael E. 1 Francalanza, Adrian 1 Greco, Gianluigi 1 Hanh, Do Duc 1 Krstić, Srđan 1 Ledley, Robert Steven 1 Lourenço, João M. 1 Mancarella, Paolo 1 Mannhardt, Felix 1 Moniz Pereira, Luís 1 Muñoz-Velasco, Emilio 1 Nguyen, Ngoc-Hieu 1 Nickovic, Dejan 1 Obeid, Naji 1 Pace, Gordon J. 1 Patkos, Theodore 1 Phan Minh Dung 1 Plexousakis, Dimitris 1 Reijers, Hajo A. 1 Rufino, José 1 Sánchez, César 1 Sartor, Giovanni 1 Satoh, Ken 1 Schneider, Gerardo 1 Schwind, Camilla B. 1 Signoles, Julien 1 Stathis, Kostas 1 Terreni, Giacomo 1 Thang, Phan Minh 1 Traytel, Dmitry 1 van der Aalst, Wil M. P. 1 Wang, Shuangbao 1 Weiss, Alexander 1 Wu, Maonian 1 Zannone, Nicola 1 Zhang, Dongmo all top 5 Cited in 12 Serials 4 Annals of Mathematics and Artificial Intelligence 3 Theory and Practice of Logic Programming 3 Journal of Applied Logic 2 Computational & Mathematical Organization Theory 1 Computing 1 Journal of Philosophical Logic 1 International Journal of Computer Mathematics 1 Formal Methods in System Design 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Computational Intelligence 1 Frontiers of Computer Science Cited in 5 Fields 31 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year