A series of revisions of David Poole's specificity (Q524933): Difference between revisions

@@ Property / DOI @@
-.1007/s10472-015-9471-9
@@ Property / DOI: 10.1007/s10472-015-9471-9 / rank @@
-Normal rank
@@ Property / cites work @@
+An application of automated reasoning in natural language question answering
+Normal rank
@@ Property / cites work @@
+Q4713940
@@ Property / cites work: Q4713940 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic-based theory of deductive arguments
@@ Property / cites work: A logic-based theory of deductive arguments / rank @@
+Normal rank
@@ Property / cites work @@
+Relating defeasible and normal logic programming through transformation properties.
+Normal rank
@@ Property / cites work @@
+Q3919057
@@ Property / cites work: Q3919057 / 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 @@
+Handbook of philosophical logic. Vol. 4.
@@ Property / cites work: Handbook of philosophical logic. Vol. 4. / rank @@
+Normal rank
@@ Property / cites work @@
+Greek, Indian and Arabic logic
@@ Property / cites work: Greek, Indian and Arabic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Defeasible logic programming: an argumentative approach
+Normal rank
@@ Property / cites work @@
+Q3457250
@@ Property / cites work: Q3457250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+Scalable uncertainty management. 7th international conference, SUM 2013, Washington, DC, USA, September 16--18, 2013. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4789446
@@ Property / cites work: Q4789446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2841861
@@ Property / cites work: Q2841861 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4777202
@@ Property / cites work: Q4777202 / rank @@
+Normal rank
@@ Property / cites work @@
+A mathematical treatment of defeasible reasoning and its implementation.
+Normal rank
@@ Property / cites work @@
+Computing Generalized Specificity
@@ Property / cites work: Computing Generalized Specificity / rank @@
+Normal rank
@@ Property / cites work @@
+Shallow confluence of conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
+Normal rank
@@ Property / cites work @@
+A constructor-based approach to positive/negative-conditional equational specifications
+Normal rank
@@ Property / cites work @@
+A series of revisions of David Poole's specificity
+Normal rank
@@ Property / DOI @@
+.1007/S10472-015-9471-9
@@ Property / DOI: 10.1007/S10472-015-9471-9 / rank @@
+Normal rank