Preface
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio     dettagli >>
Springer Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol. 9336, No. 1, pp: 6-6, Anno: 2015

Semantics and inference for Probabilistic Description Logics
R. Zese; E. Bellodi; E. Lamma; F. Riguzzi; F. Aguiari     dettagli >>
Springer Verlag, Uncertainty Reasoning for the Semantic Web III. ISWC International Workshops, URSW 2011-2013, Revised Selected Papers
Vol. 8816, No. 1, pp: 79-99, Anno: 2014

Learning Probabilistic Description Logics
Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina; Zese, Riccardo; Cota, Giuseppe     dettagli >>
Springer Verlag, Uncertainty Reasoning for the Semantic Web III. ISWC International Workshops, URSW 2011-2013, Revised Selected Papers
Vol. 8816, No. 1, pp: 63-78, Anno: 2014

Deon  + : Abduction and Constraints for Normative Reasoning
Marco Alberti;Marco Gavanelli;Evelina Lamma     dettagli >>
Springer-Verlag, Logic Programs, Norms and Action
Vol. 7360, No. 1, pp: 308-328, Anno: 2012

Incremental Declarative Process Mining
M. Cattafi ; E. Lamma ; F. Riguzzi; S. Storari     dettagli >>
Springer, Smart Information and Knowledge Management: Advances, Challenges and Critical Issues
Vol. 260, No. 1, pp: 103-127, Anno: 2010

Exploiting inductive logic programming techniques for declarative process mining
F. Chesani; E. Lamma; P. Mello; M. Montali; F. Riguzzi; S. Storari     dettagli >>
Springer Berlin Heidelberg, LNCS Transactions on Petri Nets and Other Models of Concurrency, ToPNoC II
Vol. 5460, No. 1, pp: 278-295, Anno: 2009

Modeling interactions via commitments and expectations
P. Torroni; F. Chesani; P. Mello; P. Yolum; M.P. Singh; M. Alberti; M. Gavanelli; E. Lamma     dettagli >>
IGI Global, Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models
pp: 263-284, Anno: 2009

Compliance checking of careflows: an approach based on computational logic
Chesani F; Lamma E.; Mello P.; Montali M; Storari S.; Baldazzi P.; Manfredi M.     dettagli >>
IOS Press, Computer-based Medical Guidelines and Protocols: a Primer and Current Trends
Vol. 139, No. 1, pp: 183-192, Anno: 2008

Abduction in the context of a reasoning process: the SCIFF framework
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello     dettagli >>
CSLI publications. Center for the Study of Language and Information, Reasoning, Rationality, and Probability
pp: 271-287, Anno: 2008

Un sistema basato su logica computazionale per il trattamento degli operatori deontici
ALBERTI M; M. GAVANELLI; LAMMA E; SARTOR G; TORRONI P     dettagli >>
Gedit edizioni, La gestione e la negoziazione automatica dei diritti sulle opere dell'ingegno digitali: aspetti giuridici e informatici
pp: 1-33, Anno: 2006

Improving the k2 algorithm using association rule parameters
LAMMA E.; RIGUZZI F; STORARI S     dettagli >>
Elsevier, Modern Information Processing: From Theory to Applications
pp: 207-217, Anno: 2006

Correlation of expression between different IMAGE clones from the same UniGene cluster
Gamberoni, Giacomo; Lamma, Evelina; Storari, Sergio; Arcelli, Diego; Francioso, Francesca; Volinia, Stefano     dettagli >>
Springer-Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol. 3337, No. 1, pp: 498-506, Anno: 2004

Learning the dose adjustment for the oral anticoagulation treatment
GAMBERONI G.; LAMMA E; MELLO P; PAVESI P; STORARI S; TROCINO G     dettagli >>
Springer-Verlag, BIOLOGICAL AND MEDICAL DATA ANALYSIS, PROCEEDINGS
Vol. 3337, No. 1, pp: 171-181, Anno: 2004

A Proof System for the Safe Execution of Tasks in Multi-Agent Systems
CIAMPOLINI A.; LAMMA E.; MELLO P.; TORRONI P.     dettagli >>
Springer-Verlag, LOGICS IN ARTIFICIAL INTELLIGENCE 8TH
Vol. 2424, No. 1, pp: 4-26, Anno: 2002

Cooperation of abduction and induction in logic programming
ESPOSITO F.; FERILLI S.; LAMMA E.; MELLO P.; MILANO M.; RIGUZZI F.; SEMERARO G.     dettagli >>
Kluwer Academic Publishers, Abductive and Inductive Reasoning: Essays on their Relation and Integration
pp: 233-252, Anno: 2000