Login / Signup
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