Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract).
Wolfgang DvorákMatti JärvisaloJohannes Peter WallnerStefan WoltranPublished in: IJCAI (2015)
Keyphrases
- probabilistic model
- extended abstract
- decision procedures
- theorem proving
- abstract argumentation
- modal logic
- automated reasoning
- first order logic
- computational complexity
- artificial intelligence
- conjunctive queries
- satisfiability problem
- inference rules
- theorem prover
- knowledge representation
- fixpoint
- argumentation frameworks