Advances in Artificial Intelligence

Brings together papers on fundamental AI research and its potential in creating new applications. Each explores an aspect of the classical problem for researchers in this field: how to produce intelligent behavior by constructing systems capable of representing and reasoning about the world. Topics include representing and reasoning about: time, physical objects, belief, human problem solving, and linguistic structure. The papers in this work build on previous AI research, adding a new seriousness and rigor associated with current, ever-increasing use of formal techniques.