dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation.
Wolfgang DvorákMichael MorakClemens NoppStefan WoltranPublished in: INAP/WLP (2011)
Keyphrases
- abstract argumentation
- dynamic programming
- theorem proving
- consistency checking
- argumentation frameworks
- knowledge base
- stereo matching
- greedy algorithm
- single machine
- fixed parameter tractable
- linear programming
- machine learning
- state space
- multi agent
- coarse to fine
- preference relations
- reinforcement learning
- argumentation theory