Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems (0)

by R Reiter