Logic-Based Artificial Intelligence

The use of logic as a basis for representing and manipulating problems in the field of artificial intelligence began in 1959. This volume consists of research i... » 

The use of logic as a basis for representing and manipulating problems in the field of artificial intelligence began in 1959. This volume consists of research into almost every subject that uses logic in AI. Topics include: cognitive robotics, inductive reasoning and possibilistic logic. «