Revision as of 16:10, 9 June 2018

Home * People * Richard Korf

Richard Korf ^[1]

Richard Earl Korf,
an American computer scientist and professor at the University of California, Los Angeles. He received his B.S. from MIT in 1977, and his M.S. and Ph.D. from Carnegie Mellon University in 1980 and 1983. His research is in the areas of problem-solving, heuristic search, and planning in artificial intelligence ^[2]. In particular, Richard Korf researched and published on best-first versus depth-first‎ search algorithms, and emphasized depth-first iterative deepening, as in IDA* versus A*.

Selected Publications

Richard Korf (1984). The Complexity of Brute Force Search. Technical Report, Department of Computer Science, Columbia University ^[6]
Richard Korf (1985). Depth-first Iterative-Deepening: An Optimal Admissible Tree Search. pdf
Richard Korf (1985). Learning to solve problems by searching for macro-operators. Pitman.
Richard Korf (1985). Macro-operators: A weak method for learning. Artificial Intelligence, Vol. 26, No. 1
Jens Christensen, Richard Korf (1986). A Unified Theory of Heuristic Evaluation functions and Its Applications to Learning. AAAI-86, pdf.
Richard Korf (1987). Planning as Search: A Quantitative Approach. Artificial Intelligence, Vol. 33, pp. 65-88.
Bruce Abramson, Richard Korf (1987). A Model of Two-Player Evaluation Functions. AAAI-87. pdf
Chris Ferguson, Richard Korf (1988). Distributed Tree Search and its Application to Alpha-Beta Pruning. AAAI-88, pdf

Nageshwara Rao Vempaty, Vipin Kumar, Richard Korf (1991). Depth-First vs Best-First Search. AAAI-91, pdf
Richard Korf (1993). Linear-Space Best-First Search. Artificial Intelligence, Vol. 62, No. 1, pdf
Richard Korf, Max Chickering (1993). Best-first Minimax Search: First Results. AAAI-93, pdf
Weixiong Zhang, Richard Korf (1993). Depth-first vs. best-first search: New results. AAAI-93
Richard Korf, Max Chickering (1994). Best-first minimax search: Othello results. AAAI-94, pdf
Richard Korf, Max Chickering (1996). Best-first minimax search. Artificial Intelligence, Vol. 84, No 1-2
Richard Korf (1997). Finding Optimal Solutions to Rubik’s Cube Using Pattern Databases. AAAI-97, pdf
Richard Korf (1997). Does Deep Blue use AI? AAAI-97, Workshop on Deep Blue vs. Kasparov : The Significance for Artificial Intelligence, pdf
Richard Korf (1997). Does DEEP BLUE use Artificial Intelligence? ICCA Journal, Vol. 20, No. 4 ^[7]
Stefan Edelkamp, Richard Korf (1998). The Branching Factor of Regular Search Spaces. AAAI-98, pdf
Richard Korf, Michael Reid (1998). Complexity Analysis of Admissible Heuristic Search. AAAI-98, pdf

Richard Korf (2000). Finding Optimal Solution to Rubik’s Cube Using Pattern Databases. Games in AI Research (eds. Jaap van den Herik and Hiroyuki Iida), Universiteit Maastricht
Nathan Sturtevant, Richard Korf (2000). On Pruning Techniques for Multi-Player Games. AAAI-2000, pdf

Richard Korf, Michael Reid, Stefan Edelkamp (2001). Time complexity of iterative-deepening-A*. Artificial Intelligence, Vol. 129, No. 1-2

Richard Korf, Ariel Felner (2002). Disjoint Pattern Database Heuristics. in “Chips Challenging Champions: Games, Computers and Artificial Intelligence”, edited by Jonathan Schaeffer and Jaap van den Herik. Elsevier Science
Ariel Felner, Richard Korf, Ram Meshulam, Robert Holte (2007). Compressed Pattern Databases. JAIR, Vol. 30, pdf
Richard Korf, Ariel Felner (2007). Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem. IJCAI-07
Richard Korf (2008). Minimizing Disk I/O in Two-Bit Breadth-First Search. AAAI-2008, pdf

@@ Line 21: / Line 21: @@
 * [[Nageshwara Rao Vempaty]], [[Vipin Kumar]], [[Richard Korf]]  ('''1991'''). ''Depth-First vs Best-First Search''. [[Conferences#AAAI-91|AAAI-91]], [https://www.aaai.org/Papers/AAAI/1991/AAAI91-067.pdf pdf]
 * [[Richard Korf]] ('''1993'''). ''Linear-Space Best-First Search.'' [https://en.wikipedia.org/wiki/Artificial_Intelligence_%28journal%29 Artificial Intelligence], Vol. 62, No. 1, [http://www.aaai.org/Papers/AAAI/1992/AAAI92-082.pdf pdf]
-* [[Richard Korf]], [[Max Chickering]] ('''1993'''). ''[http://www.aaai.org/Library/Symposia/Fall/1993/fs93-02-006.php Best-first Minimax Search: First Results].'' [[Conferences#AAAI-93|AAAI-93]]
+* [[Richard Korf]], [[Max Chickering]] ('''1993'''). ''[http://www.aaai.org/Library/Symposia/Fall/1993/fs93-02-006.php Best-first Minimax Search: First Results].'' [[Conferences#AAAI-93|AAAI-93]], [https://pdfs.semanticscholar.org/4458/6f00b101bda8697bfec740d4c631867979f6.pdf pdf]
 * [[Mathematician#WZhang|Weixiong Zhang]], [[Richard Korf]] ('''1993'''). ''[http://dl.acm.org/citation.cfm?id=1867385 Depth-first vs. best-first search: New results]''. [[Conferences#AAAI-93|AAAI-93]]
 * [[Richard Korf]], [[Max Chickering]] ('''1994'''). ''[http://www.aaai.org/Library/AAAI/1994/aaai94-210.php Best-first minimax search: Othello results].'' [[Conferences#AAAI-94|AAAI-94]], [http://www.aaai.org/Papers/AAAI/1994/AAAI94-210.pdf pdf]