Answer Set Programming with External Sources: Algorithms and Efficient Evaluation
This page contains the instances used for the benchmarks in the PhD thesis Answer Set Programming with External Sources: Algorithms and Efficient Implementation by Christoph Redl under supervision of Prof. Thomas Eiter and Prof. Stefan Woltran. They are developed for the dlvhex system. The plugins which are necessary to run these benchmarks are available from https://github.com/hexhex.
For some benchmarks the instances are very small and are directly contained in the git repository.
Download:
- PhD thesis as .pdf - submitted (official) version
- PhD thesis as .pdf - updated version (with error corrections)
- Slides of the defense as .pdf
Set Partitioning
Included in the git repository.
Multi-context Systems
All instances: mcsie-all.tar.gz Consistent instances: mcsie-consistent.tar.gz Inconsistent instances: mcsie-inconsistent.tar.gzArgumentation and Argumentation with Subsequent Extension Processing
argu.tar.gzConformant Planning
planning.tar.gzDefault Reasoning over Description Logics Benchmarks (Wine)
Included in the git repository.
Default Reasoning over Description Logics Benchmarks (Bird-Penguin)
Included in the git repository.