25,161
edits
Changes
Created page with "'''Home * People * Richard Korf''' FILE:richard.korf.jpg|border|right|thumb|link=http://courseweb.seas.ucla.edu/classView.php?term=09S&srs=587620208| Rich..."
'''[[Main Page|Home]] * [[People]] * Richard Korf'''
[[FILE:richard.korf.jpg|border|right|thumb|link=http://courseweb.seas.ucla.edu/classView.php?term=09S&srs=587620208| Richard Korf <ref>[http://courseweb.seas.ucla.edu/classView.php?term=09S&srs=587620208 UCLA Class Instructor(s)]</ref> ]]
'''Richard Earl Korf''',<br/>
an American computer scientist at the [https://en.wikipedia.org/wiki/University_of_California,_Los_Angeles University of California, Los Angeles]. He received his B.S. from [[Massachusetts Institute of Technology|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 [https://en.wikipedia.org/wiki/Problem_solving problem-solving], heuristic [[Search|search]], and [[Planning|planning]] in [[Artificial Intelligence|artificial intelligence]].
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/hd/k/Korf:Richard_E= dblp: Richard E. Korf]</ref> <ref>[http://web.cs.ucla.edu/~korf/publications.html R. Korf's Selected Publications]</ref> <ref>[http://ilk.uvt.nl/icga/journal/docs/References.pdf ICGA Reference Database] (pdf)</ref>
==1984 ...==
* [[Richard Korf]] ('''1984'''). ''The Complexity of Brute Force Search''. Technical Report, Department of Computer Science, [[Columbia University]] <ref>quoted by [[Hans Berliner]] and [[Gordon Goetsch]] ('''1985'''). ''A Study of Search Methods : The Effect of Constraint Satisfaction and Adventurousness''. [http://dli.iiit.ac.in/ijcai/IJCAI-85-VOL2/PDF/083.pdf pdf], [http://dli.iiit.ac.in/ijcai/IJCAI-85-VOL2/PDF/083.pdf pdf]</ref>
* [[Richard Korf]] ('''1985'''). ''Depth-first Iterative-Deepening: An Optimal Admissible Tree Search''. [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.91.288&rep=rep1&type=pdf pdf]
* [[Richard Korf]] ('''1985'''). ''Learning to solve problems by searching for macro-operators.'' Pitman.
* [[Richard Korf]] ('''1985'''). ''Macro-operators: A weak method for learning.'' [https://en.wikipedia.org/wiki/Artificial_Intelligence_%28journal%29 Artificial Intelligence], Vol. 26, No. 1
* [[Jens Christensen]], [[Richard Korf]] ('''1986'''). ''A Unified Theory of Heuristic Evaluation functions and Its Applications to Learning.'' [[Conferences#AAAI-86|AAAI-86]], [http://www.aaai.org/Papers/AAAI/1986/AAAI86-023.pdf pdf].
* [[Richard Korf]] ('''1987'''). ''Planning as Search: A Quantitative Approach.'' [https://en.wikipedia.org/wiki/Artificial_Intelligence_%28journal%29 Artificial Intelligence], Vol. 33, pp. 65-88.
* [[Bruce Abramson]], [[Richard Korf]] ('''1987'''). ''A Model of Two-Player Evaluation Functions.'' [[Conferences#AAAI-87|AAAI-87]]. [http://www.aaai.org/Papers/AAAI/1987/AAAI87-016.pdf pdf]
* [https://en.wikipedia.org/wiki/Chris_Ferguson Chris Ferguson], [[Richard Korf]] ('''1988'''). ''Distributed Tree Search and its Application to Alpha-Beta Pruning.'' [[Conferences#AAAI-88|AAAI-88]], [http://www.aaai.org/Papers/AAAI/1988/AAAI88-023.pdf pdf]
==1990 ...==
* [[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]]
* [[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]
* [[Richard Korf]], [[Max Chickering]] ('''1996'''). ''[https://www.microsoft.com/en-us/research/publication/best-first-minimax-search/ Best-first minimax search]''. [https://en.wikipedia.org/wiki/Artificial_Intelligence_(journal) Artificial Intelligence], Vol. 84, No 1-2
* [[Richard Korf]] ('''1997'''). ''Finding Optimal Solutions to Rubik’s Cube Using Pattern Databases.'' [[Conferences#AAAI-97|AAAI-97]], [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.133.7701&rep=rep1&type=pdf pdf]
* [[Richard Korf]] ('''1997'''). ''Does Deep Blue use AI?'' [[Conferences#AAAI-97|AAAI-97]], Workshop on [[Kasparov versus Deep Blue 1997|Deep Blue vs. Kasparov]] : The Significance for Artificial Intelligence, [http://www.aaai.org/Papers/Workshops/1997/WS-97-04/WS97-04-001.pdf pdf]
* [[Richard Korf]] ('''1997'''). ''Does DEEP BLUE use Artificial Intelligence?'' [[ICGA Journal#20_4|ICCA Journal, Vol. 20, No. 4]] <ref>[https://www.stmintz.com/ccc/index.php?id=14647 Re: ICCA Journal Sinks To A New Low] by [[Amir Ban]], [[CCC]], January 25, 1998</ref>
==2000 ...==
* [[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]]), [[Maastricht University|Universiteit Maastricht]]
* [[Nathan Sturtevant]], [[Richard Korf]] ('''2000'''). ''On Pruning Techniques for Multi-Player Games.'' [[Conferences#AAAI-2000|AAAI-2000]], [http://webdocs.cs.ualberta.ca/~nathanst/papers/multi_prune.pdf pdf]
* [[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''. [https://en.wikipedia.org/wiki/Journal_of_Artificial_Intelligence_Research JAIR], Vol. 30, [http://www.ise.bgu.ac.il/faculty/felner/research/newcompjur.pdf pdf]
* [[Richard Korf]], [[Ariel Felner]] ('''2007'''). ''Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem''. [http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2007.html IJCAI-07]
* [[Richard Korf]] ('''2008'''). ''Minimizing Disk I/O in Two-Bit Breadth-First Search''. [[Conferences#AAAI-2008|AAAI-2008]], [https://pdfs.semanticscholar.org/d2fb/77b80d08f8d5a165ab0ecd79b831c4962f07.pdf pdf]
==2010 ...==
* [https://dblp.uni-trier.de/pers/hd/b/Barker:Joseph_Kelly Joseph K. Barker], [[Richard Korf]] ('''2011'''). ''Solving 4x5 Dots-And-Boxes''. [[Conferences#AAAI-2011|AAAI-2011]], [https://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/viewFile/3495/4145 pdf]
* [https://dblp.uni-trier.de/pers/hd/b/Barker:Joseph_Kelly Joseph K. Barker], [[Richard Korf]] ('''2012'''). ''[https://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5124 Solving Peg Solitaire with Bidirectional BFIDA]''. [[Conferences#AAAI-2012|AAAI-2012]]
* [https://dblp.uni-trier.de/pers/hd/b/Barker:Joseph_Kelly Joseph K. Barker], [[Richard Korf]] ('''2012'''). ''[https://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5126 Solving Dots-And-Boxes]''. [[Conferences#AAAI-2012|AAAI-2012]]
* [[Richard Korf]] ('''2012'''). ''[https://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5094 Research Challenges in Combinatorial Search]''. [[Conferences#AAAI-2012|AAAI-2012]]
* [[Richard Korf]] ('''2014'''). ''How Do You Know Your Search Algorithm and Code Are Correct''? [https://dblp.uni-trier.de/db/conf/socs/socs2014.html SOCS 2014], [https://pdfs.semanticscholar.org/5e16/e98074048f73a0db2b25669a8fbdb69048ba.pdfpdf]
* [[Richard Korf]] ('''2016'''). ''Comparing Search Algorithms Using Sorting and Hashing on Disk and in Memory''. [[Conferences#IJCAI2016|IJCAI 2016]]
=External Links=
* [http://www.cs.ucla.edu/%7Ekorf/ Richard Korf's Home Page]
* [https://scholar.google.com/citations?user=LsuWoRoAAAAJ&hl=en Richard E. Korf - Google Scholar Citations]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=70509 Richard Korf - The Mathematics Genealogy Project]
* [http://www.cs.cmu.edu/%7Eaiseminar/past/aiseminar97.html#Richard%20Korf Carnegie Mellon UniversityDepartment of Computer Science - AI Seminar 97/98 Schedule]
* Rich Korf at [[Judea Pearl#Symposium|Judea Pearl Symposium]], 2010, [https://en.wikipedia.org/wiki/YouTube YouTube] Video
: {{#evu:https://www.youtube.com/watch?v=EnX8cQPiB1M|alignment=left|valignment=top}}
=References=
<references />
'''[[People|Up one level]]'''
[[FILE:richard.korf.jpg|border|right|thumb|link=http://courseweb.seas.ucla.edu/classView.php?term=09S&srs=587620208| Richard Korf <ref>[http://courseweb.seas.ucla.edu/classView.php?term=09S&srs=587620208 UCLA Class Instructor(s)]</ref> ]]
'''Richard Earl Korf''',<br/>
an American computer scientist at the [https://en.wikipedia.org/wiki/University_of_California,_Los_Angeles University of California, Los Angeles]. He received his B.S. from [[Massachusetts Institute of Technology|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 [https://en.wikipedia.org/wiki/Problem_solving problem-solving], heuristic [[Search|search]], and [[Planning|planning]] in [[Artificial Intelligence|artificial intelligence]].
=Selected Publications=
<ref>[https://dblp.uni-trier.de/pers/hd/k/Korf:Richard_E= dblp: Richard E. Korf]</ref> <ref>[http://web.cs.ucla.edu/~korf/publications.html R. Korf's Selected Publications]</ref> <ref>[http://ilk.uvt.nl/icga/journal/docs/References.pdf ICGA Reference Database] (pdf)</ref>
==1984 ...==
* [[Richard Korf]] ('''1984'''). ''The Complexity of Brute Force Search''. Technical Report, Department of Computer Science, [[Columbia University]] <ref>quoted by [[Hans Berliner]] and [[Gordon Goetsch]] ('''1985'''). ''A Study of Search Methods : The Effect of Constraint Satisfaction and Adventurousness''. [http://dli.iiit.ac.in/ijcai/IJCAI-85-VOL2/PDF/083.pdf pdf], [http://dli.iiit.ac.in/ijcai/IJCAI-85-VOL2/PDF/083.pdf pdf]</ref>
* [[Richard Korf]] ('''1985'''). ''Depth-first Iterative-Deepening: An Optimal Admissible Tree Search''. [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.91.288&rep=rep1&type=pdf pdf]
* [[Richard Korf]] ('''1985'''). ''Learning to solve problems by searching for macro-operators.'' Pitman.
* [[Richard Korf]] ('''1985'''). ''Macro-operators: A weak method for learning.'' [https://en.wikipedia.org/wiki/Artificial_Intelligence_%28journal%29 Artificial Intelligence], Vol. 26, No. 1
* [[Jens Christensen]], [[Richard Korf]] ('''1986'''). ''A Unified Theory of Heuristic Evaluation functions and Its Applications to Learning.'' [[Conferences#AAAI-86|AAAI-86]], [http://www.aaai.org/Papers/AAAI/1986/AAAI86-023.pdf pdf].
* [[Richard Korf]] ('''1987'''). ''Planning as Search: A Quantitative Approach.'' [https://en.wikipedia.org/wiki/Artificial_Intelligence_%28journal%29 Artificial Intelligence], Vol. 33, pp. 65-88.
* [[Bruce Abramson]], [[Richard Korf]] ('''1987'''). ''A Model of Two-Player Evaluation Functions.'' [[Conferences#AAAI-87|AAAI-87]]. [http://www.aaai.org/Papers/AAAI/1987/AAAI87-016.pdf pdf]
* [https://en.wikipedia.org/wiki/Chris_Ferguson Chris Ferguson], [[Richard Korf]] ('''1988'''). ''Distributed Tree Search and its Application to Alpha-Beta Pruning.'' [[Conferences#AAAI-88|AAAI-88]], [http://www.aaai.org/Papers/AAAI/1988/AAAI88-023.pdf pdf]
==1990 ...==
* [[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]]
* [[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]
* [[Richard Korf]], [[Max Chickering]] ('''1996'''). ''[https://www.microsoft.com/en-us/research/publication/best-first-minimax-search/ Best-first minimax search]''. [https://en.wikipedia.org/wiki/Artificial_Intelligence_(journal) Artificial Intelligence], Vol. 84, No 1-2
* [[Richard Korf]] ('''1997'''). ''Finding Optimal Solutions to Rubik’s Cube Using Pattern Databases.'' [[Conferences#AAAI-97|AAAI-97]], [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.133.7701&rep=rep1&type=pdf pdf]
* [[Richard Korf]] ('''1997'''). ''Does Deep Blue use AI?'' [[Conferences#AAAI-97|AAAI-97]], Workshop on [[Kasparov versus Deep Blue 1997|Deep Blue vs. Kasparov]] : The Significance for Artificial Intelligence, [http://www.aaai.org/Papers/Workshops/1997/WS-97-04/WS97-04-001.pdf pdf]
* [[Richard Korf]] ('''1997'''). ''Does DEEP BLUE use Artificial Intelligence?'' [[ICGA Journal#20_4|ICCA Journal, Vol. 20, No. 4]] <ref>[https://www.stmintz.com/ccc/index.php?id=14647 Re: ICCA Journal Sinks To A New Low] by [[Amir Ban]], [[CCC]], January 25, 1998</ref>
==2000 ...==
* [[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]]), [[Maastricht University|Universiteit Maastricht]]
* [[Nathan Sturtevant]], [[Richard Korf]] ('''2000'''). ''On Pruning Techniques for Multi-Player Games.'' [[Conferences#AAAI-2000|AAAI-2000]], [http://webdocs.cs.ualberta.ca/~nathanst/papers/multi_prune.pdf pdf]
* [[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''. [https://en.wikipedia.org/wiki/Journal_of_Artificial_Intelligence_Research JAIR], Vol. 30, [http://www.ise.bgu.ac.il/faculty/felner/research/newcompjur.pdf pdf]
* [[Richard Korf]], [[Ariel Felner]] ('''2007'''). ''Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem''. [http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2007.html IJCAI-07]
* [[Richard Korf]] ('''2008'''). ''Minimizing Disk I/O in Two-Bit Breadth-First Search''. [[Conferences#AAAI-2008|AAAI-2008]], [https://pdfs.semanticscholar.org/d2fb/77b80d08f8d5a165ab0ecd79b831c4962f07.pdf pdf]
==2010 ...==
* [https://dblp.uni-trier.de/pers/hd/b/Barker:Joseph_Kelly Joseph K. Barker], [[Richard Korf]] ('''2011'''). ''Solving 4x5 Dots-And-Boxes''. [[Conferences#AAAI-2011|AAAI-2011]], [https://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/viewFile/3495/4145 pdf]
* [https://dblp.uni-trier.de/pers/hd/b/Barker:Joseph_Kelly Joseph K. Barker], [[Richard Korf]] ('''2012'''). ''[https://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5124 Solving Peg Solitaire with Bidirectional BFIDA]''. [[Conferences#AAAI-2012|AAAI-2012]]
* [https://dblp.uni-trier.de/pers/hd/b/Barker:Joseph_Kelly Joseph K. Barker], [[Richard Korf]] ('''2012'''). ''[https://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5126 Solving Dots-And-Boxes]''. [[Conferences#AAAI-2012|AAAI-2012]]
* [[Richard Korf]] ('''2012'''). ''[https://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5094 Research Challenges in Combinatorial Search]''. [[Conferences#AAAI-2012|AAAI-2012]]
* [[Richard Korf]] ('''2014'''). ''How Do You Know Your Search Algorithm and Code Are Correct''? [https://dblp.uni-trier.de/db/conf/socs/socs2014.html SOCS 2014], [https://pdfs.semanticscholar.org/5e16/e98074048f73a0db2b25669a8fbdb69048ba.pdfpdf]
* [[Richard Korf]] ('''2016'''). ''Comparing Search Algorithms Using Sorting and Hashing on Disk and in Memory''. [[Conferences#IJCAI2016|IJCAI 2016]]
=External Links=
* [http://www.cs.ucla.edu/%7Ekorf/ Richard Korf's Home Page]
* [https://scholar.google.com/citations?user=LsuWoRoAAAAJ&hl=en Richard E. Korf - Google Scholar Citations]
* [https://genealogy.math.ndsu.nodak.edu/id.php?id=70509 Richard Korf - The Mathematics Genealogy Project]
* [http://www.cs.cmu.edu/%7Eaiseminar/past/aiseminar97.html#Richard%20Korf Carnegie Mellon UniversityDepartment of Computer Science - AI Seminar 97/98 Schedule]
* Rich Korf at [[Judea Pearl#Symposium|Judea Pearl Symposium]], 2010, [https://en.wikipedia.org/wiki/YouTube YouTube] Video
: {{#evu:https://www.youtube.com/watch?v=EnX8cQPiB1M|alignment=left|valignment=top}}
=References=
<references />
'''[[People|Up one level]]'''
