{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T06:32:48Z","timestamp":1775457168488,"version":"3.50.1"},"reference-count":60,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":5533,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1998,6]]},"DOI":"10.1016\/s0004-3702(98)00044-7","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T23:37:38Z","timestamp":1027640258000},"page":"39-79","source":"Crossref","is-referenced-by-count":63,"title":["A spectrum of definitions for temporal model-based diagnosis"],"prefix":"10.1016","volume":"102","author":[{"given":"Vittorio","family":"Brusoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","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":"78","reference":[{"key":"10.1016\/S0004-3702(98)00044-7_BIB1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining knowledge about temporal intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Comm. ACM"},{"issue":"1\u20134","key":"10.1016\/S0004-3702(98)00044-7_BIB2","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BF01530738","article-title":"Explanatory diagnoses and their characterization by circumscription","volume":"11","author":"Besnard","year":"1994","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB3","series-title":"Intelligent Tutoring Systems","article-title":"Pedagogical, natural language and engineering techniques in SOPHIE I, II and III","author":"Brown","year":"1982"},{"issue":"4","key":"10.1016\/S0004-3702(98)00044-7_BIB4","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/64.608197","article-title":"Later: an efficient, general purpose manager of temporal information","volume":"12","author":"Brusoni","year":"1997","journal-title":"IEEE Expert"},{"issue":"2","key":"10.1016\/S0004-3702(98)00044-7_BIB5","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1016\/0004-3702(95)00008-3","article-title":"On the computational complexity of querying bounds on differences constraints","volume":"74","author":"Brusoni","year":"1995","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB6","series-title":"Proceedings DX 95, Sixth International Workshop on Principles of Diagnosis","first-page":"195","article-title":"An efficient algorithm for temporal abduction","volume":"Vol. 1321","author":"Brusoni","year":"1997"},{"issue":"1\u20134","key":"10.1016\/S0004-3702(98)00044-7_BIB7","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BF01530752","article-title":"Diagnosing time-varying misbehavior: an approach based on model decomposition","volume":"11","author":"Console","year":"1994","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB8","series-title":"Foundations of Knowledge Representation and Reasoning","first-page":"98","article-title":"Abductive reasoning with abstraction axioms","volume":"Vol. 810","author":"Console","year":"1994"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB9","series-title":"Proceedings 11th IJCAI","first-page":"1311","article-title":"A theory of diagnosis for incomplete causal models","author":"Console","year":"1989"},{"issue":"5","key":"10.1016\/S0004-3702(98)00044-7_BIB10","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","article-title":"On the relationship between abduction and deduction","volume":"1","author":"Console","year":"1991","journal-title":"J. Logic Comput."},{"issue":"6","key":"10.1016\/S0004-3702(98)00044-7_BIB11","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0933-3657(91)90002-S","article-title":"On the co-operation between abductive and temporal reasoning in medical diagnosis","volume":"3","author":"Console","year":"1991","journal-title":"Artificial Intelligence in Medicine"},{"issue":"3","key":"10.1016\/S0004-3702(98)00044-7_BIB12","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","article-title":"A spectrum of logical definitions of model-based diagnosis","volume":"7","author":"Console","year":"1991","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB13","article-title":"When abductive diagnosis fails to explain too precise observations: an extended spectrum of definitions of MBD based on abstracting observations","author":"Cordier","year":"1998"},{"issue":"1\u20134","key":"10.1016\/S0004-3702(98)00044-7_BIB14","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/BF01530755","article-title":"Model-based diagnosis of analog electronic circuits","volume":"11","author":"Dague","year":"1994","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB15","series-title":"Proceedings 9th ECAI","first-page":"173","article-title":"Analog systems diagnosis","author":"Dague","year":"1990"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB16","series-title":"Proceedings 12th IJCAI","first-page":"1109","article-title":"When oscillators stop oscillating","author":"Dague","year":"1991"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(98)00044-7_BIB17","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","article-title":"Diagnostic reasoning based on structure and behavior","volume":"24","author":"Davis","year":"1984","journal-title":"Artificial Intelligence"},{"issue":"2\u20133","key":"10.1016\/S0004-3702(98)00044-7_BIB18","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","article-title":"Characterizing diagnoses and systems","volume":"56","author":"de Kleer","year":"1992","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/S0004-3702(98)00044-7_BIB19","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","article-title":"Diagnosing multiple faults","volume":"32","author":"de Kleer","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB20","series-title":"Proceedings 11th IJCAI","first-page":"1324","article-title":"Diagnosis with behavioral modes","author":"de Kleer","year":"1989"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(98)00044-7_BIB21","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(91)90113-X","article-title":"Dynamic across-time measurement interpretation","volume":"51","author":"DeCoste","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB22","series-title":"Proceedings AAAI-92","first-page":"558","article-title":"Consistency-based diagnosis in physiological domains","author":"Downing","year":"1992"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB23","series-title":"Proceedings 11th IJCAI","first-page":"1238","article-title":"Model-based monitoring of dynamic systems","author":"Dvorak","year":"1989"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB24","series-title":"Proceedings 12th IJCAI","first-page":"1116","article-title":"Diagnosing temporal misbehaviour","author":"Friedrich","year":"1991"},{"issue":"3","key":"10.1016\/S0004-3702(98)00044-7_BIB25","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/S0933-3657(97)00393-X","article-title":"Abstract temporal diagnosis in medical domains","volume":"10","author":"Gamper","year":"1997","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB26","series-title":"Proceedings 10th IJCAI","first-page":"1105","article-title":"An improved constraint propagation algorithm for diagnosis","author":"Geffner","year":"1987"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(98)00044-7_BIB27","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","article-title":"The use of design descriptions in automated diagnosis","volume":"24","author":"Genesereth","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB28","series-title":"Proceedings International Workshop on Expert Systems in Engineering","first-page":"53","article-title":"SIDIA: extending prediction based diagnosis to dynamic models","volume":"Vol. 462","author":"Guckenbiehl","year":"1990"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(98)00044-7_BIB29","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(91)90112-W","article-title":"Modeling digital circuits for troubleshooting","volume":"51","author":"Hamscher","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB30","series-title":"Readings in Model-Based Diagnosis","year":"1992"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB31","series-title":"Proceedings AAAI-84","first-page":"142","article-title":"Diagnosing circuit with state: an inherently underconstrained problem","author":"Hamscher","year":"1984"},{"issue":"3","key":"10.1016\/S0004-3702(98)00044-7_BIB32","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","article-title":"Qualitative simulation","volume":"29","author":"Kuipers","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB33","series-title":"Proceedings 12th IJCAI","first-page":"1123","article-title":"Integrating model-based monitoring and diagnosis of complex dynamic systems","author":"Lackinger","year":"1991"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB34","series-title":"Industrial Applications of Knowledge-Based Diagnosis","first-page":"183","article-title":"Artist: a methodological approach to specifying model-based diagnostic systems","author":"Leitch","year":"1992"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB35","series-title":"Proceedings AAAI-83","first-page":"251","article-title":"Reasoning about state from causation and time in a medical domain","author":"Long","year":"1983"},{"issue":"3","key":"10.1016\/S0004-3702(98)00044-7_BIB36","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0933-3657(95)00033-X","article-title":"Temporal reasoning for diagnosis in a causal probabilistic knowledge base","volume":"8","author":"Long","year":"1996","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB37","article-title":"Structures in Diagnosis","author":"Lucas","year":"1996"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB38","series-title":"Proceedings AAAI-97","first-page":"100","article-title":"Monitoring, prediction and fault isolation in dynamic physical systems","author":"Mosterman","year":"1997"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB39","series-title":"Proceedings 11th ECAI","first-page":"667","article-title":"Harnessing the power of temporal abstractions in model-based diagnosis of dynamic systems","author":"Nejdl","year":"1994"},{"issue":"6","key":"10.1016\/S0004-3702(98)00044-7_BIB40","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/64.108950","article-title":"Model-based, multiple fault diagnosis of dynamic, continuous physical devices","volume":"6","author":"Ng","year":"1991","journal-title":"IEEE Expert"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB41","series-title":"Proceedings 11th IJCAI","first-page":"1255","article-title":"Temporal matching: Recognizing dynamic situations from discrete measurements","author":"N\u00f6kel","year":"1989"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB42","series-title":"Proceedings 1st IEEE CAIA","first-page":"295","article-title":"Qualitative reasoning with deep-level mechanism models for diagnoses of mechanisms failures","author":"Pan","year":"1984"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB43","series-title":"Probabilistic Reasoning in Intelligent Systems","author":"Pearl","year":"1989"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB44","series-title":"Abductive Inference Models for Diagnostic Problem Solving","author":"Peng","year":"1991"},{"issue":"2","key":"10.1016\/S0004-3702(98)00044-7_BIB45","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","article-title":"Explanation and prediction: an architecture for default and abductive reasoning","volume":"5","author":"Poole","year":"1989","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB46","series-title":"Proceedings 11th IJCAI","first-page":"1304","article-title":"Normality and faults in logic-based diagnosis","author":"Poole","year":"1989"},{"issue":"5","key":"10.1016\/S0004-3702(98)00044-7_BIB47","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1002\/int.4550050506","article-title":"A methodology for using a default and abductive reasoning system","volume":"5","author":"Poole","year":"1990","journal-title":"Internat. J. Intelligent Systems"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB48","series-title":"Proceedings 11th ECAI","first-page":"43","article-title":"DIAPO: a case study in applying advanced AI techniques to the diagnosis of a complex system","author":"Porcheron","year":"1994"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB49","series-title":"Proceedings 8th Conference on Uncertainty in Artificial Intelligence","first-page":"244","article-title":"Modeling uncertain temporal evolutions in model-based diagnosis","author":"Portinale","year":"1992"},{"issue":"1\u20134","key":"10.1016\/S0004-3702(98)00044-7_BIB50","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/BF01530737","article-title":"Consistency-based and abductive diagnoses as generalized stable models","volume":"11","author":"Preist","year":"1994","journal-title":"Ann. Math. Artificial Intelligence"},{"issue":"1","key":"10.1016\/S0004-3702(98)00044-7_BIB51","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB52","series-title":"Introduction to Physical Systems Dynamics","author":"Rosenberg","year":"1983"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB53","volume":"Vol. I","author":"Sandewall","year":"1994"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB54","series-title":"Proceedings IJCAI 97","article-title":"Fundamentals of model-based diagnosis of dynamic systems","author":"Struss","year":"1997"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB55","series-title":"Proceedings 11th IJCAI","first-page":"1318","article-title":"Physical negation\u2014integrating fault models into the general diagnostic engine","author":"Struss","year":"1989"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB56","article-title":"Automated Configuration of Problem Solving Methods in Diagnosis","author":"ten Teije","year":"1997"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB57","series-title":"Proceedings 5th International Workshop on Principles of Diagnosis","first-page":"334","article-title":"An extended spectrum of logical definitions of diagnosis","author":"ten Teije","year":"1994"},{"issue":"1","key":"10.1016\/S0004-3702(98)00044-7_BIB58","doi-asserted-by":"crossref","first-page":"4","DOI":"10.3233\/AIC-1994-7102","article-title":"A survey of temporal reasoning in artificial intelligence","volume":"7","author":"Vila","year":"1994","journal-title":"AI Comm."},{"key":"10.1016\/S0004-3702(98)00044-7_BIB59","series-title":"Proceedings AAAI-82","first-page":"197","article-title":"A system for reasoning about time","author":"Vilain","year":"1982"},{"key":"10.1016\/S0004-3702(98)00044-7_BIB60","series-title":"Proceedings AAAI-96","first-page":"971","article-title":"A model-based approach to reactive self-configuring systems","author":"Williams","year":"1996"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000447?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370298000447?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T12:00:06Z","timestamp":1580299206000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370298000447"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["S0004370298000447"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(98)00044-7","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}