Skip to Content

TU Wien Fakultät für Informatik KBS Knowledge-Based Systems Group

 


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:

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.gz

Argumentation and Argumentation with Subsequent Extension Processing

argu.tar.gz

Conformant Planning

planning.tar.gz

Default Reasoning over Description Logics Benchmarks (Wine)

Included in the git repository.

Default Reasoning over Description Logics Benchmarks (Bird-Penguin)

Included in the git repository.

Reachability

reachability.tar.gz

Merge Sort

mergesort.tar.gz

Route Planning

Single, full map: routeplanning-singlefull.tar.gz
Single, subway and tram: routeplanning-singlesubtram.tar.gz
Single, subway only: routeplanning-singlesub.tar.gz
Pair, full map: routeplanning-pairfull.tar.gz
Pair, subway and tram: routeplanning-pairsubtram.tar.gz
Pair, subway only: routeplanning-pairsub.tar.gz

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.