Tableau reasoning for description logics and its extension to probabilities (Q1653448): Difference between revisions

@@ Property / describes a project that uses @@
+leanTAP
@@ Property / describes a project that uses: leanTAP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pengines
@@ Property / describes a project that uses: Pengines / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OntoDLV
@@ Property / describes a project that uses: OntoDLV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pellet
@@ Property / describes a project that uses: Pellet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PR-OWL
@@ Property / describes a project that uses: PR-OWL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2530494681
@@ Property / OpenAlex ID: W2530494681 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q58063511
@@ Property / Wikidata QID: Q58063511 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-based axiom pinpointing
@@ Property / cites work: Automata-based axiom pinpointing / rank @@
+Normal rank
@@ Property / cites work @@
+Axiom Pinpointing in General Tableaux
@@ Property / cites work: Axiom Pinpointing in General Tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+lean\(T^ AP\): Lean tableau-based deduction
@@ Property / cites work: lean\(T^ AP\): Lean tableau-based deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Structure learning of probabilistic logic programs by searching the clause space
+Normal rank
@@ Property / cites work @@
+ProbLog Technology for Inference in a Probabilistic First Order Logic
+Normal rank
@@ Property / cites work @@
+Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web
+Normal rank
@@ Property / cites work @@
+Pengines: Web Logic Programming Made Easy
@@ Property / cites work: Pengines: Web Logic Programming Made Easy / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming with satisfiability
@@ Property / cites work: Logic programming with satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Uncertainty reasoning for the semantic web I. ISWC international workshops, URSW 2005--2007. Revised selected and invited papers
+Normal rank
@@ Property / cites work @@
+Scalable uncertainty management. Second international conference, SUM 2008, Naples, Italy, October 1--3, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning on Datalog± Ontologies with Abductive Logic Programming
+Normal rank
@@ Property / cites work @@
+Q4708909
@@ Property / cites work: Q4708909 / rank @@
+Normal rank
@@ Property / cites work @@
+Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies
+Normal rank
@@ Property / cites work @@
+An analysis of first-order logics of probability
@@ Property / cites work: An analysis of first-order logics of probability / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive probabilistic description logics
@@ Property / cites work: Expressive probabilistic description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding expressive description logics in the framework of resolution
+Normal rank
@@ Property / cites work @@
+Efficient description logic reasoning in Prolog: The DLog system
+Normal rank
@@ Property / cites work @@
+Probabilistic default reasoning with conditional constraints
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The independent choice logic for modelling multiple agents under uncertainty
+Normal rank
@@ Property / cites work @@
+Abducing through negation as failure: stable models within the independent choice logic
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+OntoDLV: An ASP-based System for Enterprise Ontologies
+Normal rank
@@ Property / cites work @@
+Distributed Parameter Learning for Probabilistic Ontologies
+Normal rank
@@ Property / cites work @@
+A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics
+Normal rank