Representing and Reasoning with Qualitative Preferences
138
Pagini
2016
An
Paperback
Copertă
Editura
Springer International Publishing AG
Copertă
Paperback
Pagini
138
An publicare
2016
ISBN
9783031004452
Categorii
Informatică & Programare
Descriere
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.
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.
Conectează-te pentru a lăsa o recenzie
🔥
🔥
🔥
🔥
🔥
Nicio recenzie încă
Fii primul care lasă o impresie.
