Expressive probabilistic description logics (Q2389639): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2007.10.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2055641305
@@ Property / OpenAlex ID: W2055641305 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599801
@@ Property / cites work: Q5599801 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, conditional objects and possibility theory
+Normal rank
@@ Property / cites work @@
+Belief functions and default reasoning
@@ Property / cites work: Belief functions and default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic under coherence: complexity and algorithms
+Normal rank
@@ Property / cites work @@
+The computational complexity of probabilistic inference using Bayesian belief networks
+Normal rank
@@ Property / cites work @@
+Soft computing in ontologies and semantic web.
@@ Property / cites work: Soft computing in ontologies and semantic web. / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional objects as nonmonotonic consequence relationships
+Normal rank
@@ Property / cites work @@
+Q4012236
@@ Property / cites work: Q4012236 / rank @@
+Normal rank
@@ Property / cites work @@
+Default reasoning from conditional knowledge bases: Complexity and tractable cases
+Normal rank
@@ Property / cites work @@
+Ontology Matching
@@ Property / cites work: Ontology Matching / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about probabilities
@@ Property / cites work: A logic for reasoning about probabilities / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime deduction for probabilistic logic
@@ Property / cites work: Anytime deduction for probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4211190
@@ Property / cites work: Q4211190 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional entailment: bridging two approaches to default reasoning.
+Normal rank
@@ Property / cites work @@
+Probabilistic satisfiability
@@ Property / cites work: Probabilistic satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708909
@@ Property / cites work: Q4708909 / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of defeasible databases
@@ Property / cites work: On the consistency of defeasible databases / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative probabilities for default reasoning, belief revision, and causal modeling
+Normal rank
@@ Property / cites work @@
+Q4539653
@@ Property / cites work: Q4539653 / rank @@
+Normal rank
@@ Property / cites work @@
+Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+Q4938424
@@ Property / cites work: Q4938424 / rank @@
+Normal rank
@@ Property / cites work @@
+PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
+Normal rank
@@ Property / cites work @@
+Column Generation Methods for Probabilistic Logic
@@ Property / cites work: Column Generation Methods for Probabilistic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computing functions with parallel queries to NP
@@ Property / cites work: Computing functions with parallel queries to NP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Another perspective on default reasoning
@@ Property / cites work: Another perspective on default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+What does a conditional knowledge base entail?
@@ Property / cites work: What does a conditional knowledge base entail? / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding
+Normal rank
@@ Property / cites work @@
+Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation
+Normal rank
@@ Property / cites work @@
+Q4242057
@@ Property / cites work: Q4242057 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic default reasoning with conditional constraints
+Normal rank
@@ Property / cites work @@
+Probabilistic description logic programs
@@ Property / cites work: Probabilistic description logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic programming with conditional constraints
+Normal rank
@@ Property / cites work @@
+Weak nonmonotonic probabilistic logics
@@ Property / cites work: Weak nonmonotonic probabilistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494324
@@ Property / cites work: Q4494324 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+ADDING PROBABILITIES AND RULES TO OWL LITE SUBSETS BASED ON PROBABILISTIC DATALOG
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of the two-variable fragment with counting quantifiers
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On the hardness of approximate reasoning
@@ Property / cites work: On the hardness of approximate reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A taxonomy of complexity classes of functions
@@ Property / cites work: A taxonomy of complexity classes of functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5478209
@@ Property / cites work: Q5478209 / rank @@
+Normal rank