TY  - GEN
AU  - Reiter, Raymond.
TI  - Knowledge in action : logical foundations for specifying and implementing dynamical systems
AV  - Q387 Rei.
PY  - 2001///
PB  - MIT Press
KW  - Knowledge representation (Information theory)
KW  - Expert systems(Computer science)
KW  - Logic, Symbolic and mathematical
N1  - 12447
ER  -