Automated Reasoning.

Maria Paola Bonacina Alberto Martelli

Published in: Intelligenza Artificiale (2006)

Keyphrases

automated reasoning
reasoning systems
knowledge representation
theorem prover
reasoning tasks
theorem proving
probabilistic reasoning
decision procedures
automated verification
knowledge representation and reasoning
logical implication
machine learning
image segmentation
bayesian networks