Specifying and implementing dynamical systems with the situation calculus. Modeling and implementing dynamical systems is a central problem in artificial intell

Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic. Over the years, there has be

This book is dedicated to Marek Sergot, Professor in Computational Logic at Imperial College London, on the occasion of his 60th birthday. Professor Sergot’s

Congress regularly enacts laws that benefit particular groups or localities while imposing costs on everyone else. Sometimes, however, Congress breaks free of s

Written for those who wish to learn Prolog as a powerful software development tool, but do not necessarily have any background in logic or AI. Includes a full g