Gabbay, Dov M. ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Grossi, Davide
External co-authors :
yes
Language :
English
Title :
When are Two Arguments the Same? Equivalence in Abstract Argumentation
Publication date :
2014
Main work title :
Johan van Benthem on Logic and Information Dynamics
Atkinson K, Bench-Capon T (2007) Argumentation and standards of proof. In: Proceedings of the 11th international conference on artificial intelligence and law (ICAIL’07), ACM, pp 107–116
Baroni P, Giacomin M (2009) Semantics of abstract argument systems. In: Rahwan I, Simari GR (eds) Argumentation in artifical intelligence, Springer, Dordrecht
Baroni P, Caminada M, Giacomin M (2011) An introduction to argumentation semantics. Knowl Eng Rev 26(4):365–410
van Benthem J (1983) Modal logic and classical logic. Monographs in philosophical logic and formal Linguistics, Bibliopolis, Berkeley
van Benthem J (2002) Extensive games as process models. J Logic Lang Inform 11:289–313
van Benthem J (2011) Logical dynamics of information and interaction. Cambridge University Press, Cambridge
van Benthem J (2012) The nets of reason. Argument Comput 3(2–3):83–86
van Benthem J (2014) Logic in games. MIT Press, Cambridge, MA
Blackburn P, de Rijke M, Venema Y (2001) Modal logic. Cambridge University Press, Cambridge
Caminada M (2006) On the issue of reinstatement in argumentation. In: Fischer M, van der Hoek W, Konev B, Lisitsa A (eds) Logics in artificial intelligence. Proceedings of JELIA 2006, pp 111–123
Caminada M, Gabbay D (2009) A logical account of formal argumentation. Studia Logica 93(2):109–145
Davey BA, Priestley HA (1990) Introduction to lattices and order. Cambridge University Press, Cambridge
Dung PM (1994) Logic programming as dialogue games. Technical report. Division of computer science, Asian Institute of Technology
Dung PM (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif Intell 77(2):321–358
Gabbay D (2011a) Introducing equational semantics for argumentation networks. In: Liu W (ed) Proceedings of ECSQARU 2011, no. 6717 in LNAI, pp 19–35
Gabbay D (2011b) Sampling logic and argumentation networks: a manifesto (vol 2). In: Gupta A, van Benthem J (eds) Logic and philosophy today, Studies in logic, vol 30, College Publications, pp 231–250
Gabbay D (2012) An equational approach to argumentation networks. Argument Comput 3 (2–3):87–142
Gabbay D (2013) Meta-Logical investigations in argumentation networks. College Publications, London
Gratie C, Florea AM, Meyer J (2012) Full hybrid mu-calculus, its bisimulation invariance and application to argumentation. Proc COMMA 2012:181–194
Grossi D (2009) Doing argumentation theory in modal logic. ILLC Prepublication Series PP-2009–24, Institute for Logic, Language and Computation
Grossi D (2010) On the logic of argumentation theory. In: van der Hoek W, Kaminka G, Lespérance Y, Sen S (eds) Proceedings of the 9th international conference on autonomous agents and multiagent systems (AAMAS 2010), IFAAMAS, pp 409–416
Grossi D (2011) Argumentation theory in the view of modal logic. In: McBurney P, Rahwan I (eds) Post-proceedings of the 7th international workshop on argumentation in Multi-Agent systems, no. 6614 in LNAI, pp 190–208
Kanamori A (1994) The Higher Infinite. Springer, Dordrecht
Modgil S, Caminada M (2009) Proof theories and algorithms for abstract argumentation frameworks. In: Rahwan I, Simari G (ed) Argumentation in AI, Springer, pp 105–132
Osborne MJ, Rubinstein A (1994) A course in game theory. MIT Press, Cambridge
Parikh R (2002) Social software. Synthese 132(3):187–211