Evelina Lamma
Evelina Lamma
Professor of Computer Science, University of Ferrara
Vahvistettu sähköpostiosoite verkkotunnuksessa unife.it
Nimike
Viittaukset
Viittaukset
Vuosi
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
1952008
Modularity in logic programming
M Bugliesi, E Lamma, P Mello
The Journal of Logic Programming 19, 443-502, 1994
1831994
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
1222006
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, 278-295, 2009
1082009
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
942004
Applying inductive logic programming to process mining
E Lamma, P Mello, F Riguzzi, S Storari
International Conference on Inductive Logic Programming, 132-146, 2007
752007
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
751999
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
751998
Inducing declarative logic-based models from labeled traces
E Lamma, P Mello, M Montali, F Riguzzi, S Storari
International Conference on Business Process Management, 344-359, 2007
722007
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
712004
Mapping deontic operators to abductive expectations
M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni, G Sartor
Computational & Mathematical Organization Theory 12 (2-3), 205-225, 2006
642006
Probabilistic description logics under the distribution semantics
F Riguzzi, E Bellodi, E Lamma, R Zese
Semantic Web 6 (5), 477-501, 2015
602015
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 (1), 65-91, 2003
582003
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
572008
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
512001
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
462006
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
452004
Compositional model-theoretic semantics for logic programs
A Brogi, E Lamma, P Mello
New generation computing 11 (1), 1-21, 1992
441992
Normal logic programs as open positive programs
A Brogi, E Lamma, PM Mancarella, P Mello
MIT Press, 1992
441992
A system for measuring function points from an er–dfd specification
E Lamma, P Mello, F Riguzzi
The Computer Journal 47 (3), 358-372, 2004
432004
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20