SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

LAMMA, Evelina

LAMMA, Evelina  

Dipartimento di Ingegneria  

Mostra records
Risultati 1 - 20 di 237 (tempo di esecuzione: 0.019 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 Comparison of MCMC Sampling for Probabilistic Logic Programming 2019 Azzolini, D.; Riguzzi, F.; Masotti, F.; Lamma, E.
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 Coordination Protocol for Abductive Logic Agents 1999 A., Ciampolini; Lamma, Evelina; P., Mello; Stefanelli, Cesare file con accesso da definire
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 2018 Chesani, Federico; Cota, Giuseppe; Lamma, Evelina; Mello, Paola; Riguzzi, Fabrizio
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 non-DL-Safe Probabilistic Hybrid Knowledge Bases 2017 Alberti, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo 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 Framework for Reasoning on Probabilistic Description Logics 2020 Cota, Giuseppe; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio
A fully 3D work context for oral implant planning and simulation 2010 Chiarelli, Tommaso; Lamma, Evelina; Sansoni, Tommaso 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 logic-based approach to interaction design in open multi-agent systems 2004 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Torroni, P. file con accesso da definire
A Modular Inference System for Probabilistic Description Logics 2018 Cota, Giuseppe; Riguzzi, Fabrizio; Zese, Riccardo; Bellodi, Elena; Lamma, Evelina
A probabilistic logic model of Lightning Network 2022 Azzolini, Damiano; Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina 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 Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services 2007 Alberti, Marco; Chesani, F; Gavanelli, Marco; Lamma, Evelina; Mello, P; Montali, M; Torroni, P. file con accesso da definire
A semantics for Hybrid Probabilistic Logic programs with function symbols 2021 Azzolini, D.; Riguzzi, F.; Lamma, E.