The Bayesian ontology language $\mathcal {BEL}$ (Q2362495): Difference between revisions

@@ Property / cites work @@
+BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies
+Normal rank
@@ Property / cites work @@
+Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
+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 @@
+Finding MAPs for belief networks is NP-hard
@@ Property / cites work: Finding MAPs for belief networks is NP-hard / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+PP is closed under intersection
@@ Property / cites work: PP is closed under intersection / rank @@
+Normal rank
@@ Property / cites work @@
+The Bayesian Description Logic ${\mathcal{BEL}}$
@@ Property / cites work: The Bayesian Description Logic ${\mathcal{BEL}}$ / rank @@
+Normal rank
@@ Property / cites work @@
+Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of probabilistic inference using Bayesian belief networks
+Normal rank
@@ Property / cites work @@
+Modeling and Reasoning with Bayesian Networks
@@ Property / cites work: Modeling and Reasoning with Bayesian Networks / rank @@
+Normal rank
@@ Property / cites work @@
+The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
+Normal rank
@@ Property / cites work @@
+Computational Complexity of Probabilistic Turing Machines
+Normal rank
@@ Property / cites work @@
+Stochastic Boolean satisfiability
@@ Property / cites work: Stochastic Boolean satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715665
@@ Property / cites work: Q5715665 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
+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 @@
+Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
+Normal rank

The Bayesian ontology language \(\mathcal {BEL}\) (Q2362495): Difference between revisions

Revision as of 02:12, 14 July 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)