×

zbMATH — the first resource for mathematics

Lamma, Evelina

Compute Distance To:
Author ID: lamma.evelina Recent zbMATH articles by "Lamma, Evelina"
Published as: Lamma, Evelina; Lamma, E.
Documents Indexed: 59 Publications since 1990, including 3 Books

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 80 times in 57 Documents Cited by Year
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
10
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
8
2008
Distributed parameter learning for probabilistic ontologies. Zbl 1347.68320
Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Lamma, Evelina
8
2016
Lifted variable elimination for probabilistic logic programming. Zbl 1309.68027
Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio; Santos Costa, Vitor; Zese, Riccardo
5
2014
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
Compositional model-theoretic semantics for logic programs. Zbl 0782.68023
Brogi, Antonio; Lamma, Evelina; Mello, Paola
4
1992
An abductive framework for information exchange in multi-agent systems. Zbl 1110.68503
Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
4
2004
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
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 Datalog\(^\pm\) ontologies. Zbl 1407.68479
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
2
2015
Partial deduction for structured logic programming. Zbl 0774.68025
Bugliesi, Michele; Lamma, Evelina; Mello, Paola
2
1993
Strategies in combined learning via logic programs. Zbl 0960.68024
Lamma, Evelina; Riguzzi, Fabrizio; Moniz Pereira, Luís
2
2000
Distributed logic objects: A fragment of rewriting logic and its implementation. Zbl 0912.68090
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare
2
1996
Composing open logic programs. Zbl 0784.68020
Brogi, Antonio; 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
The \(S\)CIFF abductive proof-procedure. Zbl 1155.68517
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
2
2005
Mapping deontic operators to abductive expectations. Zbl 1103.68665
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni
2
2006
Reasoning on Datalog\(^\pm\) ontologies with abductive logic programming. Zbl 1390.68621
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
2
2018
Tableau reasoning for description logics and its extension to probabilities. Zbl 1398.68506
Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina
1
2018
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
A unifying view for logic programming with non-monotonic reasoning. Zbl 0942.68021
Brogi, Antonio; Lamma, Evelina; Mancarella, Paolo; Mello, Paola
1
1997
Editorial: 29th international conference on logic programming special issue. Zbl 1298.00316
Lamma, Evelina; Swift, Terrance
1
2013
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
1
2005
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 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
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
Integration of abductive reasoning and constraint optimization in SCIFF. Zbl 1251.68058
Gavanelli, Marco; Alberti, Marco; Lamma, Evelina
1
2009
Reasoning on Datalog\(^\pm\) ontologies with abductive logic programming. Zbl 1390.68621
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
2
2018
Tableau reasoning for description logics and its extension to probabilities. Zbl 1398.68506
Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina
1
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
10
2017
Distributed parameter learning for probabilistic ontologies. Zbl 1347.68320
Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Lamma, Evelina
8
2016
An abductive framework for Datalog\(^\pm\) ontologies. Zbl 1407.68479
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
2
2015
Lifted variable elimination for probabilistic logic programming. Zbl 1309.68027
Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio; Santos Costa, Vitor; Zese, Riccardo
5
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
8
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
Mapping deontic operators to abductive expectations. Zbl 1103.68665
Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo; Sartor, Giovanni
2
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
1
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
Strategies in combined learning via logic programs. Zbl 0960.68024
Lamma, Evelina; Riguzzi, Fabrizio; Moniz Pereira, Luís
2
2000
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
all top 5

Cited by 113 Authors

13 Lamma, Evelina
8 Riguzzi, Fabrizio
7 Mello, Paola
5 Alberti, Marco
5 Zese, Riccardo
4 Bellodi, Elena
4 Brogi, Antonio
4 Cota, Giuseppe
4 Gavanelli, Marco
4 Sadri, Fariba
4 Torroni, Paolo
3 Kowalski, Robert A.
3 Peñaloza, Rafael
2 Bourgne, Gauvain
2 Christiansen, Henning
2 Etalle, Sandro
2 Gabbrielli, Maurizio
2 Gagliardi Cozman, Fabio
2 Giordano, Laura
2 Mancarella, Paolo
2 Martelli, Alberto
2 Mauá, Denis Deratani
2 Maudet, Nicolas
2 Meseguer Guaita, José
2 Montali, Marco
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 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 Cropper, Andrew
1 Dan, Ralescu
1 de Leoni, Massimiliano
1 De Raedt, Luc
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 Francalanza, Adrian
1 Greco, Gianluigi
1 Guo, Sini
1 Hanh, Do Duc
1 Hutschenreiter, Lisa
1 Inoue, Katsumi
1 Kafalı, Özgür
1 Kimmig, Angelika
1 Krstić, Srđan
1 Lager, Torbjörn
1 Law, Mark M.
1 Ledley, Robert Steven
1 Levi, Giorgio
1 Li, Wai Keung
1 Li, Xiang
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 Nampally, Arun
1 Nguembang Fadja, Arnaud
1 Nickovic, Dejan
1 Obeid, Naji
1 Pace, Gordon J.
1 Phan Minh Dung
1 Potyka, Nico
1 Ramakrishnan, C. R.
1 Ray, Oliver
1 Reijers, Hajo A.
1 Rufino, José
1 Sánchez, César
1 Sartor, Giovanni
1 Schneider, Gerardo
1 Schwind, Camilla B.
1 Schwitter, Rolf
1 Shroff, Gautam M.
1 Signoles, Julien
1 Srinivasan, Ashwin
1 Stathis, Kostas
...and 13 more Authors

Citations by Year