{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:40Z","timestamp":1725663940781},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540546597"},{"type":"electronic","value":"9783540464266"}],"license":[{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54659-6_65","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:09:16Z","timestamp":1330211356000},"page":"53-57","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["A brief overview of possibilistic logic"],"prefix":"10.1007","author":[{"given":"Didier","family":"Dubois","sequence":"first","affiliation":[]},{"given":"J\u00e9r\u00f4me","family":"Lang","sequence":"additional","affiliation":[]},{"given":"Henri","family":"Prade","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"8_CR1","unstructured":"Dubois D., Lang J., Prade H. (1987) Theorem-proving under uncertainty \u2014 A possibilistic theory-based approach. Proc. 10th Inter. Joint Conf. on Artificial Intelligence, Milano, Italy, 984\u2013986."},{"key":"8_CR2","unstructured":"Dubois D., Lang J., Prade H. (1989) Automated reasoning using possibilistic logic: semantics, belief revision, variable certainty weights. Proc. 5th Workshop on Uncertainty in A.I., Windsor, Ont., 81\u201387."},{"key":"8_CR3","first-page":"252","volume-title":"Methodologies for Intelligent Systems 5","author":"D. Dubois","year":"1990","unstructured":"Dubois D., Lang J., Prade H. (1990) Handling uncertain knowledge in an ATMS using possibilistic logic. In: Methodologies for Intelligent Systems 5 (Z.W. Ras, M. Zemankova, M.L. Emrich, eds.), North-Holland, Amsterdam, 252\u2013259."},{"key":"8_CR4","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. (1991a) Fuzzy sets in approximate reasoning \u2014 Part 2: Logical approaches. Fuzzy Sets and Systems, 25th Anniversary Memorial Volume, 40, 203\u2013244.","journal-title":"Fuzzy Sets and Systems, 25th Anniversary Memorial Volume"},{"key":"8_CR5","first-page":"581","volume-title":"Proc. 8th Inter. Conf. on Logic Programming (ICLP'91), Paris, June 25\u201328","author":"D. Dubois","year":"1991","unstructured":"Dubois D., Lang J., Prade H. (1991b) Towards possibilistic logic programming. Proc. 8th Inter. Conf. on Logic Programming (ICLP'91), Paris, June 25\u201328, (K. Furukawa, ed.), The MIT Press, Cambridge, Mass., 581\u2013595."},{"key":"8_CR6","unstructured":"Dubois D., Lang J., Prade H. (1991c) Inconsistency in possibilistic knowledge bases \u2014 To live or not live with it. In: Fuzzy Logic for the Management of Uncertainty (L.A. Zadeh, J. Kacprzyk, eds.), Wiley, to appear."},{"key":"8_CR7","unstructured":"Dubois D., Lang J., Prade H. (1991d) A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision. Proc. ECAI Workshop on Truth-Maintenance Systems, Stockholm, Aug. 6, 1990, Lecture Notes in Computer Sciences, Springer Verlag (J.P. Martins, M. Reinfrank, eds.), to appear."},{"key":"8_CR8","unstructured":"Dubois D., Lang J., Prade H. (1991e) Handling uncertainty, context, vague predicates, and partial inconsistency in possibilistic logic. Proc. \u201cFuzzy Logic in Artificial Intelligence\u201d: a Workshop to be held in conjunction with the 12th Inter. Joint Conf. on Artificial Intelligence (IJCAI-91), Sydney, Australia, Aug. 25."},{"key":"8_CR9","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"},{"key":"8_CR10","volume-title":"Possibility Theory \u2014 An Approach to Computerized Processing of Uncertainty","author":"D. Dubois","year":"1988","unstructured":"Dubois D., Prade H. (1988) (with the collab. of H. Farreny, R. Martin-Clouaire, C. Testemale) Possibility Theory \u2014 An Approach to Computerized Processing of Uncertainty. Plenum Press, New York."},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0888-613X(90)90006-N","volume":"4","author":"D. Dubois","year":"1990","unstructured":"Dubois D., Prade H. (1990a) Resolution principles in possibilistic logic. Int. J. of Approx. Reas., 4, 1\u201321.","journal-title":"Int. J. of Approx. Reas."},{"key":"8_CR12","unstructured":"Dubois D., Prade H. (1990b) Epistemic entrenchment and possibilistic logic. In: Tech. Report IRIT\/90-2\/R, IRIT, Univ. P. Sabatier, Toulouse, France. Artificial Intelligence, to appear."},{"key":"8_CR13","unstructured":"Dubois D., Prade H. (1990c) Inference in possibilistic hypergraphs. Abridged version in Proc. 3rd Inter. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 2\u20136, 1990, 228\u2013230. Full version to appear in (B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh, eds.), Lecture Notes in Computer Science Series n\u2134 521, Springer Verlag, 1991."},{"key":"8_CR14","volume-title":"Uncertainty in Artificial Intelligence 6","author":"D. Dubois","year":"1990","unstructured":"Dubois D., Prade H. (1990d) Updating with belief functions, ordinal conditional functions and possibility measures. Preprints 6th Conf. on Uncertainty in A.I., Cambridge, Mass., July 27\u201329, 307\u2013315. To appear in: Uncertainty in Artificial Intelligence 6 (P.P. Bonissone, M. Henrion, L.N. Kanal, J.F. Lemmer, eds.), North-Holland, Amsterdam."},{"key":"8_CR15","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0165-0114(91)90050-Z","volume":"40","author":"D. Dubois","year":"1991","unstructured":"Dubois D., Prade H. (1991a) Fuzzy sets in approximate reasoning \u2014 Part 1: Inference with possibility distributions. Fuzzy Sets and Systems, 25th Anniversary Memorial Volume, 40, 143\u2013202.","journal-title":"Fuzzy Sets and Systems, 25th Anniversary Memorial Volume"},{"key":"8_CR16","unstructured":"Dubois D., Prade H. (1991b) Possibilistic logic, preference models, non-monotonicity and related issues. Proc. 12th Inter. Joint Conf. on Artificial Intelligence, Sydney, Australia, Aug. 24\u201330."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Dubois D., Prade H. (1991c) Belief change and possibility theory. In: Belief Revision (P. G\u00e4rdenfors, ed.), Cambridge University Press, to appear.","DOI":"10.1017\/CBO9780511526664.006"},{"key":"8_CR18","volume-title":"Knowledge in Flux \u2014 Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors P. (1988) Knowledge in Flux \u2014 Modeling the Dynamics of Epistemic States. MIT Press, Cambridge."},{"key":"8_CR19","first-page":"585","volume-title":"Proc. 2nd Inter. Conf. on Principle of Knowledge Representation and Reasoning","author":"P. G\u00e4rdenfors","year":"1991","unstructured":"G\u00e4rdenfors P. (1991) Nonmonotonic inferences based on expectations: a preliminary report. Proc. 2nd Inter. Conf. on Principle of Knowledge Representation and Reasoning, Cambridge, Mass. (J. Allen et al., eds.), Morgan & Kaufmann, 585\u2013590."},{"key":"8_CR20","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus S., Lehmann D., Magidor M. (1990) Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44, 134\u2013207.","journal-title":"Artificial Intelligence"},{"key":"8_CR21","unstructured":"Lang J. (1990) Semantic evaluation in possibilistic logic. Abridged version in Proc. 3rd Inter. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU), Paris, France, July 2\u20136, 1990, 51\u201355. Full version to appear in (B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh, eds.), Lecture Notes in Computer Science Series n\u2134 521, Springer Verlag, 1991."},{"key":"8_CR22","volume-title":"Proc. Inter. Workshop on Fundamentals of Artificial Intelligence Research (FAIR'91)","author":"J. Lang","year":"1991","unstructured":"Lang J. (1991) Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints. Proc. Inter. Workshop on Fundamentals of Artificial Intelligence Research (FAIR'91), Smolenice Castle, Czechoslovakia, Sept. 8\u201312, 1991, Springer Vertag, to appear."},{"key":"8_CR23","first-page":"188","volume-title":"Proc. 7th Conf. on Uncertainty in A.I., UCLA","author":"J. Lang","year":"1991","unstructured":"Lang J., Dubois D., Prade H. (1991) A logic of graded possibility and certainty coping with partial inconsistency. Proc. 7th Conf. on Uncertainty in A.I., UCLA, Los Angeles, July 13\u201315, Morgan Kaufmann, 188\u2013196."},{"key":"8_CR24","volume-title":"Reasoning Under Incomplete Information in Artificial Intelligence: A Comparison of Formalisms Using a Single Example","author":"P. Besnard","year":"1990","unstructured":"L\u00e9a Somb\u00e9 (Besnard P., Cordier M.O., Dubois D., Fari\u00f1as del Cerro L., Froidevaux C., Moinard Y., Prade H., Schwind C., Siegel P.) (1990) Reasoning Under Incomplete Information in Artificial Intelligence: A Comparison of Formalisms Using a Single Example. Wiley, New York."},{"key":"8_CR25","series-title":"Lecture Notes in Computer Sciences, n\u2134 465","volume-title":"The Logic of Theory Change","author":"D. Makinson","year":"1991","unstructured":"Makinson D., G\u00e4rdenfors P. (1991) Relation between the logic of theory change and nonmonotonic logic. In: The Logic of Theory Change (A. Fuhrmann, M. Morreau, eds.). Lecture Notes in Computer Sciences, n\u2134 465, Springer Verlag, Berlin."},{"key":"8_CR26","first-page":"119","volume-title":"Uncertainty in Artificial Intelligence 4","author":"G. Shafer","year":"1990","unstructured":"Shafer G., Shenoy P.P. (1990) An axiomatic framework for Bayesian and belief-function propagation. In: Uncertainty in Artificial Intelligence 4 (R.D. Shachter et al., eds.), North-Holland, Amsterdam, 119\u2013198."},{"key":"8_CR27","volume-title":"Reasoning About Change \u2014 Time and Causation from the Standpoint of Artificial Intelligence","author":"Y. Shoham","year":"1988","unstructured":"Shoham Y. (1988) Reasoning About Change \u2014 Time and Causation from the Standpoint of Artificial Intelligence. The MIT Press, Cambridge, Mass."},{"key":"8_CR28","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"1","author":"L.A. Zadeh","year":"1978","unstructured":"Zadeh L.A. (1978) Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1, 3\u201328.","journal-title":"Fuzzy Sets and Systems"},{"key":"8_CR29","first-page":"149","volume-title":"Machine Intelligence 9","author":"L.A. Zadeh","year":"1979","unstructured":"Zadeh L.A. (1979) A theory of approximate reasoning. In: Machine Intelligence 9 (J.E. Hayes, D. Michie, L.I. Mikulich, eds.), Elsevier, New York, 149\u2013194."}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Uncertainty"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54659-6_65","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T04:20:28Z","timestamp":1593750028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54659-6_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540546597","9783540464266"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-54659-6_65","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]},"assertion":[{"value":"1 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}