Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas.
Martin DillerJohannes Peter WallnerStefan WoltranPublished in: COMMA (2014)
Keyphrases
- quantified boolean formulas
- reasoning tasks
- argumentation systems
- automated reasoning
- logic programming
- description logics
- universally quantified
- decision procedures
- answer set programming
- knowledge base
- temporal reasoning
- propositional satisfiability
- knowledge representation
- high level
- probabilistic reasoning
- situation calculus
- computational properties
- artificial intelligence