Tableau reasoning for description logics and its extension to probabilities
From MaRDI portal
Publication:1653448
DOI10.1007/s10472-016-9529-3zbMath1398.68506OpenAlexW2530494681WikidataQ58063511 ScholiaQ58063511MaRDI QIDQ1653448
Giuseppe Cota, Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
Publication date: 6 August 2018
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11392/2353879
Related Items (4)
The Probabilistic Description Logic ⋮ Unnamed Item ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Abduction with probabilistic logic programming under the distribution semantics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Automata-based axiom pinpointing
- An analysis of first-order logics of probability
- Deciding expressive description logics in the framework of resolution
- Scalable uncertainty management. Second international conference, SUM 2008, Naples, Italy, October 1--3, 2008. Proceedings
- Uncertainty reasoning for the semantic web I. ISWC international workshops, URSW 2005--2007. Revised selected and invited papers
- Probabilistic logic
- A theory of diagnosis from first principles
- The independent choice logic for modelling multiple agents under uncertainty
- Probabilistic default reasoning with conditional constraints
- lean\(T^ AP\): Lean tableau-based deduction
- Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
- A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
- Expressive probabilistic description logics
- Distributed Parameter Learning for Probabilistic Ontologies
- Pengines: Web Logic Programming Made Easy
- ProbLog Technology for Inference in a Probabilistic First Order Logic
- Efficient description logic reasoning in Prolog: The DLog system
- OntoDLV: An ASP-based System for Enterprise Ontologies
- Axiom Pinpointing in General Tableaux
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
- Abducing through negation as failure: stable models within the independent choice logic
- Structure learning of probabilistic logic programs by searching the clause space
- Reasoning on Datalog± Ontologies with Abductive Logic Programming
- Theory and Applications of Satisfiability Testing
- Logic programming with satisfiability
This page was built for publication: Tableau reasoning for description logics and its extension to probabilities
