On the issue of reinstatement in argumentation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4160 LNAI, Issue , 2006, Pages 111-123

  Caminada, Martin ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; FORMAL LOGIC; SEMANTICS;

ARGUMENT-BASED SEMANTICS; ARGUMENTATION; HANDLING REINSTATEMENT;

LOGIC PROGRAMMING;

EID: 33750046638     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11853886_11     Document Type: Conference Paper

References (20)

1. Dung, P.M.: On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. Artificial Intelligence 77 (1995) 321-357
2. Vreeswijk, G.A.W., Prakken, H.: Credulous and sceptical argument games for preferred semantics. In: Proceedings of the 7th European Workshop on Logic for Artificial Intelligence (JELIA-00). Number 1919 in Springer Lecture Notes in AI, Berlin, Springer Verlag (2000) 239-253
3. Cayrol, C., Doutre, S., Mengin, J.: Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks. In: Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2001). Volume 2143 of LNAI., Springer-Verlag (2001) 668-679
4. Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics 7 (1997) 25-75
5. Governatori, G., Maher, M., Antoniou, G., Billington, D.: Argumentation semantics for defeasible logic. Journal of Logic and Computation 14 (2004) 675-702
6. ASPIC-consortium: Deliverable D2.5: Draft formal semantics for ASPIC system (2005)
7. Horty, J.: Argument construction and reinstatement in logics for defeasible reasoning. Artificial Intelligence and Law 9 (2001) 1-28
8. Prakken, H.: Intuitions and the modelling of defeasible reasoning: some case studies. In: Proceedings of the Ninth International Workshop on Nonmonotonic Reasoning (NMR-2002), Toulouse, France (2002) 91-99
9. Caminada, M., Amgoud, L.: An axiomatic account of formal argumentation. In: Proceedings of the AAAI-2005. (2005) 608-613
10. Caminada, M.: On the issue of reinstatement in argumentation. Technical Report UU-CS-2006-023, Institute of Information and Computing Sciences, Utrecht University (2006)
11. Caminada, M.: Contamination in formal argumentation systems. In: Proceedings of the 17th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC). (2005) 59-65
12. Verheij, B.: Two approaches to dialectical argumentation: admissible sets and argumentation stages. In Meyer, J.J., van der Gaag, L., eds.: Proceedings of the Eighth Dutch Conference on Artificial Intelligence (NAIC'96), Utrecht, Utrecht University (1996) 357-368
13. Doutre, S., Mengin, J.: On sceptical versus credulous acceptance for abstract argument systems. In: Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004). (2004) 462-473
14. Dimopoulos, Y., Nebel, B., Toni, F.: Finding Admissible and Preferred Arguments Can be Very Hard. In: Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-2000). (2000) 53-61
15. Prakken, H.: Commonsense reasoning. Technical report, Institute of Information and Computing Sciences, Utrecht University (2004) Reader.
16. Urquhart, A.: Basic many-valued logic. In Gabbay, D., Günthner, F., eds.: Handbook of Philosophical Logic. Volume 2. Second edn. Kluwer Academic Publishers, Dordrecht/Boston/London (2001) 249-295
17. Hähnle, R.: Advanced many-valued logic. In Gabbay, D., Günthner, F., eds.: Handbook of Philosophical Logic. Volume 2. Second edn. Kluwer Academic Publishers, Dordrecht/Boston/London (2001) 297-395
18. Caminada, M.: For the sake of the Argument. Explorations into argument-based reasoning. Doctoral dissertation Free University Amsterdam (2004)
19. Jakobovits, H., Vermeir, D.: Robust semantics for argumentation frameworks. Journal of logic and computation 9(2) (1999) 215-261
20. Vreeswijk, G.A.W.: Studies in defeasible argumentation. PhD thesis at Free University of Amsterdam (1993)