Explanations and Proof Trees.

Gérard Ferrand Willy Lesaint Alexandre Tessier

Published in: Comput. Artif. Intell. (2006)

Keyphrases

decision trees
mathematical proofs
tree structures
machine learning
theorem proving
generating explanations
binary trees
tree structure
real time
theorem prover
domain theory
training data
tree models
linear logic
search algorithm
database
automated theorem proving
explanatory power
genetic algorithm
data sets