Neat Explanation of Proof Trees.

Agneta Eriksson Anna-Lena Johansson

Published in: IJCAI (1985)

Keyphrases

cost based abduction
decision trees
theorem proving
generating explanations
multiscale
tree structure
binary trees
explanation based learning
labeled trees
proof theory
automated theorem proving
tree construction
temporal difference
information retrieval
theorem prover
knowledge representation
feature selection