Dialectic proof procedures for assumption-based, admissible argumentation (Q2457643): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2005.07.002
@@ Property / DOI: 10.1016/j.artint.2005.07.002 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2005.07.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2084827335
@@ Property / OpenAlex ID: W2084827335 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and negation: A survey
@@ Property / cites work: Logic programming and negation: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract, argumentation-theoretic approach to default reasoning
+Normal rank
@@ Property / cites work @@
+On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks
+Normal rank
@@ Property / cites work @@
+On the computational complexity of assumption-based argumentation for default reasoning.
+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 argumentation-theoretic foundation for logic programming
+Normal rank
@@ Property / cites work @@
+Q4707769
@@ Property / cites work: Q4707769 / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence in finite argument systems.
@@ Property / cites work: Coherence in finite argument systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Two party immediate response disputes: Properties and efficiency
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843185
@@ Property / cites work: Q4843185 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing argumentation in logic programming
@@ Property / cites work: Computing argumentation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Short note preferred extensions are partial stable models
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation of logic programs: Foundations and techniques
+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 @@
+Q4707771
@@ Property / cites work: Q4707771 / 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 @@
+Computing the acceptability semantics
@@ Property / cites work: Computing the acceptability semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536329
@@ Property / cites work: Q4536329 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2005.07.002
@@ Property / DOI: 10.1016/J.ARTINT.2005.07.002 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2457643