Example Verifications Using Alphabet Axioms.

Henri Korver M. P. A. Sellink

Published in: Formal Aspects Comput. (1998)

Keyphrases

pattern matching
knowledge base
first order logic
artificial neural networks
axiomatic characterization
databases
information retrieval
information systems
image processing
multi agent
cooperative
pattern recognition
hidden markov models
logic programs