{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:52Z","timestamp":1725664912621},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635765"},{"type":"electronic","value":"9783540696018"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63576-9_108","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:30:57Z","timestamp":1330299057000},"page":"195-206","source":"Crossref","is-referenced-by-count":5,"title":["An efficient algorithm for temporal abduction"],"prefix":"10.1007","author":[{"given":"Vittorio","family":"Brusoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luce","family":"Console","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Terenziani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele Theseider","family":"Dupr\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. Allen","year":"1983","unstructured":"J. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26:832\u2013843, 1983.","journal-title":"Communications of the ACM"},{"doi-asserted-by":"crossref","unstructured":"V. Brusoni, L. Console, B. Pernici, and P. Terenziani. LaTeR: a general purpose manager of temporal information. In Methodologies for Intelligent Systems 8, pages 255\u2013264. Lecture Notes in Computer Science 869, Springer Verlag, 1994.","key":"18_CR2","DOI":"10.1007\/3-540-58495-1_26"},{"issue":"2","key":"18_CR3","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1016\/0004-3702(95)00008-3","volume":"74","author":"V. Brusoni","year":"1995","unstructured":"V. Brusoni, L. Console, and P. Terenziani. On the computational complexity of querying bounds on differences constraints. Artificial Intelligence, 74(2):367\u2013379, 1995.","journal-title":"Artificial Intelligence"},{"unstructured":"V. Brusoni, L. Console, P. Terenziani, and D. Theseider Dupr\u00e9. Characterizing temporal abductive diagnosis. In Proc. DX 95, Sixth Int. Workshop on Principles of Diagnosis, Goslar, 1995.","key":"18_CR4"},{"doi-asserted-by":"crossref","unstructured":"V. Brusoni, L. Console, P. Terenziani, and D. Theseider Dupr\u00e9. A spectrum of definitions for temporal model-based diagnosis. Technical report, Dip. di Informatica, Universit\u00e0 di Torino, 1997.","key":"18_CR5","DOI":"10.1016\/S0004-3702(98)00044-7"},{"issue":"1\u20133","key":"18_CR6","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(91)90005-5","volume":"49","author":"T. Bylander","year":"1991","unstructured":"T. Bylander, D. Allemang, M. Tanner, and J. Josephson. The computational complexity of abduction. Artificial Intelligence, 49(1\u20133):25\u201360, 1991.","journal-title":"Artificial Intelligence"},{"issue":"5","key":"18_CR7","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1109\/69.542024","volume":"8","author":"L. Console","year":"1996","unstructured":"L. Console, L. Portinale, and D. Theseider Dupr\u00e9. Using compiled knowledge to guide and focus abductive diagnosis. IEEE Transactions on Knowledge and Data Engineering, 8(5):690\u2013706, 1996.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R. Dechter","year":"1991","unstructured":"R. Dechter, I. Meiri, and J. Pearl. Temporal constraint networks. Artificial Intelligence, 49:61\u201395, 1991.","journal-title":"Artificial Intelligence"},{"unstructured":"W. Hamscher and R. Davis. Diagnosing circuit with state: an inherently underconstrained problem. In Proc. AAAI 84, pages 142\u2013147, 1984.","key":"18_CR9"},{"unstructured":"W. Long. Reasoning about state from causation and time in a medical domain. In Proc AAAI 83, pages 251\u2013254, Washington, 1983.","key":"18_CR10"},{"unstructured":"W. Nejdl and J. Gamper. Harnessing the power of temporal abstractions in model-based diagnosis of dynamic systems. In Proc. 11th ECAI, pages 667\u2013671, 1994.","key":"18_CR11"},{"issue":"2","key":"18_CR12","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","volume":"5","author":"D. Poole","year":"1989","unstructured":"D. Poole. Explanation and prediction: An architecture for default and abductive reasoning. Computational Intelligence, 5(2):97\u2013110, 1989.","journal-title":"Computational Intelligence"},{"key":"18_CR13","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/0933-3657(91)90004-U","volume":"3","author":"P. VanBeek","year":"1991","unstructured":"P. VanBeek. Temporal query processing with indefinite information. Artificial Intelligence in Medicine, 3:325\u2013339, 1991.","journal-title":"Artificial Intelligence in Medicine"}],"container-title":["Lecture Notes in Computer Science","AI*IA 97: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63576-9_108.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:51:54Z","timestamp":1640951514000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63576-9_108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635765","9783540696018"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-63576-9_108","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}