Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics (Q2814376): Difference between revisions

@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+Computing with default logic
@@ Property / cites work: Computing with default logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+An interpretation of default logic in minimal temporal epistemic logic
+Normal rank
@@ Property / cites work @@
+Translating default logic into standard autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Results on translating defaults to circumscription
+Normal rank
@@ Property / cites work @@
+Linking Data to Ontologies
@@ Property / cites work: Linking Data to Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Prolog technology for default reasoning: proof theory and compilation techniques
+Normal rank