Believing the Axioms I.

Published in: J. Symb. Log. (1988)

Keyphrases

knowledge base
first order logic
hidden markov models
axiomatic characterization
information retrieval
information technology
domain knowledge
real time
data sets
databases
multiscale
pattern recognition
computer science
special case