×
Compute Distance To:
Author ID: mello.paola Recent zbMATH articles by "Mello, Paola"
Published as: Mello, Paola; Mello, P.; Mello, Paolo

Publications by Year

Citations contained in zbMATH Open

28 Publications have been cited 69 times in 50 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
12
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
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 framework for information exchange in multi-agent systems. Zbl 1110.68503
Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
4
2004
Compositional model-theoretic semantics for logic programs. Zbl 0782.68023
Brogi, Antonio; Lamma, Evelina; Mello, Paola
4
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
A logic-based, reactive calculus of events. Zbl 1209.68520
Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
3
2010
Social commitments in time: satisfied or compensated. Zbl 1274.68592
Torroni, Paolo; Chesani, Federico; Mello, Paola; Montali, Marco
3
2010
Mapping deontic operators to abductive expectations. Zbl 1103.68665
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni
3
2006
Model agnostic solution of CSPs via deep learning: a preliminary study. Zbl 06982396
Galassi, Andrea; Lombardi, Michele; Mello, Paola; Milano, Michela
3
2018
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
Distributed logic objects: A fragment of rewriting logic and its implementation. Zbl 0912.68090
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare
2
1996
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
2
2005
Partial deduction for structured logic programming. Zbl 0774.68025
Bugliesi, Michele; Lamma, Evelina; Mello, Paola
2
1993
LAILA: A language for coordinating abductive reasoning among logic agents. Zbl 0997.68015
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo
2
2002
Composing open logic programs. Zbl 0784.68020
Brogi, Antonio; Lamma, Evelina; Mello, Paola
2
1993
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
Programs as collections of communicating Prolog units. Zbl 0587.68009
Mello, Paola; Natali, Antonio
1
1986
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
Reactive event calculus for monitoring global computing applications. Zbl 1356.68214
Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
1
2012
An implementation for abductive logic agents. Zbl 0970.68615
Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P.
1
2000
A social ACL semantics by deontic constraints. Zbl 1047.68651
Alberti, Marco; Ciampolini, Anna; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
1
2003
A unifying view for logic programming with non-monotonic reasoning. Zbl 0942.68021
Brogi, Antonio; Lamma, Evelina; Mancarella, Paolo; Mello, Paola
1
1997
An abductive interpretation for open agent societies. Zbl 1274.68575
Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P.
1
2003
Applying inductive logic programming to process mining. Zbl 1136.68489
Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio; Storari, Sergio
1
2008
\({\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
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
Model agnostic solution of CSPs via deep learning: a preliminary study. Zbl 06982396
Galassi, Andrea; Lombardi, Michele; Mello, Paola; Milano, Michela
3
2018
Reactive event calculus for monitoring global computing applications. Zbl 1356.68214
Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
1
2012
A logic-based, reactive calculus of events. Zbl 1209.68520
Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo
3
2010
Social commitments in time: satisfied or compensated. Zbl 1274.68592
Torroni, Paolo; Chesani, Federico; Mello, Paola; Montali, Marco
3
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
12
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
Applying inductive logic programming to process mining. Zbl 1136.68489
Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio; Storari, Sergio
1
2008
Mapping deontic operators to abductive expectations. Zbl 1103.68665
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni
3
2006
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
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
2
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
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 interpretation for open agent societies. Zbl 1274.68575
Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P.
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
An implementation for abductive logic agents. Zbl 0970.68615
Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P.
1
2000
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
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
Partial deduction for structured logic programming. Zbl 0774.68025
Bugliesi, Michele; Lamma, Evelina; Mello, Paola
2
1993
Composing open logic programs. Zbl 0784.68020
Brogi, Antonio; Lamma, Evelina; Mello, Paola
2
1993
Compositional model-theoretic semantics for logic programs. Zbl 0782.68023
Brogi, Antonio; Lamma, Evelina; Mello, Paola
4
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
Programs as collections of communicating Prolog units. Zbl 0587.68009
Mello, Paola; Natali, Antonio
1
1986
all top 5

Cited by 114 Authors

10 Lamma, Evelina
7 Mello, Paola
6 Alberti, Marco
6 Torroni, Paolo
5 Gavanelli, Marco
5 Riguzzi, Fabrizio
4 Brogi, Antonio
4 Zese, Riccardo
3 Bellodi, Elena
3 Kafalı, Özgür
3 Sadri, Fariba
3 Toni, Francesca
2 Bourgne, Gauvain
2 Christiansen, Henning
2 Etalle, Sandro
2 Gabbrielli, Maurizio
2 Giordano, Laura
2 Kowalski, Robert A.
2 Mancarella, Paolo
2 Martelli, Alberto
2 Maudet, Nicolas
2 Meseguer Guaita, José
2 Milano, Michela
2 Montali, Marco
2 Satoh, Ken
1 Ahrendt, Wolfgang
1 Alliot, Jean-Marc
1 Amirat, Yacine
1 Artikis, Alexander
1 Azzolini, Damiano
1 Bartocci, Ezio
1 Bianculli, Domenico
1 Bossi, Annalisa
1 Broersen, Jan M.
1 Bryl, Volha
1 Chen, Jim X.
1 Chesani, Federico
1 Chibani, Abdelghani
1 Ciancarini, Paolo
1 Clavel, Manuel
1 Colombo, Christian
1 Cranefield, Stephen
1 De Bosschere, Koen
1 de Leoni, Massimiliano
1 Dell’Acqua, Pierangelo
1 Demirović, Emir
1 Demolombe, Robert
1 Dewoprabowo, Ridhwan
1 Diéguez, Martín
1 Dix, Jurgen
1 Doncescu, Andrei
1 Dong, Zegang
1 Eker, Steven
1 El Fallah Seghrouchni, Amal
1 Elrakaiby, Yehia
1 Endriss, Ulle
1 Falcone, Yliès
1 Fariñas del Cerro, Luis
1 Ferilli, Stefano
1 Francalanza, Adrian
1 Gabbay, Dov M.
1 Greco, Gianluigi
1 Grossi, Davide
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 Lombardi, Michele
1 Lorini, Emiliano
1 Lourenço, João M.
1 Makris, Evangelos
1 Mannhardt, Felix
1 Martí-Oliet, Narciso
1 Meo, Maria Chiara
1 Moniz Pereira, Luís
1 Nabeshima, Hidetomo
1 Nickovic, Dejan
1 Obeid, Naji
1 Pace, Gordon J.
1 Paliouras, Georgios
1 Parent, Xavier
1 Patkos, Theodore
1 Phan Minh Dung
1 Plexousakis, Dimitris
1 Reijers, Hajo A.
1 Rufino, José
1 Sánchez, César
1 Saptawijaya, Ari
1 Sartor, Giovanni
1 Schneider, Gerardo
1 Schwarzentruber, François
1 Schwind, Camilla B.
1 Signoles, Julien
1 Silvestri, Mattia
1 Stathis, Kostas
1 Tanaka, Shunji
...and 14 more Authors

Citations by Year