×

zbMATH — the first resource for mathematics

Mello, Paola

Compute Distance To:
Author ID: mello.paola Recent zbMATH articles by "Mello, Paola"
Published as: Mello, P.; Mello, Paola; Mello, Paolo
Documents Indexed: 49 Publications since 1986, including 2 Books

Publications by Year

Citations contained in zbMATH

28 Publications have been cited 60 times in 43 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
Compositional model-theoretic semantics for logic programs. Zbl 0782.68023
Brogi, Antonio; Lamma, Evelina; Mello, Paola
6
1992
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
Distributed logic objects: A fragment of rewriting logic and its implementation. Zbl 0912.68090
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare
2
1996
Composing open logic programs. Zbl 0784.68020
Brogi, Antonio; Lamma, Evelina; Mello, Paola
2
1993
Partial deduction for structured logic programming. Zbl 0774.68025
Bugliesi, Michele; Lamma, Evelina; Mello, Paola
2
1993
Model agnostic solution of CSPs via deep learning: a preliminary study. Zbl 06982396
Galassi, Andrea; Lombardi, Michele; Mello, Paola; Milano, Michela
1
2018
Reactive event calculus for monitoring global computing applications. Zbl 1356.68214
Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
1
2012
\({\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
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
Cooperation of abduction and induction in logic programming. Zbl 1032.68558
Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio; Esposito, Floriana; Ferilli, Stefano; Semeraro, Giovanni
1
2000
An implementation for abductive logic agents. Zbl 0970.68615
Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P.
1
2000
A unifying view for logic programming with non-monotonic reasoning. Zbl 0942.68021
Brogi, Antonio; Lamma, Evelina; Mancarella, Paolo; Mello, Paola
1
1997
The implementation of a distributed model for logic programming based on multiple-headed clauses. Zbl 0772.68016
Brogi, Antonio; Ciampolini, Anna; Lamma, Evelina; Mello, Paolo
1
1992
Hypothetical reasoning in logic programming: A semantic approach. Zbl 0706.68026
Brogi, Antonio; Lamma, Evelina; Mello, Paola
1
1990
Programs as collections of communicating Prolog units. Zbl 0587.68009
Mello, Paola; Natali, Antonio
1
1986
Model agnostic solution of CSPs via deep learning: a preliminary study. Zbl 06982396
Galassi, Andrea; Lombardi, Michele; Mello, Paola; Milano, Michela
1
2018
Reactive event calculus for monitoring global computing applications. Zbl 1356.68214
Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
1
2012
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
\({\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
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
LAILA: A language for coordinating abductive reasoning among logic agents. Zbl 0997.68015
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo
2
2002
Cooperation of abduction and induction in logic programming. Zbl 1032.68558
Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio; Esposito, Floriana; Ferilli, Stefano; Semeraro, Giovanni
1
2000
An implementation for abductive logic agents. Zbl 0970.68615
Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P.
1
2000
A unifying view for logic programming with non-monotonic reasoning. Zbl 0942.68021
Brogi, Antonio; Lamma, Evelina; Mancarella, Paolo; Mello, Paola
1
1997
Distributed logic objects: A fragment of rewriting logic and its implementation. Zbl 0912.68090
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare
2
1996
Composing open logic programs. Zbl 0784.68020
Brogi, Antonio; Lamma, Evelina; Mello, Paola
2
1993
Partial deduction for structured logic programming. Zbl 0774.68025
Bugliesi, Michele; Lamma, Evelina; Mello, Paola
2
1993
Compositional model-theoretic semantics for logic programs. Zbl 0782.68023
Brogi, Antonio; Lamma, Evelina; Mello, Paola
6
1992
The implementation of a distributed model for logic programming based on multiple-headed clauses. Zbl 0772.68016
Brogi, Antonio; Ciampolini, Anna; Lamma, Evelina; Mello, Paolo
1
1992
Hypothetical reasoning in logic programming: A semantic approach. Zbl 0706.68026
Brogi, Antonio; Lamma, Evelina; Mello, Paola
1
1990
Programs as collections of communicating Prolog units. Zbl 0587.68009
Mello, Paola; Natali, Antonio
1
1986
all top 5

Cited by 92 Authors

8 Lamma, Evelina
8 Mello, Paola
6 Torroni, Paolo
4 Alberti, Marco
4 Brogi, Antonio
4 Toni, Francesca
3 Gavanelli, Marco
3 Kafalı, Özgür
3 Kowalski, Robert A.
3 Sadri, Fariba
2 Bourgne, Gauvain
2 Christiansen, Henning
2 Etalle, Sandro
2 Gabbrielli, Maurizio
2 Giordano, Laura
2 Mancarella, Paolo
2 Martelli, Alberto
2 Maudet, Nicolas
2 Meseguer Guaita, José
2 Montali, Marco
2 Phan Minh Dung
1 Ahrendt, Wolfgang
1 Alliot, Jean-Marc
1 Amirat, Yacine
1 Bartocci, Ezio
1 Bianculli, Domenico
1 Bondarenko, A. Yu.
1 Bossi, Annalisa
1 Bryl, Volha
1 Chen, Jim X.
1 Chesani, Federico
1 Chibani, Abdelghani
1 Ciampolini, Anna
1 Ciancarini, Paolo
1 Clavel, Manuel
1 Colombo, Christian
1 De Bosschere, Koen
1 de Leoni, Massimiliano
1 Dell’Acqua, Pierangelo
1 Demolombe, Robert
1 Diéguez, Martín
1 Dix, Jurgen
1 Doncescu, Andrei
1 Dong, Zegang
1 Eker, Steven
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 Hottung, André
1 Inoue, Katsumi
1 Jacquet, Jean-Marie
1 Krstić, Srđan
1 Ledley, Robert Steven
1 Levi, Giorgio
1 Lincoln, Patrick D.
1 Lourenço, João M.
1 Mannhardt, Felix
1 Martí-Oliet, Narciso
1 Meo, Maria Chiara
1 Milano, Michela
1 Moniz Pereira, Luís
1 Nabeshima, Hidetomo
1 Nickovic, Dejan
1 Obeid, Naji
1 Pace, Gordon J.
1 Patkos, Theodore
1 Plexousakis, Dimitris
1 Reijers, Hajo A.
1 Riguzzi, Fabrizio
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 Tanaka, Shunji
1 Terreni, Giacomo
1 Thang, Phan Minh
1 Tierney, Kevin
1 Traytel, Dmitry
1 Turini, Franco
1 van der Aalst, Wil M. P.
1 Wang, Shuangbao
1 Weiss, Alexander
1 Zannone, Nicola

Citations by Year