Solving Advanced Argumentation Problems with Answer Set Programming.
Gerhard BrewkaMartin DillerGeorg HeissenbergerThomas LinsbichlerStefan WoltranPublished in: Theory Pract. Log. Program. (2020)
Keyphrases
- answer set programming
- logic programs
- reasoning tasks
- solving problems
- np complete
- logic programming
- finite domain
- artificial intelligence
- high level
- expert systems
- stable model semantics
- decision problems
- answer sets
- answer set programs
- machine learning
- exact solution
- constraint satisfaction problems
- programming language
- relational databases