The Calculus of Facts.

Hartmann J. Genrich Gerda Thieler-Mevissen

Published in: MFCS (1976)

Keyphrases

knowledge base
background knowledge
information extraction
computer algebra
website
case study
artificial neural networks
automated theorem proving
database query languages
data sets
genetic algorithm
image processing
decision trees
digital libraries
relational databases
hidden markov models