Edit Profile (opens in new tab) Lamma, Evelina Compute Distance To: Compute Author ID: lamma.evelina Published as: Lamma, Evelina; Lamma, E. Documents Indexed: 62 Publications since 1990 4 Contributions as Editor Co-Authors: 36 Co-Authors with 66 Joint Publications 570 Co-Co-Authors all top 5 Co-Authors 0 single-authored 41 Mello, Paola 24 Riguzzi, Fabrizio 23 Gavanelli, Marco 18 Alberti, Marco 15 Torroni, Paolo 12 Zese, Riccardo 9 Bellodi, Elena 9 Ciampolini, Anna 7 Milano, Michela 6 Brogi, Antonio 6 Chesani, Federico 6 Cota, Giuseppe 5 Stefanelli, Cesare 3 Moniz Pereira, Luís 3 Montali, Marco 3 Storari, Sergio 2 Mancarella, Paolo 2 Swift, Terrance 2 Van Hentenryck, Pascal 1 Azzolini, Damiano 1 Bugliesi, Michele 1 Santos Costa, Vítor 1 Cucchiara, Rita 1 Esposito, Floriana 1 Ferilli, Stefano 1 Fraccaroli, Michele 1 Gamberoni, Giacomo 1 Nanetti, A. 1 Nguembang Fadja, Arnaud 1 Piccardi, Massimo 1 Poli, G. 1 Sartor, Giovanni 1 Satoh, Ken 1 Semeraro, Giovanni 1 Toni, Francesca 1 Volinia, Stefano all top 5 Serials 6 Theory and Practice of Logic Programming 4 Machine Learning 4 Fundamenta Informaticae 3 Information Processing Letters 3 New Generation Computing 3 Annals of Mathematics and Artificial Intelligence 3 Lecture Notes in Computer Science 2 Computers and Artificial Intelligence 2 The Journal of Logic Programming 1 Artificial Intelligence 1 Computer Languages 1 Information Sciences 1 Theoretical Computer Science 1 International Journal of Approximate Reasoning 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Journal of Logic and Computation 1 Computational & Mathematical Organization Theory 1 ACM Transactions on Computational Logic Fields 66 Computer science (68-XX) 5 General and overarching topics; collections (00-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) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 35 Publications have been cited 116 times in 68 Documents Cited by ▼ Year ▼ Distributed parameter learning for probabilistic ontologies. Zbl 1347.68320Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Lamma, Evelina 18 2016 A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics. Zbl 1400.68226Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina 14 2017 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 Compositional model-theoretic semantics for logic programs. Zbl 0782.68023Brogi, Antonio; Lamma, Evelina; Mello, Paola 7 1992 Lifted variable elimination for probabilistic logic programming. Zbl 1309.68027Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio; Santos Costa, Vitor; Zese, Riccardo 5 2014 Specification and verification of agent interaction using social integrity constraints. Zbl 1270.68160Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 5 2004 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 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 Datalog\(^\pm\) ontologies. Zbl 1407.68479Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe 4 2015 An abductive framework for information exchange in multi-agent systems. Zbl 1110.68503Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 4 2004 Mapping deontic operators to abductive expectations. Zbl 1103.68665Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni 3 2006 Reasoning on Datalog\(^\pm\) ontologies with abductive logic programming. Zbl 1390.68621Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe 3 2018 The \(S\)CIFF abductive proof-procedure. Zbl 1155.68517Alberti, Marco; 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 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 A unifying view for logic programming with non-monotonic reasoning. Zbl 0942.68021Brogi, Antonio; Lamma, Evelina; Mancarella, Paolo; Mello, Paola 2 1997 Tableau reasoning for description logics and its extension to probabilities. Zbl 1398.68506Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina 2 2018 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 LAILA: A language for coordinating abductive reasoning among logic agents. Zbl 0997.68015Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo 2 2002 Strategies in combined learning via logic programs. Zbl 0960.68024Lamma, Evelina; Riguzzi, Fabrizio; Moniz Pereira, Luís 2 2000 An abductive framework for extended logic programming. Zbl 1496.68312Brogi, Antonio; Lamma, Evelina; Mancarella, Paolo; Mello, Paola 2 1995 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 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 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 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 Hypothetical reasoning in logic programming: A semantic approach. Zbl 0706.68026Brogi, Antonio; Lamma, Evelina; Mello, Paola 1 1990 Editorial: 29th international conference on logic programming special issue. Zbl 1298.00316Lamma, Evelina; Swift, Terrance 1 2013 Cooperation of abduction and induction in logic programming. Zbl 1032.68558Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio; Esposito, Floriana; Ferilli, Stefano; Semeraro, Giovanni 1 2000 Integration of abductive reasoning and constraint optimization in SCIFF. Zbl 1251.68058Gavanelli, Marco; Alberti, Marco; Lamma, Evelina 1 2009 A semantics for hybrid probabilistic logic programs with function symbols. Zbl 07418639Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina 1 2021 Probabilistic inductive constraint logic. Zbl 07432819Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Alberti, Marco; Lamma, Evelina 1 2021 Nonground abductive logic programming with probabilistic integrity constraints. Zbl 07454769Bellodi, Elena; Gavanelli, Marco; Zese, Riccardo; Lamma, Evelina; Riguzzi, Fabrizio 1 2021 A semantics for hybrid probabilistic logic programs with function symbols. Zbl 07418639Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina 1 2021 Probabilistic inductive constraint logic. Zbl 07432819Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Alberti, Marco; Lamma, Evelina 1 2021 Nonground abductive logic programming with probabilistic integrity constraints. Zbl 07454769Bellodi, Elena; Gavanelli, Marco; Zese, Riccardo; Lamma, Evelina; Riguzzi, Fabrizio 1 2021 Reasoning on Datalog\(^\pm\) ontologies with abductive logic programming. Zbl 1390.68621Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe 3 2018 Tableau reasoning for description logics and its extension to probabilities. Zbl 1398.68506Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina 2 2018 A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics. Zbl 1400.68226Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina 14 2017 Distributed parameter learning for probabilistic ontologies. Zbl 1347.68320Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Lamma, Evelina 18 2016 An abductive framework for Datalog\(^\pm\) ontologies. Zbl 1407.68479Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe 4 2015 Lifted variable elimination for probabilistic logic programming. Zbl 1309.68027Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio; Santos Costa, Vitor; Zese, Riccardo 5 2014 Editorial: 29th international conference on logic programming special issue. Zbl 1298.00316Lamma, Evelina; Swift, Terrance 1 2013 Integration of abductive reasoning and constraint optimization in SCIFF. Zbl 1251.68058Gavanelli, Marco; Alberti, Marco; Lamma, Evelina 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 5 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 Strategies in combined learning via logic programs. Zbl 0960.68024Lamma, Evelina; Riguzzi, Fabrizio; Moniz Pereira, Luís 2 2000 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 2 1997 Distributed logic objects: A fragment of rewriting logic and its implementation. Zbl 0912.68090Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare 2 1996 An abductive framework for extended logic programming. Zbl 1496.68312Brogi, Antonio; Lamma, Evelina; Mancarella, Paolo; Mello, Paola 2 1995 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 7 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 all cited Publications top 5 cited Publications all top 5 Cited by 134 Authors 18 Lamma, Evelina 14 Riguzzi, Fabrizio 8 Mello, Paola 8 Zese, Riccardo 7 Bellodi, Elena 6 Alberti, Marco 5 Brogi, Antonio 5 Gavanelli, Marco 4 Cota, Giuseppe 4 Sadri, Fariba 4 Torroni, Paolo 3 Kowalski, Robert A. 3 Mancarella, Paolo 3 Peñaloza, Rafael 2 Azzolini, Damiano 2 Bourgne, Gauvain 2 Christiansen, Henning 2 Etalle, Sandro 2 Gabbrielli, Maurizio 2 Gagliardi Cozman, Fabio 2 Giordano, Laura 2 Martelli, Alberto 2 Mauá, Denis Deratani 2 Maudet, Nicolas 2 Meseguer Guaita, José 2 Montali, Marco 2 Nguembang Fadja, Arnaud 2 Satoh, Ken 2 Swift, Terrance 2 Toni, Francesca 1 Ahrendt, Wolfgang 1 Alliot, Jean-Marc 1 Bartocci, Ezio 1 Bianculli, Domenico 1 Bossi, Annalisa 1 Broersen, Jan M. 1 Bryl, Volha 1 Calejo, Miguel 1 Ceylan, İsmail İlkan 1 Chen, Jim X. 1 Chesani, Federico 1 Ching, Wai-Ki 1 Ciancarini, Paolo 1 Clavel, Manuel 1 Colombo, Christian 1 Cranefield, Stephen 1 Cropper, Andrew 1 Dan, Ralescu 1 de Leoni, Massimiliano 1 De Raedt, Luc 1 Dell’Acqua, Pierangelo 1 Demolombe, Robert 1 Dewoprabowo, Ridhwan 1 Diéguez, Martín 1 Dix, Jurgen 1 Doncescu, Andrei 1 Dong, Zegang 1 Eiter, Thomas 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 Fraccaroli, Michele 1 Francalanza, Adrian 1 Gabbay, Dov M. 1 Gottlob, Georg 1 Greco, Gianluigi 1 Grossi, Davide 1 Guo, Sini 1 Halatsis, Constantin 1 Hanh, Do Duc 1 Hutschenreiter, Lisa 1 Inoue, Katsumi 1 Kafalı, Özgür 1 Karali, Isambo 1 Kimmig, Angelika 1 Krstić, Srđan 1 Lager, Torbjörn 1 Law, Mark M. 1 Ledley, Robert Steven 1 Leone, Nicola 1 Levi, Giorgio 1 Li, Wai Keung 1 Li, Xiang 1 Lincoln, Patrick D. 1 Lorini, Emiliano 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 Nampally, Arun 1 Nickovic, Dejan 1 Obeid, Naji 1 Pace, Gordon J. ...and 34 more Authors all top 5 Cited in 17 Serials 9 Theory and Practice of Logic Programming 8 Machine Learning 7 Theoretical Computer Science 5 International Journal of Approximate Reasoning 5 Annals of Mathematics and Artificial Intelligence 4 Journal of Applied Logic 2 New Generation Computing 2 Computational & Mathematical Organization Theory 1 Computing 1 Information Sciences 1 Journal of Philosophical Logic 1 Journal of Automated 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 all top 5 Cited in 6 Fields 68 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Numerical analysis (65-XX) Citations by Year