Benchmark Instances for ANGRY: A Grounder for Rule-Based Argumentation

This repository contains the benchmark instances used for evaluating ANGRY, a grounder for rule-based argumentation. The benchmarks are organized by evaluation scenarios as described in the paper "Grounding Rule-Based Argumentation Using Datalog". Included in this dataset are: configuration_1, configuration_2, configuration_3, configuration_4, configuration_5 : Instances from Scenario S1. legal_bench: Legal reasoning benchmarks from Scenario S2. GraphColouring, visit-all, StableMarriage : Benchmarks from Scenario S3. examples: A set of short example programs showcasing various features.