

An edition of Knowledge in Action (2001)
Logical Foundations for Specifying and Implementing Dynamical Systems
By Raymond Reiter
Publish Date
September 1, 2001
Publisher
The MIT Press
Language
eng
Pages
446
Description:
subjects: Expert systems (Computer science), Knowledge representation (Information theory), Symbolic and mathematical Logic, Logic, symbolic and mathematical, Expert systems (computer science), Knowledge representation (information theory), Information theory, Logic, Information Theory, Expert Systems, Représentation des connaissances, Systèmes experts (Informatique), Logique symbolique et mathématique, Théorie de l'information, Logique, COMPUTERS, Kennisrepresentatie