Detalls del llibre
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.
Llegir més - Autors Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
- ISBN13 9783031004452
- ISBN10 3031004450
- Pàgines 138
- Any Edició 2016
- Fecha de publicación 12/01/2016
- Idioma Alemany, Francès
Ressenyes i valoracions
Representing and Reasoning with Qualitative Preferences: Tools and Applications (Alemany, Francès)
- De
- Ganesh Ram Santhanam, Samik Basu, Vasant Honavar
- |
- SPRINGER (2016)
- 9783031004452



