{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T17:46:34Z","timestamp":1693849594354},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1990,5,1]],"date-time":"1990-05-01T00:00:00Z","timestamp":641520000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1990,5]]},"DOI":"10.1007\/bf01840464","type":"journal-article","created":{"date-parts":[[2005,6,29]],"date-time":"2005-06-29T07:40:02Z","timestamp":1120030802000},"page":"7-24","source":"Crossref","is-referenced-by-count":22,"title":["Depth-limited search for real-time problem solving"],"prefix":"10.1007","volume":"2","author":[{"given":"Richard E.","family":"Korf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01840464_CR1","volume-title":"Computers and Thought","author":"A. Newell","year":"1963","unstructured":"Newell, A., H.A. Simon, and J.C. Shaw. 1963. Empirical explorations with the logic theory machine: A case study in heuristics. InComputers and Thought, E. Feigenbaum and J. Feldman (Eds.), New York: McGraw-Hill."},{"key":"BF01840464_CR2","volume-title":"Computers and Thought","author":"A.L. Samuel","year":"1963","unstructured":"Samuel, A.L. 1963. Some studies in machine learning using the game of checkers. InComputers and Thought, E. Feigenbaum and J. Feldman (Eds.), New York: McGraw-Hill."},{"key":"BF01840464_CR3","unstructured":"Berliner, H. 1989. Deep-Thought wins Fredkin Intermediate Prize.AI Magazine, 0, 2, (Summer)."},{"issue":"1","key":"BF01840464_CR4","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(85)90084-0","volume":"27","author":"R.E. Korf","year":"1985","unstructured":"Korf, R.E. 1985. Depth-first iterative-deepening: An optimal admissible tree search.Artificial Intelligence, 27, 1:97\u2013109.","journal-title":"Artificial Intelligence"},{"key":"BF01840464_CR5","volume-title":"Exploring Artificial Intelligence","author":"R.E. Korf","year":"1988","unstructured":"Korf, R.E. 1988. Search in AI: A survey of recent results. InExploring Artificial Intelligence. Los Altos, CA: Morgan-Kaufmann."},{"key":"BF01840464_CR6","doi-asserted-by":"crossref","unstructured":"Korf, R.E. 1990. Mult-player alpha-beta pruning.Artificial Intelligence (to appear).","DOI":"10.1016\/0004-3702(91)90082-U"},{"key":"BF01840464_CR7","doi-asserted-by":"crossref","unstructured":"Korf, R.E. 1990. Real-time heuristic search.Artificial Intelligence (to appear).","DOI":"10.1016\/0004-3702(90)90054-4"},{"key":"BF01840464_CR8","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1080\/14786445008521796","volume":"41","author":"C.E. Shannon","year":"1980","unstructured":"Shannon, C.E. 1980. Programming a Computer for Playing Chess.Philosophical Magazine, 41:256\u2013275.","journal-title":"Philosophical Magazine"},{"key":"BF01840464_CR9","volume-title":"Heuristics","author":"J. Pearl","year":"1984","unstructured":"Pearl, J. 1984.Heuristics. Reading, MA: Addison-Wesley."},{"key":"BF01840464_CR10","series-title":"M.I.T. Artificial Intelligence Project Memo","volume-title":"The alpha-beta heuristic","author":"T.P. Hart","year":"1963","unstructured":"Hart, T.P., and D.J. Edwards. 1963. The alpha-beta heuristic. M.I.T. Artificial Intelligence Project Memo, Massachusetts Institute of Technology, Cambridge, MA, October."},{"issue":"4","key":"BF01840464_CR11","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0004-3702(75)90019-3","volume":"6","author":"D.E. Knuth","year":"1975","unstructured":"Knuth, D.E., and R.E. Moore. 1975. An analysis of Alpha-beta pruning.Artificial Intelligence, 6,4: 293\u2013326.","journal-title":"Artificial Intelligence"},{"issue":"8","key":"BF01840464_CR12","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1145\/358589.358616","volume":"25","author":"J. Pearl","year":"1982","unstructured":"Pearl, J. 1982. The solution for the branching factor of the Alpha-Beta pruning algorithm and its optimality.Communications of the Association of Computing Machinery 25, 8:559\u2013564.","journal-title":"Communications of the Association of Computing Machinery"},{"key":"BF01840464_CR13","unstructured":"Luckhardt, C.A., and K.B. Irani. 1986. An algorithmic solution of N-person games.Proceedings of the National Conference on Artificial Intelligence (AAAI-86), Philadelphia, PA, (Aug):158\u2013162."},{"issue":"2","key":"BF01840464_CR14","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","volume":"4","author":"P.E. Hart","year":"1968","unstructured":"Hart, P.E., N.J. Nilsson, and B. Raphael. 1968. A formal basis for the heuristic determination of minimum cost paths.IEEE Transactions on Systems Science and Cybernetics, SSC-4, 2:100\u2013107.","journal-title":"IEEE Transactions on Systems Science and Cybernetics"},{"issue":"4","key":"BF01840464_CR15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1080\/01969727208545856","volume":"2","author":"R.S. Rosenberg","year":"1972","unstructured":"Rosenberg, R.S., and J. Kestner. 1972. Look-ahead and one-person games.Journal of Cybernetics, 2, 4: 27\u201342.","journal-title":"Journal of Cybernetics"},{"key":"BF01840464_CR16","unstructured":"Horvitz, E.J., G.F. Cooper, and D.E. Heckerman. 1989. Reflection and action under scarce resources: Theoretical principles and empirical study. InProceedings of the International Conference on Artificial Intelligence (IJCAI-89), Detroit, Michigan, (Aug):1121\u20131127."},{"key":"BF01840464_CR17","unstructured":"Boddy, M., and T. Dean. 1989. Solving time-dependent planning problems. InProceedings of the International Conference on Artificial Intelligence (IJCAI-89), Detroit, Michigan, (Aug): 979\u2013984."},{"key":"BF01840464_CR18","unstructured":"Russell, S., and E. Wefald. 1989. On optimal game-tree search using rational meta-reasoning. InProceedings of the International Conference on Artificial Intelligence (IJCAI-89), Detroit, Michigan, (Aug):334\u2013340."}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01840464.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01840464\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01840464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T01:54:14Z","timestamp":1586310854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01840464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,5]]},"references-count":18,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1990,5]]}},"alternative-id":["BF01840464"],"URL":"https:\/\/doi.org\/10.1007\/bf01840464","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,5]]}}}