TY  - GEN
AU  - Reiter, Raymond
TI  - Knowledge in action: logical foundations for specifying and implementing dynamical systems 
SN  - 0262182181 (hc. : alk. paper)
AV  - Q387 .R48 2001
PY  - 2001///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Expert systems (Computer science)
KW  - Logic, Symbolic and mathematical
KW  - Knowledge representation (Information theory)
N1  - Includes bibliographical references (p. [409]-418) and index
ER  -