Evaluation data and software

This repository contains auxiliary resources for the following research work:

Simulating Sets in Answer Set Programming by Sarah Gaggl, Philipp Hanisch and Markus Krötzsch. Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI 2022).

The repository contains two directories with the following contents:

• eval: Data, logic programs, and our own result measurements for the experiments reported in the paper. The directory contains instructions on how to re-run our experiments.
• rulewerk: The code of our prototype ASP grounder based on existential rules. The code is a fork of Rulewerk. Instructions on how to use it for the evaluation are given in the eval folder.

Feedback or queries are welcome. For contact details, see our homepages linked above.