Programs That Offer Fast, Flawless, Logical Reasoning.

Published in: Commun. ACM (1998)

Keyphrases

logical reasoning
formal semantics
intermediate level
knowledge base
relational databases
control flow
real time
data sets
databases
information retrieval
learning algorithm
computer vision
information systems
hidden markov models
control structures