{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:09:28Z","timestamp":1725458968318},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540543058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0037031","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:39:32Z","timestamp":1138185572000},"page":"87-106","source":"Crossref","is-referenced-by-count":12,"title":["A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision"],"prefix":"10.1007","author":[{"given":"Didier","family":"Dubois","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Lang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henri","family":"Prade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Bernasconi C., Rivoira S., Termini S. On the notion of uncertain belief revision systems, Extended Abstracts of the Third International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems, Paris, 1990, 458\u2013460."},{"issue":"3","key":"6_CR2","first-page":"19","volume":"3","author":"M. Cayrol","year":"1989","unstructured":"Cayrol M., Tayrac P. ARC: un ATMS bas\u00e9 sur la r\u00e9solution CAT-correcte. Revue d'Intelligence Artificielle (Herm\u00e8s, Paris), 3(3), 1989, 19\u201339.","journal-title":"Revue d'Intelligence Artificielle (Herm\u00e8s, Paris)"},{"key":"6_CR3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer De","year":"1986","unstructured":"De Kleer J. An assumption-based TMS. Artificial Intelligence, 28, 1986, 127\u2013162.","journal-title":"Artificial Intelligence"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0004-3702(86)90081-0","volume":"28","author":"J. Kleer De","year":"1986","unstructured":"De Kleer J. Extending the ATMS. Artificial Intelligence, 28, 1986, 163\u2013196.","journal-title":"Artificial Intelligence"},{"key":"6_CR5","unstructured":"De Kleer J. A general labeling algorithm for assumption-based truth maintenance, Proc. of the Nat. Conf. on Artificial Intelligence, Saint Paul, Minnesota, Aug. 21\u201326, 1988, 188\u2013192."},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer De","year":"1987","unstructured":"De Kleer J., Williams B. Diagnosing multiple faults. Artificial Intelligence, 32, 1987, 97\u2013130.","journal-title":"Artificial Intelligence"},{"key":"6_CR7","unstructured":"Dubois D., Lang J., Prade H. Theorem proving under uncertainty \u2014 A possibility theory-based approach. Proc. of the 10th Inter. Joint Conf. on Artificial Intelligence, Milano, August, 1987, 984\u2013986."},{"key":"6_CR8","unstructured":"Dubois D., Lang J., Prade H. Automated reasoning using possibilistic logic: semantics, belief revision and variable certainty weights. Proc. of the 5th Workshop on Uncertainty in Artificial Intelligence, Windsor, Ontario, 1989, 81\u201387."},{"key":"6_CR9","unstructured":"Dubois D., Lang J., Prade H. Gestion d'hypoth\u00e8ses en logique possibiliste: un exemple d'application au diagnostic. Proc. of the 10th Inter. Conf. Workshop on Expert Systems and their Applications, Avignon, France, May 28\u2013June 1st, 1990, 299\u2013313."},{"key":"6_CR10","first-page":"252","volume-title":"Methodologies for Intelligent Systems, 5","author":"D. Dubois","year":"1990","unstructured":"Dubois D., Lang J., Prade H. 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, 1990, 252\u2013259."},{"key":"6_CR11","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. Necessity measures and the resolution principle. IEEE Trans. Systems, Man and Cybernetics, 17, 1987, 474\u2013478.","journal-title":"IEEE Trans. Systems, Man and Cybernetics"},{"key":"6_CR12","volume-title":"Possibility Theory \u2014 An Approach to Computerized Processing of Uncertainty","author":"D. Dubois","year":"1988","unstructured":"Dubois D., Prade H. (with the collaboration of Farreny H., Martin-Clouaire R., Testemale C.) Possibility Theory \u2014 An Approach to Computerized Processing of Uncertainty. Plenum Press, New York, 1988."},{"key":"6_CR13","unstructured":"Dubois D., Prade H. Epistemic entrenchment and possibilistic logic. In Tech. Report IRIT\/90-2\/R, IRIT, Univ. P. Sabatier, Toulouse, France, 1990. Artificial Intelligence, to appear."},{"key":"6_CR14","unstructured":"Dubois D., Prade H. Reasoning with inconsistent information in a possibilistic setting. Proc. of the 9th Europ. Conf. on Artificial Intelligence Stockholm, Sweden, Aug. 6\u201310, 1990, 259\u2013261."},{"key":"6_CR15","volume-title":"Knowledge in Flux \u2014 Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors P. Knowledge in Flux \u2014 Modeling the Dynamics of Epistemic States. The MIT Press, Cambridge, Mass., 1988."},{"key":"6_CR16","unstructured":"Laskey K.B., Lehner P.E. Belief maintenance; an integrated approach to uncertainty management. Proc. of the 7th Nat. Conf. of Amer. for Artificial Intelligence, Saint Paul, Minnesota, Aug. 21\u201326, 1988, 210\u2013214."},{"key":"6_CR17","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/321679.321688","volume":"19","author":"R.C.T. Lee","year":"1972","unstructured":"Lee R.C.T. Fuzzy logic and the resolution principle. Journal of ACM, 19, 1972, 109\u2013119.","journal-title":"Journal of ACM"},{"key":"6_CR18","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"Pearl J., Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann Publ. Inc., San Mateo, Ca., 1988."},{"key":"6_CR19","unstructured":"Provan G.M. An analysis of ATMS-based techniques for computing Dempster-Shafer belief functions. Proc of the 9th Joint Conf. on Artificial Intelligence, Detroit, Aug. 20\u201325, 1989, 1115\u20131120."},{"key":"6_CR20","first-page":"61","volume-title":"Computational Intelligence II","author":"O. Raiman","year":"1990","unstructured":"Raiman O. Two heuristics integrating probabilities and logic: a preliminary report on parsimonious search. In: Computational Intelligence II (F. Gardin, G. Mauri, M.G. Filippini, eds.), North-Holland, Amsterdam, 1990, 61\u201368."},{"key":"6_CR21","unstructured":"Tayrac P. ARC: an extended ATMS based on directed CAT-correct resolution. See in this volume."},{"key":"6_CR22","unstructured":"Wrzos-Kaminski J., Wrzos-Kaminska A. Explicit ordering of defaults in ATMS. Proc. of the 9th Europ. Conf. on Artificial Intelligence, Stockholm, Sweden, Aug. 6\u201310, 1990, 714\u2013719."},{"key":"6_CR23","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. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1, 1978, 3\u201328.","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Lecture Notes in Computer Science","Truth Maintenance Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037031.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T17:21:54Z","timestamp":1607534514000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037031"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540543058"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0037031","relation":{},"subject":[]}}