A labelling approach for ideal and stage semantics

Argument and Computation

Volumn 2, Issue 1, 2011, Pages 1-21

  Caminada, Martin ^a  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

argumentation frameworks; argumentation semantics; formal models of argumentation

Indexed keywords

ABSTRACT ARGUMENTATION; ARGUMENTATION FRAMEWORKS; ARGUMENTATION SEMANTICS; FORMAL MODEL;

SEMANTICS;

EID: 82255175356     PISSN: 19462166     EISSN: 19462174     Source Type: Journal    
DOI: 10.1080/19462166.2010.515036     Document Type: Article

References (25)

1. Amgoud, L., Maudet, N., and Parsons, S. (2000), 'Modelling Dialogues Using Argumentation', in Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-00), Boston, MA, pp. 31-38.
2. Amgoud, L., Bodenstaff, L., Caminada, M.W.A., McBurney, P., Parsons, S., Prakken, H., vanVeenen, J., and Vreeswijk, G.A.W. (2006), Final review and report on formal argumentation system, Deliverable D2.6, ASPIC IST-FP6-002307.
3. Arieli, O., and Avron, A. (1998), 'The Value of the Four Values', Artificial Intelligence, 102, 97-141.
4. Caminada, M.W.A. (2006a), 'On the Issue of Reinstatement in Argumentation', in Logics in Artificial Intelligence; 10th European Conference, JELIA 2006, eds. M. Fischer, W. van der Hoek, B. Konev, and A. Lisitsa, Springer, LNAI 4160, pp. 111-123.
5. Caminada, M.W.A. (2006b), 'On the Issue of Reinstatement in Argumentation', Technical Report UU-CS- 2006-023, Institute of Information and Computing Sciences, Utrecht University.
6. Caminada, M.W.A. (2006c), 'Semi-Stable Semantics', in Computational Models of Argument; Proceedings of COMMA 2006, eds. P.E. Dunne and T.J.M. Bench-Capon, IOS Press, pp. 121-130.
7. Caminada, M.W.A. (2007), 'An Algorithm for Computing Semi-Stable Semantics', in Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), no. 4724 in Springer Lecture Notes in AI, Berlin: Springer Verlag, pp. 222-234.
8. Caminada, M.W.A. (2010), 'An Algorithm for Stage Semantics', in Computational Models of Argument; Proceedings of COMMA 2010, eds. P. Baroni, F. Cerutti, M. Giacomin and G.R. Simari, IOS Press, Amsterdam, The Netherlands, in print.
9. Caminada, M.W.A., and Amgoud, L. (2007), 'On the Evaluation of Argumentation Formalisms', Artificial Intelligence, 171(5-6), 286-310.
10. Caminada,M.W.A., and Gabbay, D.M. (2009), 'ALogicalAccount of FormalArgumentation', Studia Logica, 93(2-3), 109-145 (Special issue: new ideas in argumentation theory
11. Caminada, M.W.A., and Pigozzi, G. (2009), 'On Judgment Aggregation in Abstract Argumentation', Journal of Autonomous Agents and Multi-Agent Systems, in press, DOI 10.1007/s10458-009-9116-7.
12. Carnielli, W., Coniglio, M.E., and Marcos, J. (2002), 'Logics of Formal Inconsistency', in Handbook of Philosophical Logic (Vol. 14, 2nd ed.), eds. D.M. Gabbay and F. Guenthner, SpringerVerlag, pp. 15-114.
13. Dung, P.M. (1995), 'On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games', Artificial Intelligence, 77, 321-357.
14. Dung, P.M., Mancarella, P., and Toni, F. (2007), 'Computing Ideal Sceptical Argumentation', Artificial Intelligence, 171, 642-674.
15. Jakobovits, H., andVermeir, D. (1999), 'Robust Semantics for Argumentation Frameworks', Journal of logic and computation, 9(2), 215-261.
16. Modgil, S., and Caminada, M.W.A. (2009), 'Proof Theories and Algorithms for Abstract Argumentation Frameworks', in Argumentation in Artificial Intelligence, eds. I. Rahwan and G.R. Simari, Springer, pp. 105-129.
17. Pollock, J.L. (1995), Cognitive Carpentry. A Blueprint for How to Build a Person, Cambridge, MA: MIT Press.
18. Prakken, H., and Sartor, G. (1997), 'Argument-based Extended Logic Programming with Defeasible Priorities', Journal of Applied Non-Classical Logics, 7, 25-75.
19. Rahwan, I., and Tohmé, F. (2010), 'Collective Argument Evaluation as Judgement Aggregation', in Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010
20. Rahwan, I., Zablith, F., and Reed, C. (2007), 'Laying the Foundations for a World Wide Argument Web', Artificial Intelligence, 171(10-15), 897-921.
21. Simari, G.R., and Loui, R.P. (1992), 'A Mathematical Treatment of Defeasible Reasoning and Its Implementation', Artificial Intelligence, 53, 125-157.
22. Verheij, B. (1996), 'Two Approaches to Dialectical Argumentation: Admissible Sets and Argumentation Stages', in Proceedings of the Eighth Dutch Conference on Artificial Intelligence (NAIC'96), eds. J.-J.Ch. Meyer and L.C. van der Gaag, Utrecht: Utrecht University, pp. 357-368.
23. Verheij, B. (2003), 'DefLog: On the Logical Interpretation of Prima Facie Justified Assumptions', Journal of Logic and Computation, 13, 319-346.
24. Vreeswijk,G.A.W. (1993), 'Studies in DefeasibleArgumentation',PhDthesis, Free University ofAmsterdam.
25. Vreeswijk, G.A.W. (2006), 'An Algorithm to Compute Minimally Grounded and Admissible Defence Sets in Argument Systems', in Computational Models of Argument; Proceedings of COMMA 2006, eds. P.E. Dunne and T.J.M. Bench-Capon, IOS, pp. 109-120.