Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
On principle-based evaluation of extension-based argumentation semantics
Artificial Intelligence
Argument Theory Change: Revision Upon Warrant
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Argument theory change applied to defeasible logic programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A lattice-based approach to computing warranted beliefs in skeptical argumentation frameworks
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Modelling well-structured argumentation lines
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A labeling approach to the computation of credulous acceptance in argumentation
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Towards a Logical Model of Induction from Examples and Communication
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
A heuristics-based pruning technique for argumentation trees
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
A defeasible reasoning model of inductive concept learning from examples and communication
Artificial Intelligence
Using argument strength for building dialectical bonsai
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
This article falls within the field of abstract argumentation frameworks. In particular, we focus on the study of frameworks using a proof procedure based on dialectical trees. These trees rely on a marking procedure to determine the warrant status of their root argument. Thus, our objective is to formulate rationality postulates to characterize the marking criterion over dialectical trees. The behavior of the marking procedure is closely tied to the alteration of trees, which is the keystone of any model of change based on dialectical argumentation. Hence, the results achieved in this work will benefit research on dynamics in argumentation.