{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:15:59Z","timestamp":1743124559267,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642018176"},{"type":"electronic","value":"9783642018183"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01818-3_18","type":"book-chapter","created":{"date-parts":[[2009,5,14]],"date-time":"2009-05-14T15:40:43Z","timestamp":1242315643000},"page":"171-182","source":"Crossref","is-referenced-by-count":0,"title":["Compiling the Lexicographic Inference Using Boolean Cardinality Constraints"],"prefix":"10.1007","author":[{"given":"Safa","family":"Yahi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salem","family":"Benferhat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-45193-8_8","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"O. Bailleux","year":"2003","unstructured":"Bailleux, O., Boufkhad, Y.: Efficient CNF encoding of boolean cardinality constraints. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 108\u2013122. Springer, Heidelberg (2003)"},{"key":"18_CR2","unstructured":"Benferhat, S., Dubois, D., Cayrol, C., Lang, J., Prade, H.: Inconsistency management and prioritized syntaxbased entailment. In: IJCAI 1993, pp. 640\u2013645 (1993)"},{"key":"18_CR3","unstructured":"Benferhat, S., Kaci, S., Le Berre, D., Williams, M.A.: Weakening conflicting information for iterated revision and knowledge integration. In: IJCAI 2001(2001)"},{"key":"18_CR4","unstructured":"Benferhat, S., Bonnefon, J.-F., Neves, R.D.S.: An experimental analysis of possibilistic default reasoning. In: KR 2004, pp. 130\u2013140 (2004)"},{"key":"18_CR5","unstructured":"Brewka, G.: Preferred subtheories: an extended logical framework for default reasoning. In: Proceedings of IJCAI 1989, pp. 1043\u20131048 (1989)"},{"key":"18_CR6","first-page":"137","volume":"10","author":"M. Cadoli","year":"1997","unstructured":"Cadoli, M., Donini, F.M.: A survey on knowledge compilation. AI Communications\u00a010, 137\u2013150 (1997)","journal-title":"AI Communications"},{"issue":"3-4","key":"18_CR7","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1023\/A:1018939502485","volume":"22","author":"C. Cayrol","year":"1998","unstructured":"Cayrol, C., Lagasquie-Schiex, M.C., Schiex, T.: Nonmonotonic reasoning: From complexity to algorithms. Ann. Math. Artif. Intell.\u00a022(3-4), 207\u2013236 (1998)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"4","key":"18_CR8","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1023\/B:AMAI.0000038313.15152.5c","volume":"42","author":"S. Coste-Marquis","year":"2004","unstructured":"Coste-Marquis, S., Marquis, P.: On stratified belief base compilation. Annals of Mathematics and Artificial Intelligence\u00a042(4), 399\u2013442 (2004)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"18_CR9","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1613\/jair.989","volume":"17","author":"A. Darwiche","year":"2002","unstructured":"Darwiche, A., Marquis, P.: A knowledge compilation map. Journal of Artificial Intelligence Research\u00a017, 229\u2013264 (2002)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"1\u20132","key":"18_CR10","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.artint.2004.04.005","volume":"157","author":"A. Darwiche","year":"2004","unstructured":"Darwiche, A., Marquis, P.: Compiling propositional weighted bases. Artificial Intelligence\u00a0157(1\u20132), 81\u2013113 (2004)","journal-title":"Artificial Intelligence"},{"key":"18_CR11","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1093\/oso\/9780198537472.003.0009","volume":"3","author":"D. Dubois","year":"1994","unstructured":"Dubois, D., Lang, J., Prade, H.: Possibilistic logic. Handbook of Logic in Articial Intelligence and Logic Programming\u00a03, 439\u2013513 (1994)","journal-title":"Handbook of Logic in Articial Intelligence and Logic Programming"},{"key":"18_CR12","unstructured":"Lagasquie-Schiex, M.C.: Contribution \u00e0 l\u2019\u00e9tude des relations d\u2019inf\u00e9rence non-monotone combinant inf\u00e9rence classique et pr\u00e9f\u00e9rences. Phd Thesis (1995)"},{"key":"18_CR13","unstructured":"Lehmann, D.: Belief revision revisited. In: Proceedings of IJCAI 1995, pp. 1534\u20131539 (1995)"},{"issue":"1","key":"18_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF01535841","volume":"15","author":"D.J. Lehmann","year":"1995","unstructured":"Lehmann, D.J.: Another perspective on default reasoning. Annals of Mathematics and Artificial Intelligence\u00a015(1), 61\u201382 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"18_CR15","unstructured":"Nebel, B.: Base revision operations and schemes: semantics, representation and complexity. In: Proceedings of ECAI 1994, pp. 341\u2013345 (1994)"},{"key":"18_CR16","unstructured":"Pearl, J.: System Z: A natural ordering of defaults with tractable applications to default reasoning. In: Proceedings of TARK 1990, pp. 121\u2013135 (1990)"},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF00154005","volume":"1","author":"N. Rescher","year":"1970","unstructured":"Rescher, N., Manor, R.: On inference from inconsistent premises. Theory and Decision\u00a01, 179\u2013217 (1970)","journal-title":"Theory and Decision"},{"issue":"2","key":"18_CR18","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/226643.226644","volume":"43","author":"B. Selman","year":"1996","unstructured":"Selman, B., Kautz, H.: Knowledge compilation and theory approximation. Journal of the ACM\u00a043(2), 193\u2013224 (1996)","journal-title":"Journal of the ACM"},{"key":"18_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"827","DOI":"10.1007\/11564751_73","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"C. Sinz","year":"2005","unstructured":"Sinz, C.: Towards an optimal cnf encoding of boolean cardinality constraints. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 827\u2013831. Springer, Heidelberg (2005)"},{"issue":"2","key":"18_CR20","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0020-0190(98)00144-6","volume":"68","author":"J.P. Warners","year":"1998","unstructured":"Warners, J.P.: A linear-time transformation of linear inequalities into conjunctive normal form. Inf. Process. Lett.\u00a068(2), 63\u201369 (1998)","journal-title":"Inf. Process. Lett."},{"key":"18_CR21","unstructured":"W\u00fcrbel, E., Jeansoulin, R., Papini, O.: Revision: an application in the framework of GIS. In: KR 2000, pp. 505\u2013515 (2000)"},{"key":"18_CR22","unstructured":"Yahi, S., Benferhat, S., Lagrue, S., S\u00e9rayet, M., Papini, O.: A lexicographic inference for partially preordered belief bases. In: KR 2008, pp. 507\u2013517 (2008)"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01818-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T10:45:25Z","timestamp":1710326725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01818-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642018176","9783642018183"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01818-3_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}