Downloads

• Supplemantary material (natural language argument sets) of the empirical cognitive study described in the paper submitted to JELIA 2019.
• Supplemantary material (natural language argument sets) of the empirical cognitive study described in the following paper:
  Marcos Cramer and Mathieu Guillaume (2018). Empirical Cognitive Study on Abstract Argumentation Semantics, Proceedings of the International Conference on Computational Models of Argument (COMMA) 2018.
• Supplemantary material (natural language argument sets) of the empirical cognitive study described in the following paper:
  Marcos Cramer & Mathieu Guillaume (2018). Directionality of Attacks in Natural Language Argumentation, Proceedings of the Fourth Workshop on Bridging the Gap between Human and Automated Reasoning.

• IDP specification of Hagström et al.'s (2001) delegation revocation framework, together with various inferences on it that solve different tasks
• Previous version of IDP specification of Hagström et al.'s (2001) delegation revocation framework, based on Aucher et al.'s (2011) formalization of the framework:
  • revocation_schemes.idp
  • testsuite.idp