Seguir
Evelina Lamma
Evelina Lamma
Professor of Computer Science, University of Ferrara
Dirección de correo verificada de unife.it
Título
Citado por
Citado por
Año
Verifiable agent interaction in abductive logic programming: the SCIFF framework
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni
ACM Transactions on Computational Logic (TOCL) 9 (4), 1-43, 2008
2122008
Modularity in logic programming
M Bugliesi, E Lamma, P Mello
The Journal of Logic Programming 19, 443-502, 1994
2031994
Exploiting inductive logic programming techniques for declarative process mining
F Chesani, E Lamma, P Mello, M Montali, F Riguzzi, S Storari
Transactions on Petri Nets and Other Models of Concurrency II: Special Issue …, 2009
1232009
Compliance verification of agent interaction: a logic-based software tool
M Alberti, M Gavanelli, E Lamma, F Chesani, P Mello, P Torroni
Applied Artificial Intelligence 20 (2-4), 133-157, 2006
1192006
Specification and verification of agent interaction protocols in a logic-based system
M Alberti, D Daolio, P Torroni, M Gavanelli, E Lamma, P Mello
Proceedings of the 2004 ACM symposium on Applied computing, 72-78, 2004
972004
Inducing declarative logic-based models from labeled traces
E Lamma, P Mello, M Montali, F Riguzzi, S Storari
Business Process Management: 5th International Conference, BPM 2007 …, 2007
922007
Applying inductive logic programming to process mining
E Lamma, P Mello, F Riguzzi, S Storari
Inductive Logic Programming: 17th International Conference, ILP 2007 …, 2008
842008
Integrating constraint logic programming and operations research techniques for the crew rostering problem
A Caprara, F Focacci, E Lamma, P Mello, M Milano, P Toth, D Vigo
Software: Practice and Experience 28 (1), 49-76, 1998
771998
Constraint propagation and value acquisition: why we should do it interactively
E Lamma, P Mello, M Milano, R Cucchiara, M Gavanelli, M Piccardi
IJCAI 99, 467-473, 1999
761999
Specification and verification of agent interaction using social integrity constraints
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni
Electronic Notes in Theoretical Computer Science 85 (2), 94-116, 2004
742004
Probabilistic description logics under the distribution semantics
F Riguzzi, E Bellodi, E Lamma, R Zese
Semantic Web 6 (5), 477-501, 2015
732015
Mapping deontic operators to abductive expectations
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni, G Sartor
Computational & Mathematical Organization Theory 12, 205-225, 2006
662006
Expressing and verifying business contracts with abductive logic programming
M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, M Montali, ...
International Journal of Electronic Commerce 12 (4), 9-38, 2008
642008
Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate
A Ciampolini, E Lamma, P Mello, F Toni, P Torroni
Annals of Mathematics and Artificial Intelligence 37, 65-91, 2003
582003
Reasoning with Probabilistic Ontologies.
F Riguzzi, E Bellodi, E Lamma, R Zese
IJCAI, 4310-4316, 2015
562015
Artificial intelligence techniques for monitoring dangerous infections
E Lamma, P Mello, A Nanetti, F Riguzzi, S Storari, G Valastro
IEEE Transactions on Information Technology in Biomedicine 10 (1), 143-155, 2006
532006
Enhancing implant surgery planning via computerized image processing.
R Cucchiara, F Franchini, A Lamma, E Lamma, T Sansoni, E Sarti
International Journal of Computerized Dentistry 4 (1), 9-24, 2001
492001
BUNDLE: A reasoner for probabilistic ontologies
F Riguzzi, E Bellodi, E Lamma, R Zese
International Conference on Web Reasoning and Rule Systems, 183-197, 2013
472013
An image analysis approach for automatically re-orienteering CT images for dental implants
R Cucchiara, E Lamma, T Sansoni
Computerized Medical Imaging and Graphics 28 (4), 185-201, 2004
472004
Compositional model-theoretic semantics for logic programs
A Brogi, E Lamma, P Mello
New generation computing 11, 1-21, 1992
471992
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20