Understanding the complexity of axiom pinpointing in lightweight description logics (Q1680678): Difference between revisions

@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+The DL-Lite Family and Relations
@@ Property / cites work: The DL-Lite Family and Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Towards efficient MUS extraction
@@ Property / cites work: Towards efficient MUS extraction / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative and core-guided maxsat solving: a survey and assessment
+Normal rank
@@ Property / cites work @@
+Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$
+Normal rank
@@ Property / cites work @@
+Inconsistency-Tolerant Instance Checking in Tractable Description Logics
+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 @@
+The Bayesian ontology language \(\mathcal {BEL}\)
@@ Property / cites work: The Bayesian ontology language \(\mathcal {BEL}\) / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
+Normal rank
@@ Property / cites work @@
+Algorithms for computing minimal unsatisfiable subsets of constraints
+Normal rank
@@ Property / cites work @@
+KI 2007: Advances in artificial intelligence. 30th annual German conference on AI, KI 2007, Osnabrück, Germany, September 10--13, 2007. Proceedings
+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 @@
+On generating all maximal independent sets
@@ Property / cites work: On generating all maximal independent sets / rank @@
+Normal rank
@@ Property / cites work @@
+A New Algorithm for Generating All the Maximal Independent Sets
+Normal rank
@@ Property / cites work @@
+The complexity of computing the permanent
@@ Property / cites work: The complexity of computing the permanent / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Enumeration and Reliability Problems
+Normal rank
@@ Property / cites work @@
+Complexity of generalized satisfiability counting problems
+Normal rank
@@ Property / cites work @@
+The complexity of facets (and some facets of complexity)
+Normal rank
@@ Property / cites work @@
+The complexity of facets resolved
@@ Property / cites work: The complexity of facets resolved / rank @@
+Normal rank
@@ Property / cites work @@
+The even-path problem for graphs and digraphs
@@ Property / cites work: The even-path problem for graphs and digraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Finding the <i>K</i> Shortest Loopless Paths in a Network
+Normal rank
@@ Property / cites work @@
+Finding the \(K\) shortest hyperpaths
@@ Property / cites work: Finding the \(K\) shortest hyperpaths / rank @@
+Normal rank
@@ Property / cites work @@
+Identifying the Minimal Transversals of a Hypergraph and Related Problems
+Normal rank
@@ Property / cites work @@
+On the Complexity of Dualization of Monotone Disjunctive Normal Forms
+Normal rank
@@ Property / cites work @@
+Achieving new upper bounds for the hypergraph duality problem through logic
+Normal rank
@@ Property / cites work @@
+Redundancy in logic. I: CNF propositional formulae
+Normal rank
@@ Property / cites work @@
+Debugging incoherent terminologies
@@ Property / cites work: Debugging incoherent terminologies / rank @@
+Normal rank
@@ Property / cites work @@
+Complete sets and the polynomial-time hierarchy
@@ Property / cites work: Complete sets and the polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Subtractive reductions and complete problems for counting complexity classes
+Normal rank
@@ Property / cites work @@
+Efficient Reasoning for Inconsistent Horn Formulae
+Normal rank
@@ Property / cites work @@
+Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
+Normal rank
@@ Property / cites work @@
+BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies
+Normal rank
@@ Property / cites work @@
+Fast, flexible MUS enumeration
@@ Property / cites work: Fast, flexible MUS enumeration / rank @@
+Normal rank