1   2   3  
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina; Bellodi, Elena; Riguzzi, Fabrizio     dettagli >>
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 19, No. 3, pp: 449-476, Anno: 2019

Tableau reasoning for description logics and its extension to probabilities
Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina     dettagli >>
ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE
Vol. 82, No. 1-3, pp: 101-130, Anno: 2018

Evaluating Compliance: From LTL to Abductive Logic Programming
Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Montali, Marco     dettagli >>
FUNDAMENTA INFORMATICAE
Vol. 159, No. 1-2, pp: 35-63, Anno: 2018

Reasoning on Datalog± Ontologies with Abductive Logic Programming
Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe     dettagli >>
FUNDAMENTA INFORMATICAE
Vol. 159, No. 1-2, pp: 65-93, Anno: 2018

Accountable protocols in abductive logic programming
Gavanelli, Marco; Alberti, Marco; Lamma, Evelina     dettagli >>
ACM TRANSACTIONS ON INTERNET TECHNOLOGY
Vol. 18, No. 4, pp: 46:1-46:20, Anno: 2018

Economic and organizational impact of a clinical decision support system on laboratory test ordering
Bellodi, E; Vagnoni, E; Bonvento, B; Lamma, E.     dettagli >>
BMC MEDICAL INFORMATICS AND DECISION MAKING
Vol. 17, No. 1, pp: 165-175, Anno: 2017

A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina     dettagli >>
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
Vol. 80, No. 1, pp: 313-333, Anno: 2017

A web system for reasoning with probabilistic OWL
Bellodi, Elena; Lamma, Evelina; Riguzzi, Fabrizio; Zese, Riccardo; Cota, Giuseppe     dettagli >>
SOFTWARE, PRACTICE AND EXPERIENCE
Vol. 47, No. 1, pp: 125-142, Anno: 2017

Probabilistic logic programming on the web
Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina; Zese, Riccardo; Cota, Giuseppe     dettagli >>
SOFTWARE, PRACTICE AND EXPERIENCE
Vol. 46, No. 10, pp: 1381-1396, Anno: 2016

Bright PowerPoint: strumenti software integrati per l’accessibilità delle presentazioni
Campioni, Lorenzo; Peano, Andrea; Lamma, Evelina     dettagli >>
MONDO DIGITALE
Vol. 15, No. 64, pp: 93-113, Anno: 2016

Statistical relational learning for workflow mining
Bellodi, Elena; Riguzzi, Fabrizio; Lamma, Evelina     dettagli >>
INTELLIGENT DATA ANALYSIS
Vol. 20, No. 3, pp: 515-541, Anno: 2016

Probabilistic Description Logics under the distribution semantics
Riguzzi, Fabrizio; Bellodi, Elena; Lamma, Evelina; Zese, Riccardo     dettagli >>
SEMANTIC WEB
Vol. 6, No. 5, pp: 477-501, Anno: 2015

Lifted Variable Elimination for Probabilistic Logic Programming
E. Bellodi; E. Lamma; F. Riguzzi; V. Santos Costa; R. Zese     dettagli >>
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 14, No. 4-5, pp: 681-695, Anno: 2014

Editorial: 29th International Conference on Logic Programming special issue
Evelina Lamma; Terrance Swift     dettagli >>
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Vol. 13, No. 4-5, pp: 465-470, Anno: 2013

CT Dataset Anisotropy Management for Oral Implantology Planning Software
T. Chiarelli; E. Lamma; T. Sansoni     dettagli >>
INTERNATIONAL JOURNAL OF COMPUTER ASSISTED RADIOLOGY AND SURGERY
Vol. 8, No. 2, pp: 247-257, Anno: 2013

The CHR-based Implementation of the SCIFF Abductive System
Marco Alberti; Marco Gavanelli; Evelina Lamma     dettagli >>
FUNDAMENTA INFORMATICAE
Vol. 124, No. 4, pp: 365-381, Anno: 2013

Unsupervised and Supervised Learning in cascade for Petroleum Geology
D. Ferraretti; G. Gamberoni; E. Lamma     dettagli >>
EXPERT SYSTEMS WITH APPLICATIONS
Vol. 39, No. 1, pp: 9504-9514, Anno: 2012

From Implant Planning to Surgical Execution: an Integrated Approach for Surgery in Oral Implantology
Chiarelli, Tommaso; Franchini, Federico; Lamma, Achille; Lamma, Evelina; Sansoni, Tommaso     dettagli >>
THE INTERNATIONAL JOURNAL OF MEDICAL ROBOTICS AND COMPUTER ASSISTED SURGERY
Vol. 8, No. 1, pp: 57-66, Anno: 2012

Learning specifications of interaction protocols and business processes and proving their properties
M. Alberti; M. Gavanelli; E. Lamma; F. Riguzzi; S. Storari     dettagli >>
INTELLIGENZA ARTIFICIALE
Vol. 5, No. 1, pp: 71-75, Anno: 2011

A Computational Logic Application Framework for Service Discovery and Contracting
M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni     dettagli >>
INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH
Vol. 8, No. 3, pp: 1-25, Anno: 2011

1   2   3