Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (2001)

by R Reiter