Richard E. Korf
According to our database1,
Richard E. Korf
authored at least 112 papers
between 1980 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on id.loc.gov
-
on dl.acm.org
On csauthors.net:
Bibliography
2022
Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022
Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021
2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
2018
2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
J. Artif. Intell. Res., 2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013
2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
Proceedings of the Third Annual Symposium on Combinatorial Search, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Proceedings of the IJCAI 2009, 2009
2008
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems.
J. Artif. Intell. Res., 2007
Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem.
Proceedings of the IJCAI 2007, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
2004
Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 2004
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
2003
Comparing Best-First Search and Dynamic Programming for Optimal Multiple Sequence Alignment.
Proceedings of the IJCAI-03, 2003
Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), 2003
2002
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002
2001
2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Proceedings of the Algorithms and Theory of Computation Handbook., 1999
1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
Does Deep Blue use AI?
Proceedings of the Deep Blue Versus Kasparov: The Significance for Artificial Intelligence, 1997
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997
1996
Artif. Intell., 1996
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996
1995
IEEE Trans. Pattern Anal. Mach. Intell., 1995
Minds Mach., 1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
1994
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994
1993
Report on Workshop on High Performance Computing and Communications for Grand Challenge Applications: Computer Vision, Speech and Natural Language Processing, and Artificial Intelligence.
IEEE Trans. Knowl. Data Eng., 1993
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993
1992
Proceedings of the 6th International Parallel Processing Symposium, 1992
Proceedings of the 10th National Conference on Artificial Intelligence, 1992
Proceedings of the 10th National Conference on Artificial Intelligence, 1992
1991
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
Proceedings of the 9th National Conference on Artificial Intelligence, 1991
1990
1989
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989
1988
Proceedings of the 7th National Conference on Artificial Intelligence, 1988
Proceedings of the 7th National Conference on Artificial Intelligence, 1988
1987
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987
1986
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986
1985
Artif. Intell., 1985
Iterative-Deepening-A*: An Optimal Admissible Tree Search.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985
1983
Proceedings of the 14th SIGCSE Technical Symposium on Computer Science Education, 1983
Proceedings of the National Conference on Artificial Intelligence, 1983
1982
Proceedings of the National Conference on Artificial Intelligence, 1982
1981
Inversion of Applicative Programs.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981
1980