Knowledge In Action: Logical Foundations For Specifying And Implementing Dynamical Systems
Use attributes for filter ! | |
Google books | books.google.com |
---|---|
Originally published | 2001 |
Authors | Raymond Reiter |
Date of Reg. | |
Date of Upd. | |
ID | 2111263 |
About Knowledge In Action: Logical Foundations For Specifying And Implementing Dynamical Systems
Specifying and implementing dynamical systems with the situation calculus. Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. . . .