On the logic of argumentation theory

Open Access
Authors
Publication date 2010
Host editors
  • W. van der Hoek
  • G.A. Kaminka
  • Y. LespĂ©rance
  • M. Luck
  • S. Sen
Book title AAMAS 2010
Book subtitle the 9th International Conference on Autonomous Agents and Multiagent Systems, May 10-14, 2010, Toronto, Canada : conference proceedings
ISBN (electronic)
  • 9780982657119
Event 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'10), Toronto, Canada
Volume | Issue number 1
Pages (from-to) 409-416
Publisher Richland, SC: IFAAMAS
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), new techniques (e.g., calculi, model-checking games, bisimulation games), and results (e.g., completeness of calculi, adequacy of games, complexity of model-checking) from logic to argumentation.
Document type Conference contribution
Language English
Published at https://dl.acm.org/citation.cfm?id=1838264 http://www.aamas-conference.org/Proceedings/aamas2010/pdf/01%20Full%20Papers/08_01_FP_0044.pdf
Downloads
332002.pdf (Final published version)
Permalink to this page
Back