{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:49:20Z","timestamp":1742953760578,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415746"},{"type":"electronic","value":"9783642415753"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41575-3_25","type":"book-chapter","created":{"date-parts":[[2013,10,28]],"date-time":"2013-10-28T01:37:47Z","timestamp":1382924267000},"page":"324-335","source":"Crossref","is-referenced-by-count":0,"title":["Verifying Preferential Equivalence and Subsumption via Model Checking"],"prefix":"10.1007","author":[{"given":"Ganesh Ram","family":"Santhanam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samik","family":"Basu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vasant","family":"Honavar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"25_CR1","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/j.geb.2011.11.007","volume":"75","author":"J.W. Hatfield","year":"2012","unstructured":"Hatfield, J.W., Immorlica, N., Kominers, S.D.: Testing substitutability. Games and Economic Behavior\u00a075(2), 639\u2013645 (2012)","journal-title":"Games and Economic Behavior"},{"key":"25_CR2","unstructured":"Gusfield, D., Irving, R.W.: The Stable marriage problem - structure and algorithms. Foundations of computing series. MIT Press (1989)"},{"issue":"4","key":"25_CR3","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1142\/S021821301100036X","volume":"20","author":"W. Trabelsi","year":"2011","unstructured":"Trabelsi, W., Wilson, N., Bridge, D.G., Ricci, F.: Preference dominance reasoning for conversational recommender systems: a comparison between a comparative preferences and a sum of weights approach. Int\u2019l Journal on Art. Int. Tools\u00a020(4), 591\u2013616 (2011)","journal-title":"Int\u2019l Journal on Art. Int. Tools"},{"key":"25_CR4","unstructured":"Rossi, F., Venable, K.B., Walsh, T.: mcp nets: Representing and reasoning with preferences of multiple agents. In: Proc. of Nat\u2019l Conf. on Art. Int., pp. 729\u2013734. AAAI Press (2004)"},{"key":"25_CR5","first-page":"389","volume":"25","author":"R.I. Brafman","year":"2006","unstructured":"Brafman, R.I., Domshlak, C., Shimony, S.E.: On graphical modeling of preference and importance. J. Art. Intel. Res.\u00a025, 389\u2013424 (2006)","journal-title":"J. Art. Intel. Res."},{"key":"25_CR6","unstructured":"Wilson, N.: Extending cp-nets with stronger conditional preference statements. In: AAAI, pp. 735\u2013741 (2004)"},{"key":"25_CR7","unstructured":"Bouveret, S., Endriss, U., Lang, J.: Conditional importance networks: A graphical language for representing ordinal, monotonic preferences over sets of goods. In: IJCAI, pp. 67\u201372 (2009)"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Brafman, R.I., Pilotto, E., Rossi, F., Salvagnin, D., Venable, K.B., Walsh, T.: The next best solution. In: AAAI (2011)","DOI":"10.1609\/aaai.v25i1.7958"},{"issue":"3-4","key":"25_CR9","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/s00182-007-0080-7","volume":"36","author":"R. Mart\u00ednez","year":"2008","unstructured":"Mart\u00ednez, R., Mass\u00f3, J., Neme, A., Oviedo, J.: On the invariance of the set of stable matchings with respect to substitutable preference profiles. Int. J. Game Theory\u00a036(3-4), 497\u2013518 (2008)","journal-title":"Int. J. Game Theory"},{"key":"25_CR10","unstructured":"Boutilier, C., Brafman, R.I., Hoos, H.H., Poole, D.: Reasoning with conditional ceteris paribus preference statements. In: UAI, pp. 71\u201380 (1999)"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Santhanam, G.R., Basu, S., Honavar, V.: Dominance testing via model checking. In: AAAI. AAAI Press (2010)","DOI":"10.1609\/aaai.v24i1.7599"},{"key":"25_CR12","first-page":"403","volume":"33","author":"J. Goldsmith","year":"2008","unstructured":"Goldsmith, J., Lang, J., Truszczynski, M., Wilson, N.: The computational complexity of dominance and consistency in cp-nets. J. Art. Intel. Res.\u00a033, 403\u2013432 (2008)","journal-title":"J. Art. Intel. Res."},{"key":"25_CR13","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume-title":"International Symposium on Programming","author":"J.P. Queille","year":"1982","unstructured":"Queille, J.P., Sifakis, J.: Specification and verification of concurrent systems in CESAR. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) International Symposium on Programming. LNCS, vol.\u00a0137, pp. 337\u2013351. Springer, Heidelberg (1982)"},{"issue":"2","key":"25_CR14","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM TOPLAS\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM TOPLAS"},{"key":"25_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV Version 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 359\u2013364. Springer, Heidelberg (2002)"},{"key":"25_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-642-35861-6_13","volume-title":"Formal Aspects of Component Software","author":"Z.J. Oster","year":"2013","unstructured":"Oster, Z.J., Santhanam, G.R., Basu, S., Honavar, V.: Model checking of qualitative sensitivity preferences to minimize credential disclosure. In: P\u0103s\u0103reanu, C.S., Sala\u00fcn, G. (eds.) FACS 2012. LNCS, vol.\u00a07684, pp. 205\u2013223. Springer, Heidelberg (2013)"},{"key":"25_CR17","first-page":"135","volume":"21","author":"C. Boutilier","year":"2004","unstructured":"Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H.H., Poole, D.: Cp-nets: A tool for representing and reasoning with conditional ceteris paribus preference statements. J. Art. Intel. Res.\u00a021, 135\u2013191 (2004)","journal-title":"J. Art. Intel. Res."},{"key":"25_CR18","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (January 2000)"},{"key":"25_CR19","unstructured":"Santhanam, G.R., Basu, S., Honavar, V.: Efficient dominance testing for unconditional preferences. In: KR (2010)"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Decision Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41575-3_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T17:22:26Z","timestamp":1688577746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41575-3_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415746","9783642415753"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41575-3_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}