Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185): Difference between revisions

@@ Property / describes a project that uses @@
+ProbLog
@@ Property / describes a project that uses: ProbLog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06180
@@ Property / arXiv ID: 1809.06180 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / 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 @@
+An overview of tableau algorithms for description logics
+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 @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q4631194
@@ Property / cites work: Q4631194 / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+Deciding expressive description logics in the framework of resolution
+Normal rank
@@ Property / cites work @@
+On the implementation of the probabilistic logic programming language ProbLog
+Normal rank
@@ Property / cites work @@
+A Hybrid Method for Probabilistic Satisfiability
@@ Property / cites work: A Hybrid Method for Probabilistic Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient description logic reasoning in Prolog: The DLog system
+Normal rank
@@ Property / cites work @@
+Expressive probabilistic description logics
@@ Property / cites work: Expressive probabilistic description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+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
@@ Property / cites work @@
+Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
+Normal rank
@@ Property / cites work @@
+The PITA system: Tabling and answer subsumption for reasoning under uncertainty
+Normal rank
@@ Property / cites work @@
+Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures
+Normal rank
@@ Property / cites work @@
+Tableau reasoning for description logics and its extension to probabilities
+Normal rank
@@ Property / OpenAlex ID @@
+W2952265214
@@ Property / OpenAlex ID: W2952265214 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128574832
@@ Property / Wikidata QID: Q128574832 / rank @@
+Normal rank