Representing and reasoning with qualitative preferences: tools and applications
Auteur :
Santhanam, Ganesh Ram / Basu, Samik / Honavar, Vasant
Éditeur :
Springer International Publishing AG
ISBN :
9783031004452
Date de publication :
12 janv. 2016
Dimensions :
23,5 x 19,1 cm
Langue :
Anglais
Pays d'origine :
Suisse
One can translate preference queries with respect to a set of preferences into an equivalent set of formulae in CTL, such that the CTL formula is satisfied whenever the preference query holds.