Defeasible inheritance with doubt index and its axiomatic characterization (Q622128): Difference between revisions

@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / 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 @@
+Q3200586
@@ Property / cites work: Q3200586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537442
@@ Property / cites work: Q4537442 / rank @@
+Normal rank
@@ Property / cites work @@
+Description logics of minimal knowledge and negation as failure
+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 @@
+Default reasoning from conditional knowledge bases: Complexity and tractable cases
+Normal rank
@@ Property / cites work @@
+Q4692605
@@ Property / cites work: Q4692605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3888567
@@ Property / cites work: Q3888567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4713940
@@ Property / cites work: Q4713940 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional entailment: bridging two approaches to default reasoning.
+Normal rank
@@ Property / cites work @@
+Q4514009
@@ Property / cites work: Q4514009 / rank @@
+Normal rank
@@ Property / cites work @@
+Defeasible inheritance systems and reactive diagrams
+Normal rank
@@ Property / cites work @@
+Defaults with priorities
@@ Property / cites work: Defaults with priorities / rank @@
+Normal rank
@@ Property / cites work @@
+A skeptical theory of inheritance in nonmonotonic semantic networks
+Normal rank
@@ Property / cites work @@
+Q4411719
@@ Property / cites work: Q4411719 / 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 @@
+Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages
+Normal rank
@@ Property / cites work @@
+Inheritance comes of age: applying nonmonotonic techniques to problems in industry
+Normal rank
@@ Property / cites work @@
+Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical'' approach to defeasible inheritance nets
+Normal rank
@@ Property / cites work @@
+Q4501587
@@ Property / cites work: Q4501587 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789446
@@ Property / cites work: Q4789446 / 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 @@
+Q5663383
@@ Property / cites work: Q5663383 / rank @@
+Normal rank
@@ Property / cites work @@
+From systems to logic in the early development of nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions
+Normal rank
@@ Property / cites work @@
+A mathematical treatment of defeasible reasoning and its implementation.
+Normal rank
@@ Property / cites work @@
+Resolving ambiguity in nonmonotonic inheritance hierarchies
+Normal rank
@@ Property / cites work @@
+Q3829538
@@ Property / cites work: Q3829538 / rank @@
+Normal rank
@@ Property / cites work @@
+Netl and subsequent path-based inheritance theories
+Normal rank
@@ Property / cites work @@
+Q3992826
@@ Property / cites work: Q3992826 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012246
@@ Property / cites work: Q4012246 / rank @@
+Normal rank