A logic of argumentation for specification and verification of abstract argumentation frameworks

S Villata, G Boella, DM Gabbay, L van der Torre, J Hulstijn

Research output: Contribution to journalArticleScientificpeer-review

3 Citations (Scopus)
Original languageEnglish
Pages (from-to)199-230
Number of pages32
JournalAnnals of Mathematics and Artificial Intelligence
Issue number1-4
Publication statusPublished - 2012

Cite this