Extracting Case-based Answers from Closed Proof-trees.

Isabel Gomes Barbosa Newton José Vieira

Published in: ICAART (1) (2010)

Keyphrases

case based reasoning
decision trees
theorem prover
automatic extraction
data streams
tree structure
mining closed frequent
case based learning
tree automata
case base
answer questions
model based reasoning
tree construction
automatically extracting
data model
question answer
data mining
data sets