Keyphrases
- modal logic
- user modeling
- temporal logic
- nonmonotonic logics
- inference rules
- user model
- information filtering
- epistemic logic
- information retrieval
- classical logic
- user profiles
- conditional logic
- adaptive hypermedia
- recommender systems
- user interface
- default logic
- adaptive systems
- autoepistemic logic
- situation calculus
- web search
- recommendation systems
- explanation based generalization
- modal operators
- adaptive web systems
- user interests
- collaborative filtering
- information extraction
- multi agent systems
- prime implicates
- natural language
- website