Logical Foundations for Specifying and Implementing Dynamical Systems - Raymond Reiter (The MIT Press, 2001)
Keywords: Artificial Intelligence; General; COMPUTERS; Expert systems (Computer science),Information theory.,Knowledge representation (Information theory),Logic, Symbolic and mathematical.,Logic