Keyphrases
- higher order logic
- recommender systems
- higher order
- theorem prover
- conditional logic
- collaborative filtering
- logical framework
- information filtering
- user profiles
- data representation
- user preferences
- inference rules
- cold start problem
- automated reasoning
- default reasoning
- theorem proving
- bayesian networks
- supervised learning
- pairwise
- expert systems