Knowledge in action : logical foundations for specifying and implementing dynamical systems /

Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been develope...

Full description

Bibliographic Details
Main Author: Reiter, Raymond
Format: eBook
Language:English
Published: Cambridge, Mass. : MIT Press, ©2001.
©2001
Subjects:
Online Access:Connect to the full text of this electronic book