Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of
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
Specifying and implementing dynamical systems with the situation calculus. Modeling and implementing dynamical systems is a central problem in artificial intell
The book presents logical foundations for rule-based systems. An attempt has been made to provide an in-depth discussion of logical and other aspects of such sy
Provides authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas of application o