Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137): Difference between revisions

@@ Property / Wikidata QID @@
+Q57998296
@@ Property / Wikidata QID: Q57998296 / 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 @@
+Using automata theory for characterizing the semantics of terminological cycles
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Generalized Satisfiability for Linear Temporal Logic
+Normal rank
@@ Property / cites work @@
+The complexity of propositional implication
@@ Property / cites work: The complexity of propositional implication / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
+Normal rank
@@ Property / cites work @@
+The complexity of existential quantification in concept languages.
+Normal rank
@@ Property / cites work @@
+The complexity of concept languages
@@ Property / cites work: The complexity of concept languages / rank @@
+Normal rank
@@ Property / cites work @@
+EXPtime tableaux for ALC
@@ Property / cites work: EXPtime tableaux for ALC / rank @@
+Normal rank
@@ Property / cites work @@
+Tarskian set constraints
@@ Property / cites work: Tarskian set constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized modal satisfiability
@@ Property / cites work: Generalized modal satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability problems for propositional calculi
@@ Property / cites work: Satisfiability problems for propositional calculi / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability for fragments of hybrid logic. I.
+Normal rank
@@ Property / cites work @@
+Terminological reasoning is inherently intractable
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+A practical decision method for propositional dynamic logic (Preliminary Report)
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerating All Solutions for Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank