Argumentation: Reconciling Human and Automated Reasoning.

Antonis C. Kakas Loizos Michael Francesca Toni

Published in: Bridging@IJCAI (2016)

Keyphrases

automated reasoning
reasoning systems
knowledge representation
decision procedures
theorem prover
theorem proving
probabilistic reasoning
reasoning tasks
knowledge representation and reasoning
automated verification
learning algorithm
bayesian networks
search space
random variables
propositional satisfiability