Login / Signup
On the impact of configuration on abstract argumentation automated reasoning.
Federico Cerutti
Mauro Vallati
Massimiliano Giacomin
Published in:
Int. J. Approx. Reason. (2018)
Keyphrases
</>
automated reasoning
abstract argumentation
theorem proving
reasoning systems
knowledge representation
theorem prover
reasoning tasks
probabilistic reasoning
first order logic
search space
inference rules
argumentation theory