Rational closure for all description logics (Q2321316): Difference between revisions

@@ 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.1016/j.artint.2019.04.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2938157237
@@ Property / OpenAlex ID: W2938157237 / 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 @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Circumscription in DLs
@@ Property / cites work: The Complexity of Circumscription in DLs / rank @@
+Normal rank
@@ Property / cites work @@
+On the logical properties of the nonmonotonic description logic \(\mathcal{DL}^{\operatorname{N}}\)
+Normal rank
@@ Property / cites work @@
+Rational Closure for Defeasible Description Logics
+Normal rank
@@ Property / cites work @@
+Defeasible Inheritance-Based Description Logics
@@ Property / cites work: Defeasible Inheritance-Based Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure
+Normal rank
@@ Property / cites work @@
+Description logics of minimal knowledge and negation as failure
+Normal rank
@@ Property / cites work @@
+ASP for minimal entailment in a rational extension of SROEL
+Normal rank
@@ Property / cites work @@
+Defeasible Reasoning in 𝒮ℛ𝒪ℰℒ: from Rational Entailment to Rational Closure
+Normal rank
@@ Property / cites work @@
+Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
+Normal rank
@@ Property / cites work @@
+Preferential Description Logics
@@ Property / cites work: Preferential Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Minimal Model Semantics for Nonmonotonic Reasoning
+Normal rank
@@ Property / cites work @@
+A non-monotonic description logic for reasoning about typicality
+Normal rank
@@ Property / cites work @@
+Semantic characterization of rational closure: from propositional logic to description logics
+Normal rank
@@ Property / cites work @@
+The strong exponential hierarchy collapses
@@ Property / cites work: The strong exponential hierarchy collapses / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+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 @@
+Expressive probabilistic description logics
@@ Property / cites work: Expressive probabilistic description logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics
+Normal rank
@@ Property / Wikidata QID @@
+Q128071737
@@ Property / Wikidata QID: Q128071737 / rank @@
+Normal rank