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

@@ Property / DOI @@
-.1007/s10817-016-9386-0
@@ Property / DOI: 10.1007/s10817-016-9386-0 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+CEL
@@ Property / describes a project that uses: CEL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-016-9386-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2525707692
@@ Property / OpenAlex ID: W2525707692 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S10817-016-9386-0
@@ Property / DOI: 10.1007/S10817-016-9386-0 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2362495

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

Latest revision as of 05:20, 18 December 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)