{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:09:26Z","timestamp":1725458966546},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540543058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0037033","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:39:32Z","timestamp":1138185572000},"page":"125-135","source":"Crossref","is-referenced-by-count":2,"title":["On logical foundations of the ATMS"],"prefix":"10.1007","author":[{"given":"Yasushi","family":"Fujiwara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shinichi","family":"Honiden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Modern applied algebra","author":"G Birkhoff","year":"1970","unstructured":"Birkhoff, G and Bartee, T. C., Modern applied algebra, McGraw-Hill, New York, 1970."},{"key":"8_CR2","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 truth maintenance system, Artificial Intelligence 28, pp.127\u2013162, 1986.","journal-title":"Artificial Intelligence"},{"key":"8_CR3","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 28, pp.163\u2013196, 1986.","journal-title":"Artificial Intelligence"},{"key":"8_CR4","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 12, pp.231\u2013272, 1979.","journal-title":"Artificial Intelligence"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Dixon, M and de Kleer, J., Massively parallel assumption-based truth maintenance, in Proc. of AAAI-88, 1, pp.199\u2013204.","DOI":"10.1007\/3-540-50701-9_24"},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/3-540-50701-9_25","volume-title":"Proc. of 2nd International workshop on non-monotonic reasoning","author":"O. Dressler","year":"1989","unstructured":"Dressler, O., An extended basic ATMS, in Proc. of 2nd International workshop on non-monotonic reasoning, pp.143\u2013163, Springer LNCS 346, Springer Verlag, Berlin, 1989."},{"key":"8_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of logic programming","author":"J. W. Lloyd","year":"1984","unstructured":"Lloyd, J. W., Foundations of logic programming, Springer Verlag, New York, 1984."},{"key":"8_CR8","unstructured":"Provan, G. M., Efficiency analysis of multiple-context TMSs in scene representation, in Proc. of AAAI-87, 1, pp.173\u2013177."},{"key":"8_CR9","unstructured":"Provan, G. M., The computational complexity of multiple-context truth maintenance systems, in Proc. of 9-th ECAI, pp.522\u2013527, 1990."},{"key":"8_CR10","unstructured":"Przymusinski, T., On the relation between logic programming and nonmonotonic reasoning, in Proc. of AAAI-88, 2, pp.444\u2013448."},{"key":"8_CR11","unstructured":"Reiter, R and de Kleer, J., Foundations of assumption-based truth maintenance systems: preliminary report, in Proc. of AAAI-87, 1, pp.183\u2013188."},{"key":"8_CR12","first-page":"199","volume":"1","author":"E Rothberg","year":"1989","unstructured":"Rothberg, E and Gupta, A., Experiences implementing a parallel ATMS on a shared-memory multiprocessor, in Proc. of 11-th IJCAI, 1, pp.199\u2013205, 1989.","journal-title":"Proc. of 11-th IJCAI"},{"key":"8_CR13","unstructured":"Selman, B and Levesque, H. J., Abduction and default reasoning: a computational core, in Proc. of AAAI-90, 1, pp.343\u2013348."},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"4","author":"M. H. Emden van","year":"1976","unstructured":"van Emden, M. H and Kowalski, R. A., The semantics of predicate logic as a programming language, J. of ACM 23, 4, pp.733\u2013742, 1976.","journal-title":"J. of ACM 23"}],"container-title":["Lecture Notes in Computer Science","Truth Maintenance Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0037033.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T17:21:55Z","timestamp":1607534515000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0037033"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540543058"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0037033","relation":{},"subject":[]}}