Preprocessing techniques for first-order clausification.
Krystof HoderZurab KhasidashviliKonstantin KorovinAndrei VoronkovPublished in: FMCAD (2012)
Keyphrases
- preprocessing
- first order logic
- post processing
- higher order
- feature extraction
- stochastic dominance
- preprocessing phase
- data structure
- face recognition
- preprocessing step
- data sets
- preprocessing steps
- database
- hidden markov models
- metadata
- computer vision
- data mining
- relational learning
- horn clauses
- probabilistic logic
- model theoretic
- quantifier elimination