ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation.
Wolfgang DvorákAnna RapbergerJohannes Peter WallnerStefan WoltranPublished in: FoIKS (2020)
Keyphrases
- answer set programming
- abstract argumentation
- logic programs
- logic programming
- answer sets
- constraint logic programming
- answer set programs
- reasoning tasks
- argumentation frameworks
- theorem proving
- causal theories
- stable model semantics
- preference relations
- default theories
- stable models
- qualitative spatial and temporal reasoning
- machine learning
- data model
- expert systems