{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,17]],"date-time":"2026-02-17T22:23:22Z","timestamp":1771367002547,"version":"3.50.1"},"reference-count":37,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1996,4,1]],"date-time":"1996-04-01T00:00:00Z","timestamp":828316800000},"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":6324,"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":[[1996,4]]},"DOI":"10.1016\/0004-3702(94)00074-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:46:00Z","timestamp":1027608360000},"page":"181-213","source":"Crossref","is-referenced-by-count":68,"title":["Optimal composition of real-time systems"],"prefix":"10.1016","volume":"82","author":[{"given":"Shlomo","family":"Zilberstein","sequence":"first","affiliation":[]},{"given":"Stuart","family":"Russell","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(94)00074-3_BIB1","series-title":"Proceedings AAAI-91","first-page":"738","article-title":"Anytime problem solving using dynamic programming","author":"Boddy","year":"1991"},{"key":"10.1016\/0004-3702(94)00074-3_BIB2","series-title":"Proceedings IJCAI-89","first-page":"979","article-title":"Solving time-dependent planning problems","author":"Boddy","year":"1989"},{"key":"10.1016\/0004-3702(94)00074-3_BIB3","series-title":"Proceedings Fifth International Conference on Machine Learning","article-title":"Autoclass: a Bayesian classification system","author":"Cheeseman","year":"1988"},{"key":"10.1016\/0004-3702(94)00074-3_BIB4","series-title":"Working Notes of the IJCAI-89 Workshop on Real-Time Artificial Intelligence Problems","article-title":"Resource bounded agents in an uncertain world","author":"D'Ambrosio","year":"1989"},{"key":"10.1016\/0004-3702(94)00074-3_BIB5","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0004-3702(80)90043-0","article-title":"Meta-rules: reasoning a bout control","volume":"15","author":"Davis","year":"1980","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00074-3_BIB6","series-title":"Proceedings of the 1986 Workshop on Reasoning a bout Actions and Plans","article-title":"Intractability and time-dependent planning","author":"Dean","year":"1987"},{"key":"10.1016\/0004-3702(94)00074-3_BIB7","series-title":"Proceedings AAAI-88","first-page":"49","article-title":"An analysis of time-dependent planning","author":"Dean","year":"1988"},{"key":"10.1016\/0004-3702(94)00074-3_BIB8","series-title":"Proceedings AAAI-89","first-page":"1093","article-title":"Rationality and its roles in reasoning","author":"Doyle","year":"1990"},{"key":"10.1016\/0004-3702(94)00074-3_BIB9","series-title":"Working Notes of the AAAI Spring Symposium on Planning in Uncertain Environments","article-title":"Incremental, approximate planning: abductive default reasoning","author":"Elkan","year":"1990"},{"key":"10.1016\/0004-3702(94)00074-3_BIB10","author":"Garey","year":"1979"},{"issue":"6","key":"10.1016\/0004-3702(94)00074-3_BIB11","doi-asserted-by":"crossref","DOI":"10.1109\/21.257749","article-title":"Design-to-time real-time scheduling","volume":"23","author":"Garvey","year":"1993","journal-title":"IEEE Trans. Syst. Man Cybern"},{"key":"10.1016\/0004-3702(94)00074-3_BIB12","series-title":"Proceedings AAAI-83","first-page":"119","article-title":"An overview of metalevel architectures","author":"Genesereth","year":"1983"},{"key":"10.1016\/0004-3702(94)00074-3_BIB13","series-title":"Working Notes of the AAAI Spring Symposium on Planning and Search","article-title":"Real-time planning","author":"Hendler","year":"1989"},{"key":"10.1016\/0004-3702(94)00074-3_BIB14","series-title":"Proceedings 1987 Workshop on Uncertainty in Artificial Intelligence","article-title":"Reasoning a bout beliefs and actions under computational resource constraints","author":"Horvitz","year":"1987"},{"key":"10.1016\/0004-3702(94)00074-3_BIB15","article-title":"Ideal partition of resources for metareasoning","author":"Horvitz","year":"1990"},{"key":"10.1016\/0004-3702(94)00074-3_BIB16","series-title":"Proceedings 1989 Workshop on Uncertainty in Artificial Intelligence","first-page":"182","article-title":"Bounded conditioning: flexible inference for decision under scarce resources","author":"Horvitz","year":"1989"},{"key":"10.1016\/0004-3702(94)00074-3_BIB17","article-title":"An introduction to randomized algorithms","author":"Karp","year":"1990"},{"key":"10.1016\/0004-3702(94)00074-3_BIB18","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(85)90084-0","article-title":"Depth-first iterative-deepening: An optimal admissible tree search","volume":"27","author":"Korf","year":"1985","journal-title":"Artif. Intell."},{"issue":"3","key":"10.1016\/0004-3702(94)00074-3_BIB19","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(90)90054-4","article-title":"Real-time heuristic search","volume":"42","author":"Korf","year":"1990","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00074-3_BIB20","series-title":"The Traveling Salesman Problem: A Guided Tour of Combinatorial Optimization","year":"1987"},{"issue":"1","key":"10.1016\/0004-3702(94)00074-3_BIB21","first-page":"49","article-title":"Approximate processing in real-time problem-solving","volume":"9","author":"Lesser","year":"1988","journal-title":"AI Mag."},{"key":"10.1016\/0004-3702(94)00074-3_BIB22","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1287\/opre.21.2.498","article-title":"An effective heuristic algorithm for the Traveling Salesman Problem","volume":"21","author":"Lin","year":"1973","journal-title":"Oper. Res."},{"key":"10.1016\/0004-3702(94)00074-3_BIB23","series-title":"Solid Modeling by Computers","first-page":"293","article-title":"An approach to automatic robot programming","author":"Lozano-P\u00e9rez","year":"1984"},{"issue":"2","key":"10.1016\/0004-3702(94)00074-3_BIB24","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0004-3702(86)90016-0","article-title":"Variable precision logic","volume":"29","author":"Michalski","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)00074-3_BIB25","author":"Pearl","year":"1988"},{"key":"10.1016\/0004-3702(94)00074-3_BIB26","article-title":"Time-constrained modelbased diagnosis","author":"Pos","year":"1993"},{"key":"10.1016\/0004-3702(94)00074-3_BIB27","series-title":"Proceedings IJCAI-93","first-page":"338","article-title":"Prova bly bounded optimal agents","author":"Russell","year":"1993"},{"key":"10.1016\/0004-3702(94)00074-3_BIB28","series-title":"Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning","article-title":"Principles of metareasoning","author":"Russell","year":"1989"},{"key":"10.1016\/0004-3702(94)00074-3_BIB29","author":"Russell","year":"1991"},{"key":"10.1016\/0004-3702(94)00074-3_BIB30","series-title":"Proceedings IJCAI-91","first-page":"212","article-title":"Composing real-time systems","author":"Russell","year":"1991"},{"key":"10.1016\/0004-3702(94)00074-3_BIB31","volume":"Vol. 2","author":"Simon","year":"1982"},{"key":"10.1016\/0004-3702(94)00074-3_BIB32","series-title":"Proceedings IEEE Workshop on Imprecise and Approximate Computation","first-page":"72","article-title":"Producing monotonically improving approximate answers to database queries","author":"Vrbsky","year":"1992"},{"key":"10.1016\/0004-3702(94)00074-3_BIB33","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/BF00485052","article-title":"Fuzzy logic and approximate reasoning","volume":"30","author":"Zadeh","year":"1975","journal-title":"Synthese"},{"key":"10.1016\/0004-3702(94)00074-3_BIB34","article-title":"Operational rationality through compilation of anytime algorithms","author":"Zilberstein","year":"1993"},{"key":"10.1016\/0004-3702(94)00074-3_BIB35","series-title":"Proceedings First International Conference on AI Planning Systems","first-page":"260","article-title":"Efficient resource-bounded reasoning in AT-RALPH","author":"Zilberstein","year":"1992"},{"key":"10.1016\/0004-3702(94)00074-3_BIB36","series-title":"Proceedings IEEE Workshop on Imprecise and Approximate Computation","first-page":"6","article-title":"Constructing utility-driven real-time systems using anytime algorithms","author":"Zilberstein","year":"1992"},{"key":"10.1016\/0004-3702(94)00074-3_BIB37","series-title":"Proceedings IJCAI-93","first-page":"1402","article-title":"Anytime sensing, planning and action: A practical model for robot control","author":"Zilberstein","year":"1993"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370294000743?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370294000743?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:29:36Z","timestamp":1556411376000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370294000743"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,4]]},"references-count":37,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1996,4]]}},"alternative-id":["0004370294000743"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(94)00074-3","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1996,4]]}}}