{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:08Z","timestamp":1725663968663},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547129"},{"type":"electronic","value":"9783540464433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54712-6_256","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:11:04Z","timestamp":1330211464000},"page":"430-434","source":"Crossref","is-referenced-by-count":0,"title":["Truth maintenance in approximate reasoning"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Fringuelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Marcugini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfredo","family":"Milani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvano","family":"Rivoira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"3","key":"44_CR1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":".Doyle","year":"1979","unstructured":".Doyle (1979). A Truth Maintenance System. In Artificial Intelligence, 12 (3), pp 231\u2013272.","journal-title":"Artificial Intelligence"},{"key":"44_CR2","volume-title":"AI Memo 551","author":"D. McAllester","year":"1980","unstructured":"D.McAllester (1980). An Outlook on Truth Maintenance. In AI Memo 551, AI Lab., MIT, Cambridge (MA)."},{"issue":"3","key":"44_CR3","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1109\/TPAMI.1983.4767388","volume":"5","author":"D. McDermott","year":"1983","unstructured":"D.McDermott (1983). Context and Data Dependencies. In A Synthesis, IEEE Trans. Pattern Anal.Mach. Intell., 5 (3), pp. 237\u2013246.","journal-title":"A Synthesis, IEEE Trans. Pattern Anal.Mach. Intell."},{"issue":"2","key":"44_CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"J.de Kleer (1986). An Assumption-based TMS. In Artificial Intelligence, 28 (2), pp. 127\u2013162.","journal-title":"Artificial Intelligence"},{"key":"44_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(88)90031-8","volume":"35","author":"J. P. Martins","year":"1988","unstructured":"J.P.Martins, S.C.Shapiro (1988). A Model for Belief Revision. In Artificial Intelligence, 35, pp. 25\u201379.","journal-title":"Artificial Intelligence"},{"key":"44_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":"J.de Kleer, B.C.Williams (1987). Diagnosing Multiple Faults. In Artificial Intelligence, 32, pp. 97\u2013130.","journal-title":"Artificial Intelligence"},{"key":"44_CR7","doi-asserted-by":"crossref","unstructured":"B.Falkenheiner (1988). Towards a General Purpose Belief Maintenance System. In J.F.Lemmer, L.N.Kanal (eds.) Uncertainty in Artificial Intelligence: 2nd Conference, North-Holland, pp.125\u2013132.","DOI":"10.1016\/B978-0-444-70396-5.50017-0"},{"key":"44_CR8","unstructured":"B.D'Ambrosio (1989). A Hybrid Approach to Reasoning Under Uncertainty. In L.N.Kanal, T.S.Levitt, J.F.Lemmer (eds.) Uncertainty in Artificial Intelligence: 3rd Conference, North-Holland, pp.267\u2013283."},{"key":"44_CR9","unstructured":"G.M. Provan (1989). An Analysis of ATMS-based Techniques for Computing Dempster-Shafer Belief Functions. In Proceedings of the.9th IJCAI, Detroit Aug. 1989, pp. 1115\u20131120."},{"key":"44_CR10","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(89)90078-7","volume":"41","author":"K. B. Laskey","year":"1989","unstructured":"K.B.Laskey, P.E. Lehner(1989). Assumptions, Beliefs and Probabilities. In Artificial Intelligence 41, pp. 65\u201377.","journal-title":"Artificial Intelligence"},{"key":"44_CR11","unstructured":"D.Dubois, J.Lang, H.Prade (1990). Handling Uncertain Knowledge in an ATMS Using Possibilistic Logic. In Proceeding of ECAI Workshop on Truth Maintenance Systems, Stockolm."},{"issue":"1","key":"44_CR12","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J.A.Robinson (1965). A Machine-oriented Logic Based on the Resolution Principle. In Journal of ACM, 12 (1), pp. 23\u201341.","journal-title":"Journal of ACM"},{"issue":"1","key":"44_CR13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/321679.321688","volume":"19","author":"R. C. T. T. Lee","year":"1972","unstructured":"R.C.T.Lee (1972). Fuzzy Logic and the Resolution Principle. In Journal of ACM, 19 (1), pp.109\u2013119.","journal-title":"Journal of ACM"},{"key":"44_CR14","first-page":"224","volume-title":"Fuzzy Set and Possibility Theory","author":"M. Mukaidono","year":"1982","unstructured":"M.Mukaidono (1982). Fuzzy Inference of Resolution Style. In R.R.Yager (Ed.) Fuzzy Set and Possibility Theory, Pergamon Press, New York, pp. 224\u2013231."},{"key":"44_CR15","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0888-613X(89)90005-4","volume":"3","author":"M. Mukaidono","year":"1989","unstructured":"M.Mukaidono, Z. Shen, L. Ding (1989). Fundamentals of Fuzzy Prolog. In International Journal of Approximate Reasoning, 3, pp. 179\u2013193.","journal-title":"International Journal of Approximate Reasoning"}],"container-title":["Lecture Notes in Computer Science","Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54712-6_256.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:24:02Z","timestamp":1619573042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54712-6_256"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547129","9783540464433"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-54712-6_256","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}