Richard Korf

(person)

A Professor of computer science at the University of California, Los Angeles. Richard Korf received his B.S. from MIT in 1977, and his M.S. and Ph.D. in computer science from Carnegie-Mellon University in 1980 and 1983. From 1983 to 1985 he served as Herbert M. Singer Assistant Professor of Computer Science at Columbia University.

Dr. Korf studies problem-solving, heuristic search and planning in artificial intelligence. He wrote "Learning to Solve Problems by Searching for Macro-Operators" (Pitman, 1985). He serves on the editorial boards of Artificial Intelligence, and the Journal of Applied Intelligence. Dr. Korf is the recipient of several awards and is a Fellow of the American Association for Artificial Intelligence.

Richard Korf home page.

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Mentioned in

Korf, Richard

References in periodicals archive

RICHARD KORF (Cornell University), 91, was professor emeritus of mycology at Cornell.

In memoriam

AAAI-08 program cochairs Dieter Fox and Carla Gomes recognized Senior Program Committee members Richard Korf (University of California, Los Angeles) and Carlos Linares (Universidad Carlos III de Madrid) for their distinguished service on the committee.

Congratulations to the 2008 AAAI award winners!

SIGART Chair Jon Doyle (Additional candidate to be announced later.) Vice Chair Kathy McCoy Tom Dean Secretary/Treasurer David Touretzky Richard Korf

SIG announce candidates for election

Richard Korf is a professor of computer science at the University of California, Los Angeles.

Congratulations to the 2006 AAAI Award Winners!

Thanks to David Furcy, Matthias Heger, Richard Korf, Michael Littman, Yaxin Liu, Illah Nourbakhsh, Patrawadee Prasangsit, Reid Simmons, Yury Smirnov, and all student participants in the class entitled "Modern Approaches to Planning" for helpful discussions, especially Bill Murdock.

Agent-centered search. (Articles)

This conference was no exception, presenting an invited talk by Thomas Dietterich (Oregon States Univesity) on hierarchical reinforcement learning, one by Patrick Cousot (Ecole Normal Supericure, Paris) on abstract fix-point checking, and a third by Richard Korf (University of California at Los Angeles) on heuristic search.

Symposium on Abstraction, Reformulation, and Approximation (SARA-2000)

E-mail participation: David Waltz, Jan Aikins, Bruce Buchanan, Bonnie Doff, Jon Doyle, Eric Horvitz, Henry Kautz, Leslie Pack Kaelbling, Richard Korf, David McAllester, Mel Montemerlo, Norm Nielsen, Stuart Russell

Executive Council Minutes

(1.) Participants in this discussion group included Matthew Ginsberg, Daniel Weld, Oren Etzioni, Richard Korf, Bart Selman, Paul Rosenbloom, Jaime Carbonell, and Ken Forbus.

JAIR at Five