Edit Profile (opens in new tab) Lamma, Evelina Co-Author Distance Author ID: lamma.evelina Published as: Lamma, Evelina; Lamma, E. Documents Indexed: 63 Publications since 1990 4 Contributions as Editor Co-Authors: 36 Co-Authors with 67 Joint Publications 649 Co-Co-Authors all top 5 Co-Authors 0 single-authored 41 Mello, Paola 25 Riguzzi, Fabrizio 23 Gavanelli, Marco 19 Alberti, Marco 15 Torroni, Paolo 13 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 67 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 39 Publications have been cited 134 times in 78 Documents Cited by ▼ Year ▼ Distributed parameter learning for probabilistic ontologies. Zbl 1347.68320 Cota, 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.68226 Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina 14 2017 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 13 2008 Compositional model-theoretic semantics for logic programs. Zbl 0782.68023 Brogi, Antonio; Lamma, Evelina; Mello, Paola 8 1992 Lifted variable elimination for probabilistic logic programming. Zbl 1309.68027 Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio; Santos Costa, Vitor; Zese, Riccardo 6 2014 An abductive framework for Datalog\(^\pm\) ontologies. Zbl 1407.68479 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe 6 2015 Specification and verification of agent interaction using social integrity constraints. Zbl 1270.68160 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 5 2004 Tableau reasoning for description logics and its extension to probabilities. Zbl 1398.68506 Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina 5 2018 Verification from declarative specifications using logic programming. Zbl 1185.68419 Montali, Marco; Torroni, Paolo; Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola 5 2008 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 Reasoning on Datalog\(^\pm\) ontologies with abductive logic programming. Zbl 1390.68621 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe 3 2018 Mapping deontic operators to abductive expectations. Zbl 1103.68665 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni 3 2006 Strategies in combined learning via logic programs. Zbl 0960.68024 Lamma, Evelina; Riguzzi, Fabrizio; Moniz Pereira, Luís 3 2000 Distributed logic objects: A fragment of rewriting logic and its implementation. Zbl 0912.68090 Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare 3 1996 LAILA: A language for coordinating abductive reasoning among logic agents. Zbl 0997.68015 Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Torroni, Paolo 2 2002 The \(S\)CIFF abductive proof-procedure. Zbl 1155.68517 Alberti, Marco; 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 A semantics for hybrid probabilistic logic programs with function symbols. Zbl 1519.68040 Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina 2 2021 An abductive interpretation for open agent societies. Zbl 1274.68575 Alberti, M.; Gavanelli, M.; Lamma, E.; Mello, P.; Torroni, P. 2 2003 Composing open logic programs. Zbl 0784.68020 Brogi, Antonio; Lamma, Evelina; Mello, Paola 2 1993 A unifying view for logic programming with non-monotonic reasoning. Zbl 0942.68021 Brogi, Antonio; Lamma, Evelina; Mancarella, Paolo; Mello, Paola 2 1997 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 An abductive framework for extended logic programming. Zbl 1496.68312 Brogi, Antonio; Lamma, Evelina; Mancarella, Paolo; Mello, Paola 2 1995 Probabilistic inductive constraint logic. Zbl 07432819 Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Alberti, Marco; Lamma, Evelina 2 2021 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 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 Belief revision via Lamarckian evolution. Zbl 1089.68598 Lamma, Evelina; Riguzzi, Fabrizio; Pereira, Luís Moniz 1 2003 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 Applying inductive logic programming to process mining. Zbl 1136.68489 Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio; Storari, Sergio 1 2008 A social ACL semantics by deontic constraints. Zbl 1047.68651 Alberti, Marco; Ciampolini, Anna; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo 1 2003 Hypothetical reasoning in logic programming: A semantic approach. Zbl 0706.68026 Brogi, Antonio; Lamma, Evelina; Mello, Paola 1 1990 Editorial: 29th international conference on logic programming special issue. Zbl 1298.00316 Lamma, Evelina; Swift, Terrance 1 2013 Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach. Zbl 1472.68194 Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina; Bellodi, Elena; Riguzzi, Fabrizio 1 2019 Integration of abductive reasoning and constraint optimization in SCIFF. Zbl 1251.68058 Gavanelli, Marco; Alberti, Marco; Lamma, Evelina 1 2009 An implementation for abductive logic agents. Zbl 0970.68615 Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P. 1 2000 Dischargeable obligations in abductive logic programming. Zbl 1490.68207 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo 1 2017 Learning hierarchical probabilistic logic programs. Zbl 07465652 Nguembang Fadja, Arnaud; Riguzzi, Fabrizio; Lamma, Evelina 1 2021 Nonground abductive logic programming with probabilistic integrity constraints. Zbl 1522.68099 Bellodi, Elena; Gavanelli, Marco; Zese, Riccardo; Lamma, Evelina; Riguzzi, Fabrizio 1 2021 A semantics for hybrid probabilistic logic programs with function symbols. Zbl 1519.68040 Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina 2 2021 Probabilistic inductive constraint logic. Zbl 07432819 Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Alberti, Marco; Lamma, Evelina 2 2021 Learning hierarchical probabilistic logic programs. Zbl 07465652 Nguembang Fadja, Arnaud; Riguzzi, Fabrizio; Lamma, Evelina 1 2021 Nonground abductive logic programming with probabilistic integrity constraints. Zbl 1522.68099 Bellodi, Elena; Gavanelli, Marco; Zese, Riccardo; Lamma, Evelina; Riguzzi, Fabrizio 1 2021 Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach. Zbl 1472.68194 Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina; Bellodi, Elena; Riguzzi, Fabrizio 1 2019 Tableau reasoning for description logics and its extension to probabilities. Zbl 1398.68506 Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina 5 2018 Reasoning on Datalog\(^\pm\) ontologies with abductive logic programming. Zbl 1390.68621 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe 3 2018 A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics. Zbl 1400.68226 Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina 14 2017 Dischargeable obligations in abductive logic programming. Zbl 1490.68207 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo 1 2017 Distributed parameter learning for probabilistic ontologies. Zbl 1347.68320 Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Lamma, Evelina 18 2016 An abductive framework for Datalog\(^\pm\) ontologies. Zbl 1407.68479 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe 6 2015 Lifted variable elimination for probabilistic logic programming. Zbl 1309.68027 Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio; Santos Costa, Vitor; Zese, Riccardo 6 2014 Editorial: 29th international conference on logic programming special issue. Zbl 1298.00316 Lamma, Evelina; Swift, Terrance 1 2013 Integration of abductive reasoning and constraint optimization in SCIFF. Zbl 1251.68058 Gavanelli, Marco; Alberti, Marco; Lamma, Evelina 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 13 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 5 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 5 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. 2 2003 Belief revision via Lamarckian evolution. Zbl 1089.68598 Lamma, Evelina; Riguzzi, Fabrizio; Pereira, Luís Moniz 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 Strategies in combined learning via logic programs. Zbl 0960.68024 Lamma, Evelina; Riguzzi, Fabrizio; Moniz Pereira, Luís 3 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 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 2 1997 Distributed logic objects: A fragment of rewriting logic and its implementation. Zbl 0912.68090 Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare 3 1996 An abductive framework for extended logic programming. Zbl 1496.68312 Brogi, Antonio; Lamma, Evelina; Mancarella, Paolo; Mello, Paola 2 1995 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 8 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 all cited Publications top 5 cited Publications all top 5 Cited by 148 Authors 20 Lamma, Evelina 17 Riguzzi, Fabrizio 9 Mello, Paola 9 Zese, Riccardo 7 Alberti, Marco 7 Bellodi, Elena 5 Brogi, Antonio 5 Gavanelli, Marco 5 Peñaloza, Rafael 4 Cota, Giuseppe 4 Sadri, Fariba 4 Torroni, Paolo 3 Azzolini, Damiano 3 Kowalski, Robert A. 3 Mancarella, Paolo 3 Meseguer Guaita, José 2 Bourgne, Gauvain 2 Christiansen, Henning 2 De Raedt, Luc 2 Etalle, Sandro 2 Gabbrielli, Maurizio 2 Gagliardi Cozman, Fabio 2 Giordano, Laura 2 Martelli, Alberto 2 Mauá, Denis Deratani 2 Maudet, Nicolas 2 Moniz Pereira, Luís 2 Montali, Marco 2 Nguembang Fadja, Arnaud 2 Satoh, Ken 2 Swift, Terrance 2 Toni, Francesca 1 Abriola, Sergio 1 Abuin, Alex 1 Ahrendt, Wolfgang 1 Alliot, Jean-Marc 1 Antić, Christian 1 Bartocci, Ezio 1 Bianculli, Domenico 1 Bolotov, Alexander 1 Bossi, Annalisa 1 Botha, Leonard 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 Cifuentes, Santiago 1 Clavel, Manuel 1 Colombo, Christian 1 Cranefield, Stephen 1 Cropper, Andrew 1 Dan, Ralescu 1 de Leoni, Massimiliano 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 Fisher, Michael 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 Hermo, Montserrat 1 Hutschenreiter, Lisa 1 Inoue, Katsumi 1 Kafalı, Özgür 1 Karali, Isambo 1 Kimmig, Angelika 1 Krstić, Srđan 1 Kumar, Nitesh 1 Kuželka, Ondřej 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 ...and 48 more Authors all top 5 Cited in 18 Serials 11 Theory and Practice of Logic Programming 7 Theoretical Computer Science 7 International Journal of Approximate Reasoning 7 Machine Learning 6 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 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 7 Fields 78 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 3 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 General and overarching topics; collections (00-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) Citations by Year