Edit Profile (opens in new tab) Mello, Paola Compute Distance To: Compute Author ID: mello.paola Published as: Mello, Paola; Mello, P.; Mello, Paolo Documents Indexed: 47 Publications since 1986 2 Contributions as Editor Co-Authors: 34 Co-Authors with 49 Joint Publications 478 Co-Co-Authors all top 5 Co-Authors 0 single-authored 40 Lamma, Evelina 20 Torroni, Paolo 14 Gavanelli, Marco 11 Alberti, Marco 11 Chesani, Federico 9 Ciampolini, Anna 9 Montali, Marco 8 Milano, Michela 5 Brogi, Antonio 5 Riguzzi, Fabrizio 5 Stefanelli, Cesare 3 Storari, Sergio 2 Cucchiara, Rita 2 Piccardi, Massimo 2 Van Hentenryck, Pascal 1 Bragaglia, Stefano 1 Bryl, Volha 1 Bugliesi, Michele 1 De Masellis, Riccardo 1 Di Francescomarino, Chiara 1 Esposito, Floriana 1 Ferilli, Stefano 1 Galassi, Andrea 1 Ghidini, Chiara 1 Lombardi, Michele 1 Mancarella, Paolo 1 Nanetti, A. 1 Natali, Antonio 1 Poli, G. 1 Sartor, Giovanni 1 Semeraro, Giovanni 1 Tessaris, Sergio 1 Toni, Francesca 1 Zannone, Nicola all top 5 Serials 4 Fundamenta Informaticae 3 Information Processing Letters 2 Computers and Artificial Intelligence 2 The Journal of Logic Programming 2 New Generation Computing 2 Annals of Mathematics and Artificial Intelligence 2 Lecture Notes in Computer Science 1 Computer Languages 1 Information Sciences 1 Theoretical Computer Science 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Journal of Logic and Computation 1 Computational & Mathematical Organization Theory 1 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic 1 Multiagent and Grid Systems Fields 49 Computer science (68-XX) 3 Operations research, mathematical programming (90-XX) 2 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications 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.68273Alberti, 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.68160Alberti, 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.68095Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Toni, Francesca; Torroni, Paolo 4 2003 An abductive framework for information exchange in multi-agent systems. Zbl 1110.68503Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 4 2004 Compositional model-theoretic semantics for logic programs. Zbl 0782.68023Brogi, Antonio; Lamma, Evelina; Mello, Paola 4 1992 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 A logic-based, reactive calculus of events. Zbl 1209.68520Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo 3 2010 Social commitments in time: satisfied or compensated. Zbl 1274.68592Torroni, Paolo; Chesani, Federico; Mello, Paola; Montali, Marco 3 2010 Mapping deontic operators to abductive expectations. Zbl 1103.68665Alberti, 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 06982396Galassi, 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.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 Distributed logic objects: A fragment of rewriting logic and its implementation. Zbl 0912.68090Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare 2 1996 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 2 2005 Partial deduction for structured logic programming. Zbl 0774.68025Bugliesi, Michele; Lamma, Evelina; Mello, Paola 2 1993 LAILA: A language for coordinating abductive reasoning among logic agents. Zbl 0997.68015Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo 2 2002 Composing open logic programs. Zbl 0784.68020Brogi, Antonio; Lamma, Evelina; Mello, Paola 2 1993 The implementation of a distributed model for logic programming based on multiple-headed clauses. Zbl 0772.68016Brogi, Antonio; Ciampolini, Anna; Lamma, Evelina; Mello, Paolo 1 1992 Programs as collections of communicating Prolog units. Zbl 0587.68009Mello, Paola; Natali, Antonio 1 1986 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 Reactive event calculus for monitoring global computing applications. Zbl 1356.68214Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo 1 2012 An implementation for abductive logic agents. Zbl 0970.68615Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P. 1 2000 A social ACL semantics by deontic constraints. Zbl 1047.68651Alberti, 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.68021Brogi, Antonio; Lamma, Evelina; Mancarella, Paolo; Mello, Paola 1 1997 An abductive interpretation for open agent societies. Zbl 1274.68575Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P. 1 2003 Applying inductive logic programming to process mining. Zbl 1136.68489Lamma, 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.68453Bryl, Volha; Mello, Paola; Montali, Marco; Torroni, Paolo; Zannone, Nicola 1 2009 Cooperation of abduction and induction in logic programming. Zbl 1032.68558Lamma, 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 06982396Galassi, Andrea; Lombardi, Michele; Mello, Paola; Milano, Michela 3 2018 Reactive event calculus for monitoring global computing applications. Zbl 1356.68214Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo 1 2012 A logic-based, reactive calculus of events. Zbl 1209.68520Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo 3 2010 Social commitments in time: satisfied or compensated. Zbl 1274.68592Torroni, 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.68438Chesani, 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.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 12 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 Applying inductive logic programming to process mining. Zbl 1136.68489Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio; Storari, Sergio 1 2008 Mapping deontic operators to abductive expectations. Zbl 1103.68665Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni 3 2006 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 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 2 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 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 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 interpretation for open agent societies. Zbl 1274.68575Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P. 1 2003 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 Cooperation of abduction and induction in logic programming. Zbl 1032.68558Lamma, 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.68021Brogi, Antonio; Lamma, Evelina; Mancarella, Paolo; Mello, Paola 1 1997 Distributed logic objects: A fragment of rewriting logic and its implementation. Zbl 0912.68090Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare 2 1996 Partial deduction for structured logic programming. Zbl 0774.68025Bugliesi, Michele; Lamma, Evelina; Mello, Paola 2 1993 Composing open logic programs. Zbl 0784.68020Brogi, Antonio; Lamma, Evelina; Mello, Paola 2 1993 Compositional model-theoretic semantics for logic programs. Zbl 0782.68023Brogi, Antonio; Lamma, Evelina; Mello, Paola 4 1992 The implementation of a distributed model for logic programming based on multiple-headed clauses. Zbl 0772.68016Brogi, Antonio; Ciampolini, Anna; Lamma, Evelina; Mello, Paolo 1 1992 Programs as collections of communicating Prolog units. Zbl 0587.68009Mello, Paola; Natali, Antonio 1 1986 all cited Publications top 5 cited Publications 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 all top 5 Cited in 17 Serials 6 Theoretical Computer Science 5 Annals of Mathematics and Artificial Intelligence 4 Theory and Practice of Logic Programming 3 New Generation Computing 3 Journal of Applied Logic 2 Machine Learning 2 Computational & Mathematical Organization Theory 1 Computing 1 Information Sciences 1 Journal of Philosophical Logic 1 Computers & Operations Research 1 International Journal of Approximate Reasoning 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Formal Methods in System Design 1 Fundamenta Informaticae 1 Computer Languages, Systems & Structures 1 Computational Intelligence Cited in 5 Fields 50 Computer science (68-XX) 4 Operations research, mathematical programming (90-XX) 2 Mathematical logic and foundations (03-XX) 2 Biology and other natural sciences (92-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year