ASP for minimal entailment in a rational extension of SROEL (Q4593055): Difference between revisions

@@ Property / author @@
-Laura Giordano
@@ Property / author: Laura Giordano / rank @@
-Normal rank
@@ Property / author @@
+Laura Giordano
@@ Property / author: Laura Giordano / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02450
@@ Property / arXiv ID: 1608.02450 / 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 @@
+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 @@
+Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
+Normal rank
@@ Property / cites work @@
+Rational Closure for Defeasible Description Logics
+Normal rank
@@ Property / cites work @@
+Description logics of minimal knowledge and negation as failure
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation---The A-Prolog perspective
+Normal rank
@@ Property / cites work @@
+Preferential Description Logics
@@ Property / cites work: Preferential Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
+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 @@
+Q3457253
@@ Property / cites work: Q3457253 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Efficient Inferencing for OWL EL
@@ Property / cites work: Efficient Inferencing for OWL EL / 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 @@
+Another perspective on default reasoning
@@ Property / cites work: Another perspective on default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling description logics and rules
@@ Property / cites work: Reconciling description logics and rules / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963772318
@@ Property / OpenAlex ID: W2963772318 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4593055