{"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":1725458968220},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540543058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0037027","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:39:32Z","timestamp":1138203572000},"page":"17-33","source":"Crossref","is-referenced-by-count":1,"title":["Variations on backtracking for TMS"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Junker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Brewka, G., On Minimal Change: A Critique of the Architecture of Nonmonotonic TMS, in: Brewka, G. and Junker, U., Aspects of Non-Monotonic Reasoning, TASSO Report No 1, GMD, St. Augustin, Fed. Rep. of Germany, March 1990."},{"key":"2_CR2","unstructured":"Brown, A., Gaucas, D. and Benanav, D., An Algebraic Foundation for Truth Maintenance, in: Proceedings of the Tenth International Joint Conference on Artificial Intelligence, Milano, Italy, 1987, p. 973\u2013980."},{"key":"2_CR3","unstructured":"Cravo, M.R., Martins, J.P., A Syntactic Approach to Defaults and Belief Revision, in: DRUMS: Report of the RP1 Firt Workshop, Marseille, France, February 1990."},{"key":"2_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":"de Kleer, J., An Assumption-based TMS, Artificial Intelligence\n28 (1986), p. 127\u2013162.","journal-title":"Artificial Intelligence"},{"key":"2_CR5","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\n28 (1986), p. 163\u2013196.","journal-title":"Artificial Intelligence"},{"key":"2_CR6","unstructured":"de Kleer, J., A General Labelling Algorithm for Assumption-based Truth Maintenance, in: Proceedings of the Seventh National Conference on Artificial Intelligence, 1988."},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"3","author":"W.F. Dowling","year":"1984","unstructured":"Dowling, W.F. and Gallier, J.H., Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae, Journal of Logic Programming\n3 (1984), p. 267\u2013284.","journal-title":"Journal of Logic Programming"},{"key":"2_CR8","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J., A Truth Maintenance System, Artificial Intelligence\n12 (1979), p. 231\u2013272.","journal-title":"Artificial Intelligence"},{"key":"2_CR9","unstructured":"Doyle, J., Some Theories of Reasoned Assumptions: An Essay in Rational Psychology, Carnegie Mellon University, CMU CS-83-125, 1983."},{"key":"2_CR10","unstructured":"Doyle, J., The Ins and Outs of Reason Maintenance, in: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Karlsruhe, F.R.G., 1983, p. 349\u2013351."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Dressler, O., An Extended Basic ATMS, in: Reinfrank, M., de Kleer, J., Ginsberg, M.L., Sandewell, E. (Eds.), Non-Monotonic Reasoning, 2nd International Workshop, Springer LNCS 346, 1989, p. 143\u2013163.","DOI":"10.1007\/3-540-50701-9_25"},{"key":"2_CR12","unstructured":"Dressler, O., Problem Solving with the NM-ATMS, in: Proceedings of the Ninth European Conference on Artificial Intelligence, Stockholm, Sweden, 1990, p. 253\u2013258."},{"key":"2_CR13","volume-title":"A Theory and System for Non-Monotonic Reasoning","author":"J.W. Goodwin","year":"1987","unstructured":"Goodwin, J.W., A Theory and System for Non-Monotonic Reasoning, Ph.D. Dissertation, University of Link\u00f6ping, Link\u00f6ping, Sweden, 1987."},{"key":"2_CR14","unstructured":"Junker, U., A Correct Non-Monotonic ATMS, in: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, MI, 1989, p. 1049\u20131054."},{"key":"2_CR15","unstructured":"Junker, U. and Konolige, K., Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System, in: Proceedings of the Eighth National Conference on Artificial Intelligence, Boston, MA, 1988, p. 278\u2013283."},{"key":"2_CR16","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"Konolige, K., On the Relation between Default and Autoepistemic Logic, Artificial Intelligence\n35 (1988), p. 343\u2013382.","journal-title":"Artificial Intelligence"},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(88)90031-8","volume":"35","author":"J.P Martins","year":"1988","unstructured":"Martins, J.P and Shapiro, S.C., A Model for Belief Revision, Artificial Intelligence\n35 (1988), p. 25\u201380.","journal-title":"Artificial Intelligence"},{"key":"2_CR18","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"Moore, R.C., Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence\n25 (1985), p. 75\u201394.","journal-title":"Artificial Intelligence"},{"key":"2_CR19","unstructured":"Reinfrank, M., Dressler, O. and Brewka, G., On the Relation between Truth Maintenance and Autoepistemic Logic, in: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, MI, 1989, p. 1206\u20131212."},{"key":"2_CR20","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R., A Logic for Default Reasoning, Artificial Intelligence\n13 (1980), p. 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"2_CR21","series-title":"MCC Technical Report","volume-title":"An Algorithm for Truth Maintenance","author":"D.M. Russinoff","year":"1985","unstructured":"Russinoff, D.M., An Algorithm for Truth Maintenance, MCC Technical Report No. AI-062-85, MCC, Austin, Texas, 1985."}],"container-title":["Lecture Notes in Computer Science","Truth Maintenance Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037027.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:21:52Z","timestamp":1607552512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037027"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540543058"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0037027","relation":{},"subject":[]}}