Edit Profile Mello, Paola Compute Distance To: Compute Author ID: mello.paola Published as: Mello, P.; Mello, Paola; Mello, Paolo Documents Indexed: 49 Publications since 1986, including 2 Books 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 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.68273Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 7 2008 Compositional model-theoretic semantics for logic programs. Zbl 0782.68023Brogi, Antonio; Lamma, Evelina; Mello, Paola 6 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 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 Distributed logic objects: A fragment of rewriting logic and its implementation. Zbl 0912.68090Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare 2 1996 Composing open logic programs. Zbl 0784.68020Brogi, Antonio; Lamma, Evelina; Mello, Paola 2 1993 Partial deduction for structured logic programming. Zbl 0774.68025Bugliesi, Michele; Lamma, Evelina; Mello, Paola 2 1993 Model agnostic solution of CSPs via deep learning: a preliminary study. Zbl 06982396Galassi, Andrea; Lombardi, Michele; Mello, Paola; Milano, Michela 1 2018 Reactive event calculus for monitoring global computing applications. Zbl 1356.68214Bragaglia, 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.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 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 Cooperation of abduction and induction in logic programming. Zbl 1032.68558Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio; Esposito, Floriana; Ferilli, Stefano; Semeraro, Giovanni 1 2000 An implementation for abductive logic agents. Zbl 0970.68615Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P. 1 2000 A unifying view for logic programming with non-monotonic reasoning. Zbl 0942.68021Brogi, 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.68016Brogi, Antonio; Ciampolini, Anna; Lamma, Evelina; Mello, Paolo 1 1992 Hypothetical reasoning in logic programming: A semantic approach. Zbl 0706.68026Brogi, Antonio; Lamma, Evelina; Mello, Paola 1 1990 Programs as collections of communicating Prolog units. Zbl 0587.68009Mello, Paola; Natali, Antonio 1 1986 Model agnostic solution of CSPs via deep learning: a preliminary study. Zbl 06982396Galassi, Andrea; Lombardi, Michele; Mello, Paola; Milano, Michela 1 2018 Reactive event calculus for monitoring global computing applications. Zbl 1356.68214Bragaglia, Stefano; Chesani, Federico; Mello, Paola; Montali, Marco; Torroni, Paolo 1 2012 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 \({\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 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 LAILA: A language for coordinating abductive reasoning among logic agents. Zbl 0997.68015Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo 2 2002 Cooperation of abduction and induction in logic programming. Zbl 1032.68558Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio; Esposito, Floriana; Ferilli, Stefano; Semeraro, Giovanni 1 2000 An implementation for abductive logic agents. Zbl 0970.68615Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P. 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 Composing open logic programs. Zbl 0784.68020Brogi, Antonio; Lamma, Evelina; Mello, Paola 2 1993 Partial deduction for structured logic programming. Zbl 0774.68025Bugliesi, Michele; Lamma, Evelina; Mello, Paola 2 1993 Compositional model-theoretic semantics for logic programs. Zbl 0782.68023Brogi, Antonio; Lamma, Evelina; Mello, Paola 6 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 Hypothetical reasoning in logic programming: A semantic approach. Zbl 0706.68026Brogi, Antonio; Lamma, Evelina; Mello, Paola 1 1990 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 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 all top 5 Cited in 17 Serials 6 Theoretical Computer Science 4 Annals of Mathematics and Artificial Intelligence 3 New Generation Computing 3 Theory and Practice of Logic Programming 3 Journal of Applied Logic 2 Computational & Mathematical Organization Theory 1 Artificial Intelligence 1 Information Processing Letters 1 Computing 1 Information Sciences 1 Journal of Philosophical Logic 1 Computers & Operations Research 1 Machine Learning 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Formal Methods in System Design 1 Computer Languages, Systems & Structures 1 Computational Intelligence Cited in 5 Fields 42 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-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