Prudent semantics for argumentation frameworks

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn 2005, Issue , 2005, Pages 568-572

  Coste Marquis, Sylvie ^a   Devred, Caroline ^a   Marquis, Pierre ^a  

^a UNIVERSITÉ D'ARTOIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL METHODS; COMPUTER SCIENCE;

CONTROVERSIAL ARGUMENTS; DUNG'S THEORY OF ARGUMENTATION;

SEMANTICS;

EID: 33845863905     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2005.103     Document Type: Conference Paper

References (17)

1. [1] L. Amgoud and C. Cayrol. Inferring from inconsistency in preference-based argumentation frameworks. J. of Automated Reasoning, 29:125-169, 2002.
2. P. Baroni and M. Giacomin. Solving semantic problems with odd-length cycles in argumentation. In ECSQARU'03, volume 2711 of LNAI, pages 440-451, 2003.
3. P. Baroni, M. Giacomin, and G.Guida. Extending abstract argumentation systems theory. Art. Intelligence, 120(2):251-270, 2000.
4. P. Besnard and Anthony Hunter. A logic-based theory of deductive arguments. Art. Intelligence, 128:203-235, 2001.
5. C. Cayrol, S. Doutre, and J. Mengin. On decision problems related to the preferred semantics for argumentation frameworks. J. of Logic and Computation, 13(3):377-403, 2003.
6. S. Coste-Marquis, C. Devred, and P. Marquis. Symmetric argumentation frameworks. In ECSQARU'05, volume 3571 of LNAI, pages 317-328, 2005.
7. Y. Dimopoulos, B. Nebel, and F. Toni. On the computional complexity of assumption-based argumentation for default reasoning. Art. Intelligence, 141:57-78, 2002.
8. Y. Dimopoulos and A. Torres. Graph theoretical structures in logic programs and default theories. Theoretical Computer Science, 170:209-244, 1996.
9. S. Doutre and J. Mengin. On sceptical vs credulous acceptance for abstract argument systems. In NMR'04, pages 134-139, 2004.
10. P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Art. Intelligence, 77(2):321-358, 1995.
11. P. Dunne and T. Bench-Capon. Coherence in finite argument system. An. Intelligence, 141:187-203, 2002.
12. M. Elvang-Gøransson and A. Hunter. Argumentative logics: Reasoning with classically inconsistent information. Data and Knowledge Engineering, 16:125-145, 1995.
13. M. Elvang-Gøransson, J. Fox, and P. Krause. Acceptability of arguments as logical uncertainty. In ECSQARU'93, volume 747 of LNCS, pages 85-90, 1993.
14. J. Pollock. How to reason defeasibly. Art. Intelligence, 57(1):1-42, 1992.
15. nd edition, pages 219-318. Kluwer Academic Publishers, 2002.
16. G. Simari and R. Loui. A mathematical treatment of defeasible reasoning and its implementation. Art. Intelligence, 53(2-3):125-157, 1992.
17. S. Toulmin. The Uses of Argument. Cambridge University Press, 1958.