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.

• | Author: Ganesh Ram Santhanam, Vasant Honavar, Samik Basu
• | Publisher: Springer International Publishing AG
• | Publication Date: Jan 12, 2016
• | Number of Pages:
• | Language:
• | Binding: Paperback / softback
• | ISBN-13: 9783031004452
• | ISBN-10: 3031004450