LAMMA, Evelina

LAMMA, Evelina  

Dipartimento di Ingegneria  

Mostra records
Risultati 1 - 20 di 232 (tempo di esecuzione: 0.048 secondi).
Titolo Data di pubblicazione Autore(i) File
29th International Conference on Logic Programming 2013 Lamma, Evelina; Terrance, Swift file con accesso da definire
A 3D environment for oral implant planning and simulation 2009 Chiarelli, Tommaso; F., Franchini; A., Lamma; Lamma, Evelina; Sansoni, Tommaso file con accesso da definire
A CHR-based implementation of known arc-consistency 2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Milano, M. file con accesso da definire
A Computational Logic Application Framework for Service Discovery and Contracting 2011 Alberti, Marco; Cattafi, Massimiliano; F., Chesani; Gavanelli, Marco; Lamma, Evelina; P., Mello; ...M., Montali; P., Torroni file con accesso da definire
A computational logic-based approach to verification of IT systems 2007 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Storari, Serg...io; Torroni, P. file con accesso da definire
A Description Logics Tableau Reasoner in Prolog 2013 Zese, Riccardo; Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio file con accesso da definire
A Distribution Semantics for Probabilistic Ontologies 2011 Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio; S., Albani file con accesso da definire
A Logic Based Approach to Multi-Agent Systems 2001 ALFERES J., J; Dell'Acqua, P; Lamma, Evelina; LEITE J., A; PEREIRA L., M; Riguzzi, Fabrizio file con accesso da definire
A Proof System for the Safe Execution of Tasks in Multi-Agent Systems 2002 Ciampolini, A.; Lamma, Evelina; Mello, P.; Torroni, P. file con accesso da definire
A system for monotoring nosocomial infections 2000 Lamma, Evelina; Manservigi, M; Mello, Paola; Riguzzi, Fabrizio; Serra, R; Storari, Sergio file con accesso da definire
A system for multi-agent belief revision by genetic search 2001 Lamma, Evelina; Riguzzi, Fabrizio; Pereira, L. M. file con accesso da definire
A Tool to Achieve Correct and Precise Measurements for Oral Implant Planning and Simulation 2009 Chiarelli, Tommaso; Lamma, Evelina; Sansoni, Tommaso file con accesso da definire
A Verifiable Logic-Based Agent Architecture 2006 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P. file con accesso da definire
Abduction for specifying and verifying web service choreographies 2006 Alberti, Marco; Chesani, F.; Gavanelli, Marco; Lamma, Evelina; Mello, P.; Montali, M.; Storari, S...ergio file con accesso da definire
Abduction in the context of a reasoning process: the SCIFF framework 2008 Alberti, Marco; F., Chesani; Gavanelli, Marco; Lamma, Evelina; P., Mello file con accesso da definire
Abduction with hypotheses confirmation 2005 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
An Abductive Framework for Datalog± Ontologies 2015 Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe
An abductive framework for information sharing in multi-agent systems 2004 Gavanelli, Marco; Lamma, Evelina; Mello, P.; Torroni, P. file con accesso da definire
An Abductive Interpretation for Open Agent Societies 2003 Alberti, Marco; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P.
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 2010 M., Montali; P., Torroni; F., Chesani; P., Mello; Alberti, Marco; Lamma, Evelina file con accesso da definire