Explanations and Proof Trees.

Gérard Ferrand Willy Lesaint Alexandre Tessier

Published in: ExaCt (2005)

Keyphrases

decision trees
tree structure
theorem proving
linear logic
machine learning
information retrieval
feature selection
case study
bayesian networks
binary tree
tree construction
tree models
tree mining
generating explanations
interactive theorem proving