The art of building knowledge systems is multidisciplinary, incorporating computer science theory, programming practice and psychology. This book incorporates these varied fields covering topics ranging from algorithms and representations to ...

It is a pleasure and an honor to be able to present this collection of papers to Ray Reiter on the occasion of his 60th birthday. To say that Ray's research has had a deep impact on the field of Artificial Intel ligence is a considerable ...

Specifying and implementing dynamical systems with the situation calculus. Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many ...

The purpose of this collection is to make accessible in one place a number of the seminal research papers in the field of aritificial intelliigence. These papers cover a wide variety of topics; some are theoretical and some experimental. As many ...

Computer Games I is the first volume in a two part compendium of papers covering the most important material available on the development of computer strategy games. These selections range from discussions of mathematical analyses of games, to ...

Consider this: Robots will one day be able to write poetry and prose so touching that it will make men weep; compose dozens or even hundreds of symphonies that will rival the work of Mozart; judge a court case with absolute impartiality and ...

The fourteenth volume of the Second Edition covers central topics in philosophical logic that have been studied for thousands of years, since Aristotle: Inconsistency, Causality, Conditionals, and Quantifiers. These topics are central in many ...

Contains Book 1,"Of Innate Notions" and Book 2, "Of Ideas."