{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:09:25Z","timestamp":1725458965978},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540543058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0037030","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:39:32Z","timestamp":1138185572000},"page":"71-86","source":"Crossref","is-referenced-by-count":1,"title":["Truth maintenance systems and belief revision"],"prefix":"10.1007","author":[{"given":"Laura","family":"Giordano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"J. Doyle, \u201cA Truth Maintenance System,\u201d Artificial Intelligence 12 pp. 231\u2013272 (1979).","journal-title":"Artificial Intelligence"},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0004-3702(90)90086-F","volume":"43","author":"C. Elkan","year":"1990","unstructured":"C. Elkan, \u201cA Rational Reconstruction of Nonmonotonic Truth Maintenance Systems,\u201d Artificial Intelligence 43 pp. 219\u2013234 (1990).","journal-title":"Artificial Intelligence"},{"key":"5_CR3","unstructured":"K. Eshghi and R.A. Kowalski, \u201cAbduction Compared with Negation by Failure,\u201d pp. 234\u2013254 in Proc. 6th Int. Conf. on Logic Programming, (1989)."},{"key":"5_CR4","unstructured":"Y. Fujiwara and S. Honiden, \u201cRelating the TMS to Autoepistemic Logic,\u201d pp. 1199\u20131205 in Proc. 11th IJCAI, Detroit (August 1989)."},{"key":"5_CR5","unstructured":"M. Gelfond and V. Lifschitz, \u201cThe Stable Model Semantics for Logic Programming,\u201d pp. 1070\u20131080 in Proc. 5th Int. Conf. and Symposium on Logic Programming, Seattle (1988)."},{"key":"5_CR6","unstructured":"L. Giordano and A. Martelli, \u201cGeneralized Stable Models, Truth Maintenance and Conflict Resolution,\u201d pp. 427\u2013441 in Proc. 7th Int. Conf. on Logic Programming, Jerusalem (1990)."},{"key":"5_CR7","unstructured":"L. Giordano and A. Martelli, \u201cAn Abductive Characterization of the TMS,\u201d pp. 308\u2013313 in Proc. 9th ECAI, Stockholm (1990)."},{"key":"5_CR8","unstructured":"L. Giordano and A. Martelli, \u201cThree-valued Labellings for Truth Maintenance Systems,\u201d pp. 506\u2013513 in Proc. ISMIS, Knoxville (1990)."},{"key":"5_CR9","unstructured":"P.H. Morris, \u201cCuring Anomalous Extensions,\u201d pp. 437\u2013442 in Proc. AAAI-87, Seattle (July 1987)."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"P.H. Morris, \u201cAutoepistemic Stable Closures and Contradiction Resolution,\u201d in Non-monotonic Reasoning, 2nd International Workshop, Springer Verlag Lecture Notes in Computer Science 346 (June 1988).","DOI":"10.1007\/3-540-50701-9_20"},{"key":"5_CR11","unstructured":"S.G. Pimentel and J.L. Cuadrado, \u201cA Truth Maintenance System Based on Stable Models,\u201d pp. 274\u2013290 in Proc. NACLP90, Cleveland (1989)."},{"key":"5_CR12","unstructured":"M. Reinfrank and H. Freitag, \u201cRules and Justifications: a Uniform Approach to Reason Maintenance and Non-monotonic Inference,\u201d pp. 439\u2013446 in Proc. of the Int. Conf. on V Gen. Computer Systems, Tokyo (1988)."},{"key":"5_CR13","unstructured":"M. Reinfrank, O. Dressler, and G. Brewka, \u201cOn The Relation between Truth Maintenance and Autoepistemic Logic,\u201d pp. 1206\u20131212 in Proc. 11th IJCAI, Detroit (1989)."},{"key":"5_CR14","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, \u201cA Logic for default reasoning,\u201d Artificial Intelligence 13 pp. 81\u2013132 (1980).","journal-title":"Artificial Intelligence"},{"key":"5_CR15","unstructured":"R. Reiter and J. DeKleer, \u201cFoundations of Assumption-Based Truth Maintenance Systems: Preliminary Report,\u201d pp. 183\u2013188 in Proc. AAAI, (1989)."}],"container-title":["Lecture Notes in Computer Science","Truth Maintenance Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037030.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\/BFb0037030"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540543058"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0037030","relation":{},"subject":[]}}