{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:18:30Z","timestamp":1725459510307},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630951"},{"type":"electronic","value":"9783540691297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035625","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:29:25Z","timestamp":1138202965000},"page":"223-236","source":"Crossref","is-referenced-by-count":3,"title":["Reasoning about unpredicted change and explicit time"],"prefix":"10.1007","author":[{"given":"Florence Dupin","family":"de Saint-Cyr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Lang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"18_CR1","first-page":"1550","volume":"2","author":"C. Boutilier","year":"1995","unstructured":"C. Boutilier. Generalised update: belief change in dynamic settings. In Proc. of the 14 th IJCAI, volume 2, pages 1550\u20131556, 1995.","journal-title":"Proc. of the 14th IJCAI"},{"key":"18_CR2","unstructured":"L. Console, L. Portinale, D. Theseider Dupr\u00e9, and P. Torasso. Diagnostic reasoning across different time points. In Proc. of ECAI'92, pages 369\u2013373, 1992."},{"key":"18_CR3","unstructured":"M.O. Cordier and S. Thi\u00e9baux. Event-based diagnosis for evolutive systems. In Proc. of DX'94, 1994."},{"key":"18_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":"J. de Kleer. An assumption-based TMS. Artificial Intelligence, 28:127\u2013162, 1986.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"18_CR5","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"J. de Kleer and B. Williams. Diagnosing multiple faults. Artificial Intelligence, 32(1):97\u2013130, 1987.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"18_CR6","doi-asserted-by":"crossref","first-page":"574","DOI":"10.1109\/21.31063","volume":"19","author":"T. Dean","year":"1989","unstructured":"T. Dean and K. Kanazawa. Persistence and probabilistic projection. In Proc. of IEEE Trans. on Systems, Man and Cybernetics, volume 19(3), pages 574\u2013585, 1989.","journal-title":"Proc. of IEEE Trans. on Systems, Man and Cybernetics"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"F. Dupin de Saint-Cyr, J. Lang, and T. Schiex. Penalty logic and its link with Dempster-Shafer theory. In Proc. of the 10 th Conf. on Uncertainty in Artificial Intelligence, pages 204\u2013211. Morgan Kaufmann, July 1994.","DOI":"10.1016\/B978-1-55860-332-5.50031-6"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"T. Eiter and G. Gottlob. The complexity of logic-based abduction. In Proc. STACS'93, 1993.","DOI":"10.1007\/3-540-56503-5_10"},{"key":"18_CR9","unstructured":"G. Friedrich and F. Lackinger. Diagnosing temporal misbehaviour. In Proc. IJCAI'91, pages 1116\u20131122, 1991."},{"key":"18_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(94)90002-7","volume":"66","author":"S. Hanks","year":"1994","unstructured":"S. Hanks and D. McDermott. Modelling and uncertain world i: symbolic and probabilistic reasoning about change. Artificial Intelligence, 66:1\u201355, 1994.","journal-title":"Artificial Intelligence"},{"key":"18_CR11","unstructured":"V. Lifschitz and A. Rabinov. Things that change by themselves. In Proc. of the 11th IJCAI, pages 864\u2013867, Detroit, Michigan, 1989."},{"key":"18_CR12","unstructured":"D. Poole. Representing diagnostic knowledge for probabilistic Horn abduction. In Proc. of the 12 th IJCAI, pages 1129\u20131135, 91."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"L. Portinale. Modeling uncertain temporal evolutions in model-based diagnosis. In Proc. Uncertainty in AI'92, pages 244\u2013251, 1992.","DOI":"10.1016\/B978-1-4832-8287-9.50038-4"},{"key":"18_CR14","unstructured":"E. Sandewall. Features and fluents: a systematic approach to the representa-tion of knowledge about dynamical systems. Technical Report LITHIDA-R-92-30, Link\u00f6ping University, 1992."},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"E. Sandewall. Features and Fluents. Oxford University Press, 1994.","DOI":"10.1093\/oso\/9780198538455.001.0001"}],"container-title":["Lecture Notes in Computer Science","Qualitative and Quantitative Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035625","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,2]],"date-time":"2024-02-02T14:11:22Z","timestamp":1706883082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035625"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630951","9783540691297"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0035625","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}