{"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":1725458968149},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540543058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0037026","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:39:32Z","timestamp":1138185572000},"page":"1-16","source":"Crossref","is-referenced-by-count":1,"title":["Putting the problem solver back in the Driver's seat: Contextual control of the ATMS"],"prefix":"10.1007","author":[{"given":"Oskar","family":"Dressler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Farquhar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"1_CR1","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"Johan de Kleer. An assumption-based truth maintenance system, Extending the Atms, Problem solving with the Atms. Artificial Intelligence, 28(2):127\u2013224, 1986.","journal-title":"Artificial Intelligence"},{"key":"1_CR2","unstructured":"Johan de Kleer and Brian Williams. Back to backtracking: Controlling the Atms. In AAAI-86 Proceedings of the Fourth National Conference on Artificial Intelligence, pages 910\u2013917, August 1986."},{"issue":"1","key":"1_CR3","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"Johan de Kleer and Brian Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97\u2013130, April 1987.","journal-title":"Artificial Intelligence"},{"key":"1_CR4","unstructured":"Johan de Kleer and Brian Williams. Diagnosis as identifying consistent modes of behavior. In IJCAI-89 Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, 1989."},{"key":"1_CR5","unstructured":"Adam Farquhar. Focusing Atms-based diagnosis and prediction. In Proceedings of the Model-Based Reasoning Workshop at IJCAI-89, 1989."},{"key":"1_CR6","unstructured":"Kenneth D. Forbus and Johan de Kleer. Focusing the Atms. In AAAI-88 Proceedings of the Sixth National Conference on Artificial Intelligence, pages 193\u2013198, August 1988."},{"key":"1_CR7","unstructured":"James W. Goodwin. An improved algorithm for non-monotonic dependency net update. Technical Report LITH-MAT-R-82-83, Linkoeping University, 1982."},{"key":"1_CR8","unstructured":"Paul Morris and Robert Nado. Representing actions with an assumption-based truth maintenance system. In AAAI-86 Proceedings of the Fourth National Conference on Artificial Intelligence, pages 13\u201320, 1986."},{"key":"1_CR9","unstructured":"Gregory Provan. Efficiency analysis of multiple-context Tmss in scene representation. In AAAI-87 Proceedings of the Fifth National Conference on Artificial Intelligence, pages 173\u2013177, 1987."},{"key":"1_CR10","unstructured":"Peter Stru\u00df. Multiple representation of structure and function. In J. Gero (Ed.) Expert Systems in Computer Aided Design, Amsterdam, 1987."}],"container-title":["Lecture Notes in Computer Science","Truth Maintenance Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037026.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T17:21:51Z","timestamp":1607534511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037026"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540543058"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0037026","relation":{},"subject":[]}}