CLEAR: Argumentation Frameworks for Constructing and Evaluating Deductive Mathematical Proofs.

Nadira Boudjani Abdelkader Gouaïch Souhila Kaci

Published in: COMMA (2018)

Keyphrases

mathematical proofs
argumentation frameworks
argumentation semantics
argumentation systems
abstract argumentation
theorem prover
practical reasoning
object oriented
cognitive processes
natural language
logical framework
state space
preference relations
dynamic programming