Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas.
Uwe EglyStefan WoltranPublished in: COMMA (2006)
Keyphrases
- quantified boolean formulas
- reasoning tasks
- logical framework
- argumentation frameworks
- abstract argumentation
- practical reasoning
- argumentation systems
- automated reasoning
- argumentation semantics
- description logics
- temporal reasoning
- abstract argumentation frameworks
- logic programming
- decision procedures
- answer set programming
- situation calculus
- probabilistic reasoning
- theorem proving
- theorem prover
- desirable properties
- artificial intelligence
- decision problems
- query processing
- search algorithm
- objective function
- reinforcement learning
- knowledge base