Sold Out
Book Categories |
Preface | ||
Acknowledgments | ||
1 | Introduction | 1 |
2 | Logical Preliminaries | 5 |
3 | Introduction to the Situation Calculus | 19 |
4 | Foundations of the Situation Calculus | 47 |
5 | Implementing Basic Action Theories | 85 |
6 | Complex Actions, Procedures, and Golog | 111 |
7 | Time, Concurrency, and Processes | 149 |
8 | Exogenous Actions, Interrupts, and Reactive Golog | 185 |
9 | Progression | 205 |
10 | Planning | 233 |
11 | Sensing and Knowledge | 283 |
12 | Probability and Decision Theory | 335 |
13 | Concluding Remarks | 385 |
App. A | Some Useful First-Order Inference Rules | 389 |
App. B | The Qualification and Ramification Problems | 401 |
App. C: Resources | 407 | |
References | 409 | |
Index | 419 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionKnowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
X
This Item is in Your InventoryKnowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems
X
You must be logged in to review the productsX
X
X
Add 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, grou, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems to the inventory that you are selling on WonderClubX
X
Add 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, grou, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems to your collection on WonderClub |