Knowledge In Action: Logical Foundations For Specifying And Implementing Dynamical Systems
by Raymond Reiter /
2001 / English / PDF
8.2 MB Download
Specifying and implementing dynamical systems with the situation calculus.