Representing and Reasoning with Qualitative Preferences: Tools and Applications
(Bog, Paperback / softback, Engelsk)
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Forfattere | Ganesh Ram Santhanam, Samik Basu, Vasant Honavar |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgivelsesdato | 12-01-2016 |
| Første udgivelsesår | 2016 |
| Serie | Synthesis Lectures on Artificial Intelligence and Machine Learning |
| Illustrationer | XV, 138 p. |
| Originalsprog | Switzerland |
| Sideantal | 138 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 138 pages, XV, 138 p. |
| Mål | 234 x 189 x 13 |
| ISBN-13 / EAN-13 | 9783031004452 |