Knowledge in action [electronic resource] : 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...
Saved in:
| Online Access: |
Full Text (via MIT Press) |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge, Mass. :
MIT Press,
©2001.
©2001. |
| Subjects: |
Internet
Full Text (via MIT Press)Online
| Call Number: |
Q387 .R48 2001eb
|
|---|---|
| Q387 .R48 2001eb | Available |