# ASPARTIX Encodings -- Attribution

The ASP encoding files in this directory originate from the **ASPARTIX**
(Answer Set Programming Argumentation Reasoning Tool) project, developed at
the Database and Artificial Intelligence Group (DBAI), Institute of Logic and
Computation, TU Wien (Vienna University of Technology).

## Source

Downloaded from:
<https://www.dbai.tuwien.ac.at/research/argumentation/aspartix/dung.html>

## Authors

- Uwe Egly
- Sarah Alice Gaggl
- Wolfgang Dvorak
- Norbert Manthey
- Alessandro Ronca
- Anna Rapberger
- Matthias Konig
- Johannes Peter Wallner
- Stefan Woltran

## References

If you use these encodings in your research, please cite the following papers:

1. Uwe Egly, Sarah Alice Gaggl, and Stefan Woltran.
   "Answer-Set Programming Encodings for Argumentation Frameworks."
   *Argument and Computation*, 1(2):147--177, 2010.
   DOI: [10.1080/19462166.2010.486479](https://doi.org/10.1080/19462166.2010.486479)

2. Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter
   Wallner, and Stefan Woltran.
   "Improved answer-set programming encodings for abstract argumentation."
   *Theory and Practice of Logic Programming (TPLP)*, 15(4-5):434--448, 2015.
   DOI: [10.1017/S1471068415000149](https://doi.org/10.1017/S1471068415000149)

3. Wolfgang Dvorak, Anna Rapberger, Johannes Peter Wallner, and Stefan Woltran.
   "ASPARTIX-V19 -- An Answer-Set Programming Based System for Abstract
   Argumentation."
   *FoIKS 2020*, pages 79--89, 2020.
   DOI: [10.1007/978-3-030-39951-1_5](https://doi.org/10.1007/978-3-030-39951-1_5)

4. Sarah Alice Gaggl. "Solving Argumentation Frameworks using Answer Set
   Programming." Master's Thesis, TU Wien, 2009.

## Purpose

These encodings are redistributed here for interoperability with the
`AspartixSolver` in this library, which shells out to clingo to compute
argumentation semantics. They serve primarily as a reference oracle for
validating the results of the built-in SAT-based solver.

## Included Files

| File | Semantics | Engine |
|------|-----------|--------|
| `stable.dl` | Stable | DLV / clingo |
| `comp.dl` | Complete | DLV / clingo |
| `adm.dl` | Admissible | DLV / clingo |
| `ground.dl` | Grounded | DLV / clingo |
| `naive.dl` | Naive | DLV / clingo |
| `prefex_gringo.lp` | Preferred | clingo only |
| `semi_stable_gringo.lp` | Semi-stable | clingo only |
| `filter.lp` | Output filter | clingo |
