Keyphrases
- probabilistic logic
- predicate calculus
- higher order
- adaptive filtering
- information filtering
- logical theories
- first order logic
- filtering process
- data mining
- median filter
- quantifier elimination
- logical formulas
- logical framework
- filtering method
- filtering algorithm
- real time
- situation calculus
- machine learning
- database systems
- image processing
- logical representation
- databases
- data sets