Fibring argumentation frames

Studia Logica

Volumn 93, Issue 2, 2009, Pages 231-295

  Gabbay, Dov M ^a,b,c  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b BAR ILAN UNIVERSITY   (Israel)

^c UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

Critical sets; Disjunctive attacks; Fibring argumentation frames; Flow argumentation networks; Joint attacks

Indexed keywords

EID: 71149110114     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1007/s11225-009-9217-y     Document Type: Article

References (21)

1. Barringer, H., D. M. Gabbay, and J. Woods, 'Temporal dynamics of argumentation networks', in D. Hutter and W. Stephan (eds.), Mechanising Mathematical Reasoning, LNCS 2605, Springer, 2005, pp. 58-98.
2. Barringer, H., D. M. Gabbay, and J. Woods, 'Network modalities', in G. Gross and K. Schulz (eds.), Linguistics, Computer Science and Language Processing: Festschrift for Franz Guenthner on the Occasion of His 60th Birthday, College Publications, 2008, pp. 79-102.
3. Boella G., Gabbay D. M., van der Torre L., Villata S.: 'Metaargumentation part 1'. Studia Logica 93(2-3), 297-355 (2009) this issue.
4. Boella, G., D. M. Gabbay, L. van der Torre, and S. Villata, 'An argumentation based approach to coalition formation using voluntary attacks', In preparation.
5. Caminada M., Gabbay D. M.: 'A logical account of formal argumentation'. Studia Logica 93(2-3), 109-145 (2009) this issue.
6. Carnielli, W., M. Coniglio, D. M. Gabbay, P. Gouveia, and C. Sernadas, Analysis and Synthesis of Logics, 500 pp., Springer, 2007.
7. Dung P. M.: 'On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games'. Artificial Intelligence 77, 321-357 (1995).
8. Engesser, K., D. M. Gabbay, and D. Lehmann, A New Approach to Quantum Logic, 300 pp., College Publications, 2008.
9. Gabbay, D. M., Labelled Deduction Systems, Oxford University Press, 1996.
10. Gabbay, D. M., Logic for AI and Information Technology, 500 pp., College Publications, October 2007.
11. Gabbay, D. M., 'Reactive Kripke models and contrary to duty norms', in R. van der Meyden and L. van der Torre (eds.), Proceedings of DEON 2008, Deontic Logic in Computer Science, LNAI 5076, Springer, 2008, pp. 155-173.
12. Gabbay D. M.: 'Modal provability foundations for argumentation networks'. Studia Logica 93(2-3), 181-198 (2009) this issue.
13. Gabbay D. M.: 'Semantics for higher level attacks in extended argumentation frames, Part 1: Overview'. Studia Logica 93(2-3), 357-381 (2009) this issue.
14. Gabbay, D. M., The Leverhulme Lectures in Logic, 200 pp. Draft available.
15. Gabbay D. M., Garcez A.: 'Logical modes of attack in argumentation networks'. Studia Logica 93(2-3), 199-230 (2009) this issue.
16. Gabbay, D. M., R. Schmidt and A. Szałas, Second-Order quantifier Elimination, 400 pp., College Publications, 2008.
17. Gabbay D. M., Szałas A.: 'Second-order Quantifier Elimination in higherorder contexts with applications to the semantical analysis of conditionals'. Studia Logica 87, 37-50 (2007).
18. Gabbay D. M., Szałas A.: 'Annotation theories over finite graphs'. Studia Logica 93(2-3), 147-180 (2009) this issue.
19. Nielsen, S. H., and S. Parsons, 'Computing preferred extensions for argumentation systems with sets of attacking arguments', in Proceedings of the 2006 Conference on Computational Models of Arugment: Proceedings of COMMA 2007, 2006, pp. 97-108.
20. Nielsen, S. H., and S. Parsons, A Generalization of Dung's Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments, LNCS Vol. 4766, Springer, 2007, pp. 54-73.
21. Wu Y., Caminada M., Gabbay D.: 'Complete extensions in argumentation coincide with 3-valued stable models in logic programming'. Studia Logica 93(2-3), 383-403 (2009) this issue.