{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:18:43Z","timestamp":1767651523257,"version":"3.38.0"},"reference-count":43,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Knowl. Data Eng."],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1109\/tkde.2002.1047764","type":"journal-article","created":{"date-parts":[[2003,1,3]],"date-time":"2003-01-03T17:55:00Z","timestamp":1041616500000},"page":"1230-1248","source":"Crossref","is-referenced-by-count":7,"title":["Local reasoning and knowledge compilation for efficient temporal abduction"],"prefix":"10.1109","volume":"14","author":[{"given":"L.","family":"Console","sequence":"first","affiliation":[]},{"given":"P.","family":"Terenziani","sequence":"additional","affiliation":[]},{"given":"D.T.","family":"Dupre","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"article-title":"Temporal Reasoning for Planning and Scheduling","year":"1992","author":"Arthur","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58495-1_26"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/64.608197"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(95)00008-3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00044-7"},{"key":"ref7","first-page":"86","article-title":"When Efficient Assembly Performs Correct Abduction and Why Abduction Is Otherwise Trivial or Intractable","volume-title":"Proc. AAAI Symp. Automated Abduction","author":"Bylander"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90005-5"},{"key":"ref9","article-title":"A Survey on Knowledge Compilation","author":"Cadoli","year":"1997","journal-title":"Artificial Intelligence Comm."},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90063-X"},{"article-title":"Efficient Algorithms for Networks of Quantitative Temporal Constraints","volume-title":"Proc. CONSTRAINTS \u201995","author":"Chleq","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/69.542024"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1111\/0824-7935.00101"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.5.661"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1991.tb00388.x"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/21.156589"},{"key":"ref17","first-page":"183","article-title":"General Diagnosis by Abductive Inference","volume-title":"Proc. IEEE Symp. Logic Programming","author":"Cox"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90006-6"},{"key":"ref20","first-page":"677","article-title":"Model-Based Diagnosis with the Default-Based Diagnosis Engine: Effective Control Strategies that Work in Practice","volume-title":"Proc. 11th European Conf. Artificial Intelligence","author":"Dressler"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/200836.200838"},{"key":"ref22","first-page":"562","article-title":"Abductive Planning with Event Calculus","volume-title":"Proc. Fifth Int. Conf. and Symp. Logic Programming","author":"Eshghi"},{"key":"ref23","first-page":"3","article-title":"A Tractable Class of Abduction Problems","volume-title":"Proc. 13th Int\u2019l Joint Conf. Artificial Intelligence","author":"Eshghi"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CAIA.1990.89191"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S0933-3657(97)00393-X"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.3115\/982023.982035"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90073-7"},{"key":"ref29","first-page":"1061","article-title":"A Knowledge-Level Account of Abduction","volume-title":"Proc. 11th Int\u2019l Joint Conf. Artificial Intelligence","author":"Levesque"},{"key":"ref30","first-page":"251","article-title":"Reasoning About State from Causation and Time in a Medical Domain","volume-title":"Proc. Am. Assoc. for Artificial Intelligence \u201983","author":"Long"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(95)00033-X"},{"key":"ref32","first-page":"260","article-title":"Combining Qualitative and Quantitative Constraints in Temporal Reasoning","volume-title":"Proc. Am. Assoc. for Artificial Intelligence \u201991","author":"Meiri"},{"key":"ref33","first-page":"667","article-title":"Harnessing the Power of Temporal Abstractions in Model-Based Diagnosis of Dynamic Systems","volume-title":"Proc. 11th European Conf. Artificial Intelligence","author":"Nejdl"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8682-5"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1989.tb00319.x"},{"key":"ref36","first-page":"1304","article-title":"Normality and Faults in Logic-Based Diagnosis","volume-title":"Proc. 11th Int\u2019l Joint Conf. Artificial Intelligence","author":"Poole"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4792-0_13"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.4324\/9780429052071-5"},{"key":"ref39","first-page":"43","article-title":"DIAPO: A Case Study in Applying Advanced AI Techniques to the Diagnosis of a Complex System","volume-title":"Proc. 11th European Conf. Artificial Intelligence","author":"Porcheron"},{"key":"ref40","first-page":"1055","article-title":"Prediction is Deduction but Explanation is Abduction","volume-title":"Proc. 11th Int\u2019l Joint Conf. Artificial Intelligence","author":"Shanahan"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/0933-3657(91)90004-U"},{"key":"ref42","first-page":"377","article-title":"Constraint Propagation Algorithms for Temporal Reasoning","volume-title":"Proc. Am. Assoc. for Artificial Intelligence \u201986","author":"Vilain"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/b978-1-4832-1447-4.50034-1"}],"container-title":["IEEE Transactions on Knowledge and Data Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/69\/22458\/01047764.pdf?arnumber=1047764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T05:19:29Z","timestamp":1742015969000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1047764\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":43,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2002,11]]}},"URL":"https:\/\/doi.org\/10.1109\/tkde.2002.1047764","relation":{},"ISSN":["1041-4347"],"issn-type":[{"type":"print","value":"1041-4347"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}