{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T23:04:35Z","timestamp":1648595075706},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1994,3,1]],"date-time":"1994-03-01T00:00:00Z","timestamp":762480000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1994,3]]},"DOI":"10.1007\/bf01530753","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"399-413","source":"Crossref","is-referenced-by-count":1,"title":["Temporal methods: Multi-dimensional modeling of sequential circuits"],"prefix":"10.1007","volume":"11","author":[{"given":"L. J.","family":"Holtzblatt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. J.","family":"Neiberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. L.","family":"Piazza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. B.","family":"Vilain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"T.L. Dean and D.V. McDermott, Temporal data base management, Artificial Intelligence 32 (1987).","DOI":"10.1016\/0004-3702(87)90061-0"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"J. de Kleer, An Assumption-based truth maintenance system, Artificial Intelligence 28 (1986).","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"J. de Kleer, Problem solving with the atms, Artificial Intelligence 28 (1986).","DOI":"10.1016\/0004-3702(86)90082-2"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"W.C. Hamscher, Model-based troubleshooting of digital systems, Doctoral Dissertation, MIT Artificial Intelligence Laboratory Technical Report AI-TR-1074 (August 1988).","DOI":"10.21236\/ADA201041"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"L.J. Holtzblatt, Diagnosing multiple failures using knowledge of component state,4th IEEE Conf. on Artificial Intelligence Applications, 1988.","DOI":"10.1109\/CAIA.1988.196094"},{"key":"CR6","volume-title":"Technical Report M91-22","author":"L.J. Holtzblatt","year":"1991","unstructured":"L.J. Holtzblatt, M. Neiberg and R.L. Piazza, Temporal reasoning in an assumption based reason maintenance system, Technical Report M91-22, The MITRE Corporation, Bedford, MA (1991)."},{"key":"CR7","unstructured":"C. Joubel and O. Raiman, How time changes assumptions,10th Int. Workshop on Expert Systems and their Applications, 1990."},{"key":"CR8","unstructured":"H. Kautz, The logic of persistence,Proc. 6th Natl. Conf. on Artificial Intelligence, 1986."},{"key":"CR9","unstructured":"R.A. Marcotte, L.J. Holtzblatt, R.C. Labont\ufffd and R.L. Piazza, A model-based approach for diagnosing launch system hardware,9th Int. Workshop on Expert Systems and their Applications, 1989."},{"key":"CR10","unstructured":"R.A. Marcotte, M.J. Neiberg and J.M. Schoen, System-level applications and research directions for model-based diagnostic reasoning,2nd AAAI Workshop on Model-based Reasoning, 1990."},{"key":"CR11","volume-title":"Performance and Fault Modeling with VHDL","author":"R.A. Marcotte","year":"1991","unstructured":"R.A. Marcotte, M.J. Neiberg, R.L. Piazza and L.J. Holtzblatt, Model-based diagnostic reasoning using VHDL, in:Performance and Fault Modeling with VHDL, ed. J.M. Schoen (Prentice-Hall, Englewood Cliffs, NJ, 1991)."},{"key":"CR12","volume-title":"Reasoning About Change","author":"Y. Shoham","year":"1988","unstructured":"Y. Shoham,Reasoning About Change (MIT Press, Cambridge, MA, 1988)."},{"key":"CR13","unstructured":"B.C. Williams, Doing time: Putting qualitative reasoning on firmer ground,Proc 6th Natl. Conf. on Artificial Intelligence, 1986."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530753\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530753.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530753\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530753","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:01:30Z","timestamp":1586217690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530753"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":13,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530753"],"URL":"https:\/\/doi.org\/10.1007\/bf01530753","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}