{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:14:04Z","timestamp":1725635644560},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540564645"},{"type":"electronic","value":"9783642780738"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-3-642-78073-8_23","type":"book-chapter","created":{"date-parts":[[2011,11,19]],"date-time":"2011-11-19T01:04:12Z","timestamp":1321664652000},"page":"276-282","source":"Crossref","is-referenced-by-count":0,"title":["Embedding Temporal Reasoning into the ATMS Framework"],"prefix":"10.1007","author":[{"given":"Mugur M.","family":"Tatar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioan Alfred","family":"Letia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","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 Truth Maintenance System, Artificial Intelligence 28, (1986), pp. 127\u2013162.","journal-title":"Artificial Intelligence"},{"key":"23_CR2","unstructured":"de Kleer, J., A General Labeling Algorithm for Assumption-Based Truth Maintenance, Proc. AAAI 1988, pp. 188\u2013192."},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B., Diagnosing Multiple Faults, Artificial Intelligence 32 (1987), pp. 97\u2013130.","journal-title":"Artificial Intelligence"},{"key":"23_CR4","unstructured":"de Kleer, J., Williams, B., Diagnosis with Behavioral Modes, Proc.IJCAI 1989, pp. 1324\u20131330."},{"key":"23_CR5","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0004-3702(91)90112-W","volume":"51","author":"W Hamscher","year":"1991","unstructured":"Hamscher, W., Modelling Digital Circuits for Troubleshooting, Artificial Intelligence 51 (1991), pp. 223\u2013271.","journal-title":"Artificial Intelligence"},{"key":"23_CR6","unstructured":"Iwanowski, S., Model Based Diagnosis for Different Time Points, Proc. ECAI 1992 Workshop on Model-Based Reasoning."},{"key":"23_CR7","unstructured":"Kelleher, G., The Application of RMS in Planning and Scheduling Algorithms, Proc. ECCAI Int. Summer School on Advanced Topics in AI, Prague, 1992."},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0004-3702(91)90017-E","volume":"50","author":"D McDermott","year":"1991","unstructured":"McDermott, D., A General Framework for Reason Maintenance, Artificial Intelligence 50 (1991), pp. 289\u2013329.","journal-title":"Artificial Intelligence"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Perkins, W., Austin, A., Adding Temporal Reasoning to Expert-System-Building Environments, IEEE Expert, 1990, pp. 23\u201330.","DOI":"10.1109\/64.50854"},{"key":"23_CR10","unstructured":"Raiman, O., de Kleer, J.,Saraswat, V., Shirley, M., Characterizing Non Intermittent Faults, Proc. AAAI 1991, pp. 849\u2013854."},{"key":"23_CR11","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R., A Theory of Diagnosis from First Principles, Artificial Intelligence 32 (1987), pp. 57\u201395.","journal-title":"Artificial Intelligence"},{"key":"23_CR12","unstructured":"Struss, P., Knowledge-based Diagnosis \u2014 An Important Challenge and Touchstone for AI, Proc. ECAI 1992, pp. 863\u2013874."}],"container-title":["Informatik aktuell","Expertensysteme 93"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-78073-8_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T17:39:51Z","timestamp":1606412391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-78073-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540564645","9783642780738"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-78073-8_23","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1993]]}}}