Knowledge in action : logical foundations for specifying and implementing dynamical systems / Raymond Reiter.
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
Saved in: