Representing and Reasoning with Qualitative Preferences: Tools and Applications

DOI10.2200/S00689ED1V01Y201512AIM031zbMath1348.68009DBLPseries/synthesis/2016SanthanamOpenAlexW2538804925WikidataQ29040860 ScholiaQ29040860MaRDI QIDQ3463651

Samik Basu, Ganesh Ram. Santhanam, Vasant Honavar

Publication date: 19 January 2016

Published in: Synthesis Lectures on Artificial Intelligence and Machine Learning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2200/s00689ed1v01y201512aim031

zbMATH Keywords

model checkingcomputation tree logicpreference semanticsqualitative preferencespreference reasoningqualitative preference languages

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

This page was built for publication: Representing and Reasoning with Qualitative Preferences: Tools and Applications