Matches in SemOpenAlex for { <https://semopenalex.org/work/W2538804925> ?p ?o ?g. }
- W2538804925 endingPage "154" @default.
- W2538804925 startingPage "1" @default.
- W2538804925 abstract "Abstract This book provides a tutorial introduction to modern techniques for representing and reasoning about qualitative preferences with respect to a set of alternatives. The syntax and semantics of several languages for representing preference languages, including CP-nets, TCP-nets, CI-nets, and CP-theories, are reviewed. Some key problems in reasoning about preferences are introduced, including determining whether one alternative is preferred to another, or whether they are equivalent, with respect to a given set of preferences. These tasks can be reduced to model checking in temporal logic. Specifically, an induced preference graph that represents a given set of preferences can be efficiently encoded using a Kripke Structure for Computational Tree Logic (CTL). 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. This allows us to use a model checker to reason abo..." @default.
- W2538804925 created "2016-10-28" @default.
- W2538804925 creator A5004737962 @default.
- W2538804925 creator A5019473133 @default.
- W2538804925 creator A5056774275 @default.
- W2538804925 date "2016-01-12" @default.
- W2538804925 modified "2023-09-30" @default.
- W2538804925 title "Representing and Reasoning with Qualitative Preferences: Tools and Applications" @default.
- W2538804925 cites W1429133117 @default.
- W2538804925 cites W1483029304 @default.
- W2538804925 cites W1489391022 @default.
- W2538804925 cites W1491214620 @default.
- W2538804925 cites W1513047676 @default.
- W2538804925 cites W1514467589 @default.
- W2538804925 cites W1525667041 @default.
- W2538804925 cites W1528441743 @default.
- W2538804925 cites W1549714654 @default.
- W2538804925 cites W1572432266 @default.
- W2538804925 cites W1586140256 @default.
- W2538804925 cites W1590315663 @default.
- W2538804925 cites W1593428110 @default.
- W2538804925 cites W1607355011 @default.
- W2538804925 cites W1749365944 @default.
- W2538804925 cites W1787074469 @default.
- W2538804925 cites W1857953989 @default.
- W2538804925 cites W1963492530 @default.
- W2538804925 cites W1966471203 @default.
- W2538804925 cites W1970788397 @default.
- W2538804925 cites W1974413167 @default.
- W2538804925 cites W1976649281 @default.
- W2538804925 cites W1988793717 @default.
- W2538804925 cites W1991456128 @default.
- W2538804925 cites W1991983453 @default.
- W2538804925 cites W1994143452 @default.
- W2538804925 cites W2002699418 @default.
- W2538804925 cites W2015640848 @default.
- W2538804925 cites W2029306132 @default.
- W2538804925 cites W2046213250 @default.
- W2538804925 cites W2078705358 @default.
- W2538804925 cites W2080267935 @default.
- W2538804925 cites W2099564394 @default.
- W2538804925 cites W2105614525 @default.
- W2538804925 cites W2114660707 @default.
- W2538804925 cites W2117189826 @default.
- W2538804925 cites W2127574686 @default.
- W2538804925 cites W2133055577 @default.
- W2538804925 cites W2136105968 @default.
- W2538804925 cites W2141472133 @default.
- W2538804925 cites W2145594292 @default.
- W2538804925 cites W2145604831 @default.
- W2538804925 cites W2150503808 @default.
- W2538804925 cites W2161208920 @default.
- W2538804925 cites W2180713429 @default.
- W2538804925 cites W2335911175 @default.
- W2538804925 cites W2534652523 @default.
- W2538804925 cites W3102235111 @default.
- W2538804925 cites W347679055 @default.
- W2538804925 cites W4211204132 @default.
- W2538804925 cites W4230507407 @default.
- W2538804925 cites W4246748217 @default.
- W2538804925 cites W4251228600 @default.
- W2538804925 cites W4252150051 @default.
- W2538804925 cites W4302769479 @default.
- W2538804925 cites W63636027 @default.
- W2538804925 doi "https://doi.org/10.2200/s00689ed1v01y201512aim031" @default.
- W2538804925 hasPublicationYear "2016" @default.
- W2538804925 type Work @default.
- W2538804925 sameAs 2538804925 @default.
- W2538804925 citedByCount "1" @default.
- W2538804925 countsByYear W25388049252017 @default.
- W2538804925 crossrefType "journal-article" @default.
- W2538804925 hasAuthorship W2538804925A5004737962 @default.
- W2538804925 hasAuthorship W2538804925A5019473133 @default.
- W2538804925 hasAuthorship W2538804925A5056774275 @default.
- W2538804925 hasBestOaLocation W25388049252 @default.
- W2538804925 hasConcept C105795698 @default.
- W2538804925 hasConcept C110251889 @default.
- W2538804925 hasConcept C147969180 @default.
- W2538804925 hasConcept C154317977 @default.
- W2538804925 hasConcept C154945302 @default.
- W2538804925 hasConcept C177264268 @default.
- W2538804925 hasConcept C182620335 @default.
- W2538804925 hasConcept C184337299 @default.
- W2538804925 hasConcept C185592680 @default.
- W2538804925 hasConcept C198008173 @default.
- W2538804925 hasConcept C199360897 @default.
- W2538804925 hasConcept C202751555 @default.
- W2538804925 hasConcept C2781249084 @default.
- W2538804925 hasConcept C33923547 @default.
- W2538804925 hasConcept C41008148 @default.
- W2538804925 hasConcept C55493867 @default.
- W2538804925 hasConcept C60048249 @default.
- W2538804925 hasConcept C80444323 @default.
- W2538804925 hasConceptScore W2538804925C105795698 @default.
- W2538804925 hasConceptScore W2538804925C110251889 @default.
- W2538804925 hasConceptScore W2538804925C147969180 @default.
- W2538804925 hasConceptScore W2538804925C154317977 @default.
- W2538804925 hasConceptScore W2538804925C154945302 @default.