Reasoning with Uncertain and Inconsistent OWL Ontologies (Q4647816): Difference between revisions

@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning: From complexity to algorithms
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4863622
@@ Property / cites work: Q4863622 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing the Levi identity
@@ Property / cites work: Reversing the Levi identity / rank @@
+Normal rank
@@ Property / cites work @@
+Kernel contraction
@@ Property / cites work: Kernel contraction / rank @@
+Normal rank
@@ Property / cites work @@
+A textbook of belief dynamics. Theory change and database updating
+Normal rank
@@ Property / cites work @@
+Practical reasoning for very expressive description logics
+Normal rank
@@ Property / cites work @@
+Reasoning in description logics by a reduction to disjunctive datalog
+Normal rank
@@ Property / cites work @@
+The complexity of optimization problems
@@ Property / cites work: The complexity of optimization problems / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Probabilistic default reasoning with conditional constraints
+Normal rank
@@ Property / cites work @@
+Expressive probabilistic description logics
@@ Property / cites work: Expressive probabilistic description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning Support for Mapping Revision
@@ Property / cites work: Reasoning Support for Mapping Revision / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving with ordering and equality constrained clauses
+Normal rank
@@ Property / cites work @@
+Q4463936
@@ Property / cites work: Q4463936 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending description logics with uncertainty reasoning in possibilistic 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 @@
+Q3429161
@@ Property / cites work: Q3429161 / rank @@
+Normal rank