The Reasoner and the Inferencer don't Talk Much to Each Other.

Robert P. Abelson

Published in: TINLAP (supplement) (1975)

Keyphrases

consistency checking
knowledge base
query answering
database
decision trees
training data
objective function
data structure