Partial proof trees and structural modalities.

Aravind K. Joshi Seth Kulick Natasha Kurtonina

Published in: TAG+ (1998)

Keyphrases

decision trees
structural information
tree structure
theorem proving
structural analysis
tree structures
binary tree
data sets
neural network
knowledge base
multiresolution
theorem prover
cross modal
compact representations