On Checking Whether a Predicate Definitely Holds.

Alper Sen Vijay K. Garg

Published in: FATES (2003)

Keyphrases

first order logic
neural network
data sets
pattern recognition
consistency checking
objective function
hidden markov models
management system
least squares