Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation.
Phan Minh ThangPhan Minh DungNguyen Duy HungPublished in: J. Log. Comput. (2009)
Keyphrases
- abstract argumentation
- proof procedures
- argumentation theory
- theorem proving
- proof procedure
- inference rules
- abstract argumentation frameworks
- argumentation frameworks
- argumentation systems
- first order logic
- theorem prover
- predicate calculus
- automated reasoning
- preference relations
- decision procedures
- artificial intelligence
- modal logic
- decision problems
- knowledge base