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 located in the evaluation folder and are organized according to the scenarios 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. Additionaly, the repository contains three result files, each reporting the outcomes of the experiments for scenario S1, S2 and S3, respectively.