Representing and Reasoning with Qualitative Preferences
Tools and Applications
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.
Specificaties
| ISBN/EAN | 9783031004452 |
| Auteur | Ganesh Ram Santhanam |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Paperback / gebrocheerd |
| Pagina's | 138 |
| Lengte | |
| Breedte |