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:	Knowledge representation (Information theory) Expert systems (Computer science) Logic, Symbolic and mathematical. COMPUTER SCIENCE/Artificial Intelligence Electronic books.
Online Access:	Connect to the full text of this electronic book