000 00518 a2200157 4500
005 20230607143314.0
050 _aQ387
_bRei.
100 _aReiter, Raymond.
245 _aKnowledge in action : logical foundations for specifying and implementing dynamical systems /
_cRaymond Reiter.
501 _a12447
650 _aKnowledge representation (Information theory).
650 _aExpert systems(Computer science).
650 _aLogic, Symbolic and mathematical.
260 _bMIT Press
_c2001.
942 _cBK
_oQ387 Rei.
999 _c7663
_d7663