dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation
Wolfgang DvorákMichael MorakClemens NoppStefan WoltranPublished in: CoRR (2011)
Keyphrases
- abstract argumentation
- dynamic programming
- theorem proving
- reinforcement learning
- linear programming
- argumentation frameworks
- preference relations
- stereo matching
- greedy algorithm
- dp matching
- knowledge base
- consistency checking
- optimal policy
- state space
- coarse to fine
- formal model
- temporal reasoning
- query answering
- theoretical framework
- association rules
- argumentation theory
- cooperative