Keyphrases
- higher order
- first order logic
- predicate calculus
- probabilistic logic
- information filtering
- logical theories
- image filtering
- stochastic dominance
- model theoretic
- filtering method
- filtering algorithm
- horn clauses
- logical structure
- relational learning
- filtering process
- logical formulas
- real time
- adaptive filtering
- logical representation
- multiscale