{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:10:10Z","timestamp":1747548610953,"version":"3.40.5"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1023\/a:1024412831598","type":"journal-article","created":{"date-parts":[[2003,9,15]],"date-time":"2003-09-15T17:22:37Z","timestamp":1063646557000},"page":"1-18","source":"Crossref","is-referenced-by-count":9,"title":["Optimal Sequencing of Contract Algorithms"],"prefix":"10.1007","volume":"39","author":[{"given":"Shlomo","family":"Zilberstein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Charpillet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Chassaing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5118312_CR1","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1006\/inco.1993.1054","volume":"106","author":"R. Baeza-Yates","year":"1993","unstructured":"R. Baeza-Yates, J. Culberson and G. Rawlins, Searching in the plane, Information and Computation 106 (1993) 234\u2013252.","journal-title":"Information and Computation"},{"key":"5118312_CR2","unstructured":"D.S. Bernstein, T.J. Perkins, S. Zilberstein and L. Finkelstein, Scheduling contract algorithms on multiple processors, in: AAAI Fall Symposium on Using Uncertainty Within Computation (2001) pp. 10\u201314."},{"issue":"2","key":"5118312_CR3","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0004-3702(94)90054-X","volume":"67","author":"M. Boddy","year":"1994","unstructured":"M. Boddy and T. Dean, Deliberation scheduling for problem solving in time-constrained environments, Artificial Intelligence 67(2) (1994) 245\u2013286.","journal-title":"Artificial Intelligence"},{"key":"5118312_CR4","unstructured":"T. Dean and M. Boddy, An analysis of time-dependent planning, in: Seventh National Conference on Artificial Intelligence (1988) pp. 49\u201354."},{"key":"5118312_CR5","doi-asserted-by":"crossref","unstructured":"J.-M. Gallone and F. Charpillet, Real-time scheduling with Neurosched, in: 13th International Conference on Tools with Artificial Intelligence (1997) pp. 478\u2013479.","DOI":"10.1109\/TAI.1997.632291"},{"issue":"6","key":"5118312_CR6","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/21.257749","volume":"23","author":"A. Garvey","year":"1993","unstructured":"A. Garvey and V. Lesser, Design-to-time real-time scheduling, IEEE Transactions on Systems, Man, and Cybernetics 23(6) (1993) 1491\u20131502.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"5118312_CR7","doi-asserted-by":"crossref","unstructured":"D. Einav and M.R. Fehling, Computationally-optimal real-resource strategies, IEEE International Conference on Systems, Man and Cybernetics (1990) 581\u2013586.","DOI":"10.1109\/ICSMC.1990.142180"},{"key":"5118312_CR8","unstructured":"E.A. Hansen and S. Zilberstein, Monitoring the progress of anytime problem-solving, in: Thirteenth National Conference on Artificial Intelligence (1996) pp. 1229\u20131234."},{"issue":"1\u20132","key":"5118312_CR9","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0004-3702(00)00068-0","volume":"126","author":"E.A. Hansen","year":"2001","unstructured":"E.A. Hansen and S. Zilberstein, Monitoring and control of anytime algorithms: A dynamic programming approach, Artificial Intelligence 126(1\u20132) (2001) 139\u2013157.","journal-title":"Artificial Intelligence"},{"key":"5118312_CR10","unstructured":"E. Horvitz, Reasoning about beliefs and actions under computational resource constraints, in: Workshop on Uncertainty in Artificial Intelligence, Seattle,WA (1987)."},{"key":"5118312_CR11","unstructured":"E. Horvitz, Reasoning under varying and uncertain resource constraints, in: Seventh National Conference on Artificial Intelligence (1988) pp. 111\u2013116."},{"key":"5118312_CR12","volume-title":"Computation and action under bounded resources","author":"E. Horvitz","year":"1990","unstructured":"E. Horvitz, Computation and action under bounded resources, Ph.D. dissertation, Stanford University, California (1990)."},{"key":"5118312_CR13","unstructured":"E. Horvitz, Models of continual computation, in: Fourteenth National Conference on Artificial Intelligence (1997) pp. 286\u2013293."},{"key":"5118312_CR14","series-title":"Technical Report","volume-title":"Fall symposium on flexible computation in intelligent systems","year":"1996","unstructured":"E. Horvitz and S. Zilberstein (eds.), Fall symposium on flexible computation in intelligent systems, Technical Report FS-96-06 (AAAI, Menlo Park, CA, 1996)."},{"key":"5118312_CR15","volume-title":"Time-constrained model-based diagnosis","author":"A. Pos","year":"1993","unstructured":"A. Pos, Time-constrained model-based diagnosis, Master Thesis, Department of Computer Science, University of Twente, The Netherlands (1993)."},{"key":"5118312_CR16","unstructured":"S.J. Russell, D. Subramanian and R. Parr, Provably bounded optimal agents, in: Thirteenth International Joint Conference on Artificial Intelligence (1993) pp. 338\u2013344."},{"key":"5118312_CR17","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/0004-3702(91)90015-C","volume":"49","author":"S.J. Russell","year":"1991","unstructured":"S.J. Russell and E.H. Wefald, Principles of metareasoning, Artificial Intelligence 49 (1991) 361\u2013395.","journal-title":"Artificial Intelligence"},{"key":"5118312_CR18","unstructured":"S.J. Russell and S. Zilberstein, Composing real-time systems, in: Twelfth International Joint Conference on Artificial Intelligence (1991) pp. 212\u2013217."},{"key":"5118312_CR19","unstructured":"T.W. Sandholm and V.R. Lesser, Utility-based termination of anytime algorithms, in: ECAI Workshop on Decision Theory for DAI Applications (1994) pp. 88\u201399."},{"key":"5118312_CR20","unstructured":"S. Zilberstein, Optimizing decision quality with contract algorithms, in: Fourteenth International Joint Conference on Artificial Intelligence (1995) pp. 1576\u20131582."},{"issue":"1\u20132","key":"5118312_CR21","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0004-3702(94)00074-3","volume":"82","author":"S. Zilberstein","year":"1996","unstructured":"S. Zilberstein and S.J. Russell, Optimal composition of real-time systems, Artificial Intelligence 82(1\u20132) (1996) 181\u2013213.","journal-title":"Artificial Intelligence"},{"key":"5118312_CR22","unstructured":"S. Zilberstein and A.-I. Mouaddib, Reactive control of dynamic progressive processing, in: Sixteenth International Joint Conference on Artificial Intelligence (1999) pp. 1268\u20131273."},{"key":"5118312_CR23","unstructured":"S. Zilberstein, A.-I. Mouaddib and A. Arnt, Dynamic scheduling of progressive processing plans, in: ECAI 2000 Workshop on Planning, Scheduling and Design (2000) pp. 139\u2013145."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1024412831598.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1024412831598\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1024412831598.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:44:08Z","timestamp":1747547048000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1024412831598"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":23,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["5118312"],"URL":"https:\/\/doi.org\/10.1023\/a:1024412831598","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}