×

zbMATH — the first resource for mathematics

Torroni, Paolo

Compute Distance To:
Author ID: torroni.paolo Recent zbMATH articles by "Torroni, Paolo"
Published as: Torroni, P.; Torroni, Paolo
External Links: ORCID
Documents Indexed: 49 Publications since 2000, including 8 Books

Publications by Year

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.68273
Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
7
2008
An abductive logic programming architecture for negotiating agents. Zbl 1013.68205
Sadri, Fariba; Toni, Francesca; Torroni, Paolo
5
2002
Verification from declarative specifications using logic programming. Zbl 1185.68419
Montali, 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.68160
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
4
2004
An abductive framework for information exchange in multi-agent systems. Zbl 1110.68503
Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
4
2004
Cooperation and competition in ALIAS: A logic framework for agents that negotiate. Zbl 1023.68095
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Toni, Francesca; Torroni, Paolo
4
2003
Social commitments in time: satisfied or compensated. Zbl 1274.68592
Torroni, Paolo; Chesani, Federico; Mello, Paola; Montali, Marco
3
2010
A logic-based, reactive calculus of events. Zbl 1209.68520
Chesani, 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.68438
Chesani, Federico; Mello, Paola; Montali, Marco; Storari, Sergio; Torroni, Paolo
2
2010
The \(S\)CIFF abductive proof-procedure. Zbl 1155.68517
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
2
2005
LAILA: A language for coordinating abductive reasoning among logic agents. Zbl 0997.68015
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo
2
2002
Reactive event calculus for monitoring global computing applications. Zbl 1356.68214
Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
1
2012
Reasoning about exceptions to contracts. Zbl 1348.68259
Kafalı, Özgür; Toni, Francesca; Torroni, Paolo
1
2011
Social commitment delegation and monitoring. Zbl 1348.68260
Kafalı, Özgür; Torroni, Paolo
1
2011
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how? Zbl 1285.68188
Baldoni, 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.68453
Bryl, Volha; Mello, Paola; Montali, Marco; Torroni, Paolo; Zannone, Nicola
1
2009
Specification and verification of agent interaction using abductive reasoning. Zbl 1236.68252
Chesani, Federico; Gavanelli, Marco; Alberti, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
1
2006
Mapping deontic operators to abductive expectations. Zbl 1103.68665
Alberti, 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.68494
Alberti, 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.68132
Torroni, Paolo
1
2004
An abductive interpretation for open agent societies. Zbl 1274.68575
Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P.
1
2003
A social ACL semantics by deontic constraints. Zbl 1047.68651
Alberti, Marco; Ciampolini, Anna; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
1
2003
An implementation for abductive logic agents. Zbl 0970.68615
Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P.
1
2000
Reactive event calculus for monitoring global computing applications. Zbl 1356.68214
Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
1
2012
Reasoning about exceptions to contracts. Zbl 1348.68259
Kafalı, Özgür; Toni, Francesca; Torroni, Paolo
1
2011
Social commitment delegation and monitoring. Zbl 1348.68260
Kafalı, Özgür; Torroni, Paolo
1
2011
Social commitments in time: satisfied or compensated. Zbl 1274.68592
Torroni, Paolo; Chesani, Federico; Mello, Paola; Montali, Marco
3
2010
A logic-based, reactive calculus of events. Zbl 1209.68520
Chesani, 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.68438
Chesani, 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.68188
Baldoni, 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.68453
Bryl, Volha; Mello, Paola; Montali, Marco; Torroni, Paolo; Zannone, Nicola
1
2009
Verifiable agent interaction in abductive logic programming: the SCIFF framework. Zbl 1367.68273
Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
7
2008
Verification from declarative specifications using logic programming. Zbl 1185.68419
Montali, 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.68252
Chesani, Federico; Gavanelli, Marco; Alberti, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
1
2006
Mapping deontic operators to abductive expectations. Zbl 1103.68665
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni
1
2006
The \(S\)CIFF abductive proof-procedure. Zbl 1155.68517
Alberti, 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.68494
Alberti, 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.68160
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
4
2004
An abductive framework for information exchange in multi-agent systems. Zbl 1110.68503
Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
4
2004
Computational logic in multi-agent systems: Recent advances and future directions. Zbl 1059.68132
Torroni, Paolo
1
2004
Cooperation and competition in ALIAS: A logic framework for agents that negotiate. Zbl 1023.68095
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Toni, Francesca; Torroni, Paolo
4
2003
An abductive interpretation for open agent societies. Zbl 1274.68575
Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P.
1
2003
A social ACL semantics by deontic constraints. Zbl 1047.68651
Alberti, Marco; Ciampolini, Anna; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
1
2003
An abductive logic programming architecture for negotiating agents. Zbl 1013.68205
Sadri, Fariba; Toni, Francesca; Torroni, Paolo
5
2002
LAILA: A language for coordinating abductive reasoning among logic agents. Zbl 0997.68015
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo
2
2002
An implementation for abductive logic agents. Zbl 0970.68615
Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P.
1
2000
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

Citations by Year