{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:33Z","timestamp":1725664533744},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604372"},{"type":"electronic","value":"9783540474685"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60437-5_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:29:14Z","timestamp":1330280954000},"page":"335-346","source":"Crossref","is-referenced-by-count":1,"title":["Formalizing reasoning about change: A temporal diagnosis approach"],"prefix":"10.1007","author":[{"given":"Johann","family":"Gamper","sequence":"first","affiliation":[]},{"given":"Wolfgang","family":"Nejdl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1111\/j.1467-8640.1989.tb00329.x","volume":"5","author":"J. F. Allen","year":"1989","unstructured":"James F. Allen and Patrick J. Hayes. Moments and points in an interval-based temporal logic. Computational Intelligence, 5:225\u2013238, 1989.","journal-title":"Computational Intelligence"},{"key":"33_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(91)90005-5","volume":"49","author":"T. Bylander","year":"1991","unstructured":"Tom Bylander, Dean Allemang, Michael C. Tanner, and John R. Josephson. The computational complexity of abduction. Artificial Intelligence, 49:25\u201360, 1991.","journal-title":"Artificial Intelligence"},{"issue":"5","key":"33_CR3","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"Luca Console, Daniele Theseider Dupr\u00e9, and Pietro Torasso. On the relationship between abduction and deduction. Journal of Logic and Computation, 1(5):661\u2013690, 1991.","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"33_CR4","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"Luca Console and Pietro Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133\u2013141, 1991.","journal-title":"Computational Intelligence"},{"key":"33_CR5","doi-asserted-by":"crossref","unstructured":"Johann Gamper and Wolfgang Nejdl. Formalizing reasoning about change: A temporal diagnosis approach. In Proceedings of the 2nd Dutch\/German Workshop on Non-Monotonic Reasoning, pages 60\u201366, Utrecht, The Netherlands, March 1995.","DOI":"10.1007\/3-540-60437-5_33"},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"M. Gelfond, V. Lifschitz, and A. Rabinov. What are the limitations of the situation calculus? In R. Boyer, editor, Automated Reasoning: essays in honor of Woods Bledsoe, pages 167\u2013179. Kluwer Academic, 1991.","DOI":"10.1007\/978-94-011-3488-0_8"},{"key":"33_CR7","first-page":"401","volume-title":"The logic of persistence","author":"H. A. Kautz","year":"1986","unstructured":"Henry A. Kautz. The logic of persistence. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 401\u2013405, Philadelphia, Pennsylvania, 1986. Morgan Kaufmann Publishers, Inc."},{"issue":"l","key":"33_CR8","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Robert Kowalski and Marek Sergot. A logic-based calculus of events. New Generation Computing, 4(l):67\u201395, 1986.","journal-title":"New Generation Computing"},{"issue":"2","key":"33_CR9","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(89)90059-3","volume":"38","author":"V. Lifschitz","year":"1989","unstructured":"Vladimir Lifschitz and Arkady Rabinov. Miracles in formal theories of action. Artificial Intelligence, 38(2):225\u2013237, March 1989.","journal-title":"Artificial Intelligence"},{"key":"33_CR10","first-page":"590","volume-title":"Concurrent actions in the situation calculus","author":"F. Lin","year":"1992","unstructured":"Fangzhen Lin and Yoav Shoham. Concurrent actions in the situation calculus. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 590\u2013595, San Jose, California, July 1992. MIT Press."},{"key":"33_CR11","unstructured":"J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4, 1969."},{"key":"33_CR12","first-page":"667","volume-title":"Harnessing the power of temporal abstractions in modelbased diagnosis of dynamic systems","author":"W. Nejdl","year":"1994","unstructured":"Wolfgang Nejdl and Johann Gamper. Harnessing the power of temporal abstractions in modelbased diagnosis of dynamic systems. In Proceedings of the 11th European Conference on Artificial Intelligence, pages 667\u2013671, Amsterdam, The Netherlands, August 1994. John Wiley & Sons."},{"key":"33_CR13","first-page":"160","volume-title":"Explanation in the situation calculus","author":"M. Shanahan","year":"1993","unstructured":"Murray Shanahan. Explanation in the situation calculus. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 160\u2013165, Chamb\u00e9ry, France, August 1993. Morgan Kaufmann Publishers, Inc."},{"key":"33_CR14","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1016\/0004-3702(88)90085-9","volume":"36","author":"Y. Shoham","year":"1988","unstructured":"Yoav Shoham. Chronological ignorance: Experiments in nonmonotonic temporal reasoning. Artificial Intelligence, 36:279\u2013331, 1988.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60437-5_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:59:16Z","timestamp":1605646756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60437-5_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604372","9783540474685"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-60437-5_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}