Specifying User Preferences using Weighted Signal Temporal Logic.
Noushin MehdipourCristian Ioan VasileCalin BeltaPublished in: CoRR (2020)
Keyphrases
- user preferences
- temporal logic
- model checking
- satisfiability problem
- modal logic
- collaborative filtering
- concurrent systems
- user behavior
- user profiles
- linear temporal logic
- computation tree logic
- recommender systems
- recommendation systems
- user interests
- user behaviour
- transition systems
- formal specification language
- automata theoretic
- user specific
- user feedback
- qualitative preferences
- verification method
- belief revision
- recommendation algorithms
- preference model
- dynamic constraints
- reactive systems
- temporal knowledge
- personalized recommendation
- decision problems
- domain knowledge