I'm a professor in the Machine Learning Department at Carnegie Mellon. I am also affiliated with the Robotics Institute. I'm interested in multi-agent planning, reinforcement learning, ...

We introduce the heat method for solving the single- or multiple-source shortest path problem on both flat and curved domains. A key insight is that distance computation can be split into two stages: ...

Matthew Cuthbert and the sorrel mare jogged comfortably over the eight miles to Bright River. It was a pretty road, running along between snug farmsteads, with now and again a bit of balsamy fir wood ...

In this course, there will be two types of class periods: Lectures are listed below with a blue background. Lectures are led by the instructors and present the core material of the course. Precepts ...

Under what conditions do we attribute humanlikeness to nonhumans? A living being isn't necessarily humanlike. That is, we can be animistic without being anthropomorphic. Here are some conditions for ...

The case of polywater demonstrates how the desire to believe in a new phenomenon can sometimes overpower the demand for solid, well-controlled evidence. In 1966 the Soviet scientist Boris ...

For an expanded history of the School of Computer Science and its predecessors at CMU, read "Institutional Memories" in the Summer 2014 issue of The Link magazine. In 2014, the School of Computer ...

AI for Teachers supports high school educators who want to gain familiarity with AI and offer AI-related educational activities for their students. The workshop covers an introduction to a broad range ...

This paper describes a method for efficiently computing parallel transport of tangent vectors on curved surfaces, or more generally, any vector-valued data on a curved manifold. More precisely, it ...

In addition to the engine, the Scone system comes with a number of knowledge-base files, each of which is a collection of descriptions and statements about the entities in some subject area. The "core ...

Modal logic is the study of the laws of inference for judgments such as "it is necessary that", "it is possible that", "K knows that", "K affirms that", etc. Its ...

This is the current list of benchmarks. It includes a description for each benchmark specifying the I/O interface and the set of default input files (mostly up to date). All code can be found at ...