{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T15:20:58Z","timestamp":1747581658273},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545071"},{"type":"electronic","value":"9783540384205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54507-7_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:56:51Z","timestamp":1330210611000},"page":"112-126","source":"Crossref","is-referenced-by-count":11,"title":["Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints"],"prefix":"10.1007","author":[{"given":"J\u00e9r\u00f4ome","family":"Lang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"unstructured":"Borning A., Maher M., Martindale A., Wilson M. (1989) \"Constraint hierarchies in logic programming\", Proc. ICLP'89, 149\u2013164.","key":"10_CR1"},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(85)90053-0","volume":"27","author":"Y. Descotte","year":"1985","unstructured":"Descotte Y., Latombe J.C. (1985), \"Making compromises among antagonistic constraints in a planner\", Artificial Intelligence, 27, 183\u2013217.","journal-title":"Artificial Intelligence"},{"unstructured":"Dubois D., Lang J., Prade H. (1987) \"Theorem proving under uncertainty \u2014 A possibility theory-based approach\". Proc. of the 10th Inter. Joint Conf. on Artificial Intelligence (IJCAI 87), Milano, Italy, 984\u2013986.","key":"10_CR3"},{"key":"10_CR4","first-page":"81","volume-title":"Proc. of the 5th Workshop on Uncertainty in Artificial Intelligence","author":"D. Dubois","year":"1989","unstructured":"Dubois D., Lang J., Prade H. (1989) \"Automated reasoning using possibilistic logic: semantics, belief revision and variable certainty weights\". Proc. of the 5th Workshop on Uncertainty in Artificial Intelligence, Windsor, Ontario, 81\u201387."},{"issue":"1","key":"10_CR5","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0165-0114(91)90051-Q","volume":"40","author":"D. Dubois","year":"1991","unstructured":"Dubois D., Lang J., Prade H. (1991) \"Fuzzy Sets in Approximate Reasoning. Part 2: Logical approaches\", Fuzzy Sets and Systems 40 (1), 203\u2013244.","journal-title":"Fuzzy Sets and Systems"},{"issue":"1","key":"10_CR6","first-page":"43","volume":"8","author":"D. Dubois","year":"1982","unstructured":"Dubois D., Prade H. (1982) \"A class of fuzzy measures based on triangular norms. A general framework for the combination of uncertain information\", Int. J of Intelligent Systems, 8(1), 43\u201361.","journal-title":"Int. J of Intelligent Systems"},{"key":"10_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-5287-7","volume-title":"Possibility Theory: an Approach to Computerized Processing of Uncertainty","author":"D. Dubois","year":"1988","unstructured":"Dubois D., Prade H. (1988) (with the collaboration de Farreny H., Martin-Clouaire R., Testemale C.) \"Possibility Theory: an Approach to Computerized Processing of Uncertainty\". Plenum Press, New York."},{"key":"10_CR8","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1109\/TSMC.1987.4309063","volume":"17","author":"D. Dubois","year":"1987","unstructured":"Dubois D., Prade H. (1987) \"Necessity measures and the resolution principle\". IEEE Trans. on Systems, Man and Cybernetics, 17, 474\u2013478.","journal-title":"IEEE Trans. on Systems, Man and Cybernetics"},{"doi-asserted-by":"crossref","unstructured":"Dubois D., Prade H. (1991) \"Epistemic entrenchment and possibilistic logic\", \u00e0 para\u00eetre dans Artificial Intelligence.","key":"10_CR9","DOI":"10.1016\/0004-3702(91)90101-O"},{"unstructured":"Dubois D., Prade H., Testemale C. (1988) \"In search of a modal system for possibility theory\". Proc. of the Conf. on Artificial Intelligence (ECAI), Munich, Germany, 501\u2013506.","key":"10_CR10"},{"unstructured":"Froidevaux C., Grosset\u00eate C. (1990) \"Graded default theories for uncertainty\", ECAI 90, Stockholm, 283\u2013288.","key":"10_CR11"},{"unstructured":"G\u00e4rdenfors P., Makinson D. (1988) \"Revision of knowledge systems using epistemic entrenchment\", in M. Vardi ed., Proc. Second Conference on Theoretical Aspects of Reasoning about Knowledge (Morgan Kaufmann).","key":"10_CR12"},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg M.L. (1988) \"Multi-valued logics: a uniform approach to reasoning in artificial intelligence\". Computational Intelligence, 4, 265\u2013316.","journal-title":"Computational Intelligence"},{"key":"10_CR14","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0167-9236(88)90097-8","volume":"4","author":"J.N. Hooker","year":"1986","unstructured":"Hooker J.N. (1986) \"A quantitative approach to logical inference\", Decision Support Systems 4, 45\u201369.","journal-title":"Decision Support Systems"},{"issue":"1","key":"10_CR15","first-page":"41","volume":"2","author":"S. Jeannicot","year":"1988","unstructured":"Jeannicot S., Oxusoff L., Rauzy A. (1988) \"Evaluation s\u00e9mantique: une propri\u00e9t\u00e9 de coupure pour rendre efficace la proc\u00e9dure de Davis et Putman\". Revue d'Intelligence Artificielle, 2(1), 41\u201360.","journal-title":"Revue d'Intelligence Artificielle"},{"unstructured":"Lang J. (1990) \"Semantic evaluation in possibilistic logic\", Proc. of the 3rd Inter. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, 51\u201355.","key":"10_CR16"},{"key":"10_CR17","volume-title":"Logique possibiliste: aspects formels, d\u00e9duction automatique, et applications","author":"J. Lang","year":"1991","unstructured":"Lang J. (1991) \"Logique possibiliste: aspects formels, d\u00e9duction automatique, et applications\", PhD thesis, University of Toulouse (France), January 1991"},{"doi-asserted-by":"crossref","unstructured":"Nilsson N. \"Probabilistic logic\". Artificial Intelligence, 28, 71\u201387.","key":"10_CR18","DOI":"10.1016\/0004-3702(86)90031-7"},{"doi-asserted-by":"crossref","unstructured":"Purdom P.W., \"Search rearrangement backtracking and polynomial average time\", Artificial Intelligence 21, 117\u2013133.","key":"10_CR19","DOI":"10.1016\/S0004-3702(83)80007-1"},{"key":"10_CR20","first-page":"585","volume":"90","author":"K. Satoh","year":"1990","unstructured":"Satoh K. (1990), \"Formalizing soft constraints by interpretation ordering\", Proc. ECAI 90, Stockholm, 585\u2013590.","journal-title":"Proc. ECAI"},{"unstructured":"Wrzos-Kaminski J., Wrzos-Kaminska A., \"Explicit ordering of defaults in ATMS\", Proc. ECAI 90, Stockholm, 714\u2013719.","key":"10_CR21"},{"doi-asserted-by":"crossref","unstructured":"Zadeh L.A. \"Fuzzy sets as a basis for a theory of possibility\". Fuzzy Sets and Systems, 1, 3\u201328.","key":"10_CR22","DOI":"10.1016\/0165-0114(78)90029-5"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Artificial Intelligence Research"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54507-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:17Z","timestamp":1605646517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54507-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545071","9783540384205"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-54507-7_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}