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

4 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A logic of argumentation for specification and verification of abstract argumentation frameworks'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Computer Science