Contextual rational closure for defeasible \(\mathcal{ALC} \) (Q2278101): 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.1007/s10472-019-09658-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2964309571
@@ Property / OpenAlex ID: W2964309571 / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Q3112648
@@ Property / cites work: Q3112648 / 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 @@
+PTL: A Propositional Typicality Logic
@@ Property / cites work: PTL: A Propositional Typicality Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5414676
@@ Property / cites work: Q5414676 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the rational closure of knowledge bases with both positive and negative knowledge
+Normal rank
@@ Property / cites work @@
+Conditional logics of normality: A modal approach
@@ Property / cites work: Conditional logics of normality: A modal approach / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing context knowledge repositories with justifiable exceptions
+Normal rank
@@ Property / cites work @@
+A KLM perspective on defeasible reasoning for description logics
+Normal rank
@@ Property / cites work @@
+Preferential Reasoning for Modal Logics
@@ Property / cites work: Preferential Reasoning for Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+From KLM-style conditionals to defeasible modalities, and back
+Normal rank
@@ Property / cites work @@
+Introducing Role Defeasibility in Description Logics
+Normal rank
@@ Property / cites work @@
+Preferential accessibility and preferred worlds
@@ Property / cites work: Preferential accessibility and preferred worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Rationality and context in defeasible subsumption
@@ Property / cites work: Rationality and context in defeasible subsumption / rank @@
+Normal rank
@@ Property / cites work @@
+Preferential tableaux for contextual defeasible \(\mathcal{ALC}\)
+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 @@
+Preferential Description Logics
@@ Property / cites work: Preferential Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about Typicality in Preferential Description Logics
+Normal rank
@@ Property / cites work @@
+ALC + T: a Preferential Extension of Description Logics
+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 @@
+Description logics of context
@@ Property / cites work: Description logics of context / 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 @@
+Including quantification in defeasible reasoning for the description logic \(\mathcal{EL}_{\bot}\)
+Normal rank
@@ Property / cites work @@
+A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
+Normal rank