000 00800nam a2200229Ia 4500
008 191130s2001##################000#0#eng##
020 _a9780262182188
022 _a2001030522
040 _aACL
_cACL
082 _a006.332 REI
100 _aReiter, Raymond
245 _aKnowledge in action : logical foundations for specifying and implementing dynamical systems
_cRaymond Reiter
260 _aCambridge, MA
_bMIT Press
_cc2001
300 _axvi, 424 p. : ill. ; 24 cm
500 _aIncludes bibliographical references (p. [409]-418) and index
650 _aExpert systems (Computer science)
650 _aKnowledge representation (Information theory)
650 _aLogic, Symbolic and mathematical
990 _abdb87a35ac10000c3a54ba5f2f6203c7
991 _a113212
999 _c226952
_d226952