{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:09Z","timestamp":1725456129790},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354057395X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0028211","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T08:19:00Z","timestamp":1132647540000},"page":"282-289","source":"Crossref","is-referenced-by-count":0,"title":["A lattice-theoretic analysis of ATMS problem solving"],"prefix":"10.1007","author":[{"given":"Teow-Hin","family":"Ngair","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Provan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","unstructured":"D. Benanev, A.L. Brown, and D.E. Gaucas. An Algebraic Foundation for Truth Maintenance. In Proc. IJCAI, pages 973\u2013980, 1987."},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"R.M. Bodington, G.D. Sullivan, and K.D. Baker. Experiments on the Use of the ATMS to Label Features for Object Recognition. In Proc. of ECCV-90, pages 542\u2013551, 1990.","DOI":"10.1007\/BFb0014904"},{"key":"37_CR3","unstructured":"John W. Collins and Dennis DeCoste. CATMS: An ATMS Which Avoids Label Explosions. In Proc. of AAAI-91, pages 281\u2013287, 1991."},{"key":"37_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":"Johan de Kleer. An assumption-based TMS. Artificial Intelligence, 28:127\u2013162, 1986.","journal-title":"Artificial Intelligence"},{"key":"37_CR5","unstructured":"Johan de Kleer. Focusing on probable diagnoses. Proc. of AAAI-91, pages 842\u2013848, 1991."},{"key":"37_CR6","unstructured":"Johan de Kleer. Optimizing Focusing Model-Based Diagnoses. Proc. of Third Diagnosis Workshop, pages 26\u201329, 1992."},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Johan de Kleer, Alan K. Mackworth, and Raymond Reiter. Characterizing diagnoses. Proc. of AAAI-90, pages 324\u2013330, 1990.","DOI":"10.1007\/3-540-53104-1_27"},{"key":"37_CR8","unstructured":"Johan de Kleer and Brian C. Williams. Back to backtracking: Controlling the ATMS. Proc. of AAAI-87, pages 910\u2013917, 1987."},{"key":"37_CR9","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 C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97\u2013130, 1987.","journal-title":"Artificial Intelligence"},{"key":"37_CR10","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Jon Doyle. A truth maintenance system. Artificial Intelligence, 12:231\u2013272, 1979.","journal-title":"Artificial Intelligence"},{"key":"37_CR11","unstructured":"O. Dressler and A. Farquar. Putting the Problem Solver Back in the Driver's Seat: Contextual Control of the ATMS. In Second AAAI Workshop on Model-Based Reasoning, pages 106\u2013112, 1990."},{"key":"37_CR12","doi-asserted-by":"crossref","unstructured":"Kenneth D. Forbus. The qualitative process engine. In Daniel S. Weld and Johan de Kleer, editors, Readings in Qualitative Reasoning About Physical Systems, pages 220\u2013235. Morgan Kaufmann, 1990.","DOI":"10.1016\/B978-1-4832-1447-4.50017-1"},{"key":"37_CR13","unstructured":"Kenneth D. Forbus and Johan de Kleer. Focusing the ATMS. Proc. of AAAI-88, pages 193\u2013198, 1988."},{"key":"37_CR14","doi-asserted-by":"crossref","unstructured":"M. Ginsberg. Multivalued Logics: A Uniform Approach to Reasoning in Artificial Intelligence. Computational Intelligence, pages 265\u2013316, 1988.","DOI":"10.1111\/j.1467-8640.1988.tb00280.x"},{"key":"37_CR15","unstructured":"Carl A. Gunter, Teow-Hin Ngair, Prakash Panangaden, and Devika Subramanian. The common order-theoretic structure of version spaces and ATMS's. Technical Report MS-CIS-90-86, University of Pennsylvania, 1990."},{"key":"37_CR16","unstructured":"D. McAllester. A Widely Used Truth Maintenance System. Unpublished, 1985."},{"key":"37_CR17","unstructured":"Teow-Hin Ngair. Convex spaces: An order-theoretic structure for problem solving. Technical Report MIS-CS-92-60, CIS Department, University of Pennsylvania, 1992."},{"key":"37_CR18","unstructured":"Teow-Hin Ngair and Gregory Provan. Focusing ATMS for Problem-Solving: A Formal Approach. Technical Report MS-CIS-92-61, University of Pennsylvania, 1992."},{"key":"37_CR19","volume-title":"Heuristics","author":"J. Pearl","year":"1984","unstructured":"J. Pearl. Heuristics. Addison-Wesley, Reading, Mass., 1984."},{"key":"37_CR20","unstructured":"G. Provan. Complexity Analysis of Truth Maintenance Systems, with Application to High Level Vision. PhD thesis, Faculty of Mathematics, University of Oxford, 1990."},{"key":"37_CR21","unstructured":"G. Provan. The Computational Complexity of Multiple-Context Truth Maintenance Systems. In Proc. of ECAI-90, pages 522\u2013527, 1990."},{"key":"37_CR22","unstructured":"R. Reiter and J. de Kleer. Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. In Proc. of AAAI-87, pages 183\u2013188, 1987."},{"key":"37_CR23","unstructured":"B. Selman and H. Levesque. Abductive and Default Reasoning: A Computational Core. In Proc. AAAI, pages 343\u2013348, 1990."}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning and Uncertainty"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0028211","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,5]],"date-time":"2019-11-05T05:06:32Z","timestamp":1572930392000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028211"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354057395X"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0028211","relation":{},"subject":[]}}