SCAN - Elimination of Predicate Quantifiers.

Hans Jürgen Ohlbach

Published in: CADE (1996)

Keyphrases

first order logic
scan data
inference rules
natural language
knowledge representation
image processing
website
association rules
monotonicity constraints
probability distribution
hidden markov models
color images
database
lower bound
feature extraction
artificial intelligence
genetic algorithm