Formalization of argument accrual: Acceptability semantics and dialectical proof procedure.
Mauro Javier Gómez LuceroPublished in: AI Commun. (2013)
Keyphrases
- proof procedure
- abstract argumentation
- theorem proving
- abstract argumentation frameworks
- argumentation theory
- model theoretic
- operational semantics
- proof procedures
- predicate calculus
- first order logic
- argumentation systems
- formal model
- decision procedures
- argumentation frameworks
- inference rules
- deductive databases
- argumentation schemes
- theorem prover
- propositional logic
- automated reasoning
- knowledge representation
- logic programs
- active rules
- formal semantics
- argumentation semantics
- probabilistic reasoning
- semantic network
- decision problems
- integrity constraints