An abstract, argumentation-theoretic approach to default reasoning (Q1402718): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490987
@@ Property / cites work: Q3490987 / 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 @@
+Nonmonotonic inheritance, argumentation and logic programming
+Normal rank
@@ Property / cites work @@
+Q4028794
@@ Property / cites work: Q4028794 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional entailment: bridging two approaches to default reasoning.
+Normal rank
@@ Property / cites work @@
+A circumscriptive theorem prover
@@ Property / cites work: A circumscriptive theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Short note preferred extensions are partial stable models
+Normal rank
@@ Property / cites work @@
+Q4296747
@@ Property / cites work: Q4296747 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493310
@@ Property / cites work: Q3493310 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of nonmonotonic rule systems I
@@ Property / cites work: A theory of nonmonotonic rule systems I / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of nonmonotonic rule systems. II
@@ Property / cites work: A theory of nonmonotonic rule systems. II / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Nonmonotonic Logic II
@@ Property / cites work: Nonmonotonic Logic II / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Justification and defeat
@@ Property / cites work: Justification and defeat / rank @@
+Normal rank
@@ Property / cites work @@
+A logical framework for default reasoning
@@ Property / cites work: A logical framework for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / 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 @@
+Completed logic programs and their consistency
@@ Property / cites work: Completed logic programs and their consistency / rank @@
+Normal rank
@@ Property / cites work @@
+A mathematical treatment of defeasible reasoning and its implementation.
+Normal rank
@@ Property / cites work @@
+Computing the acceptability semantics
@@ Property / cites work: Computing the acceptability semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012246
@@ Property / cites work: Q4012246 / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Q4028829
@@ Property / cites work: Q4028829 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0004-3702(97)00015-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2039020269
@@ Property / OpenAlex ID: W2039020269 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1402718