Reiter, Raymond.
Knowledge in action : logical foundations for specifying and implementing dynamical systems / Raymond Reiter. - MIT Press 2001.
12447
Knowledge representation (Information theory).
Expert systems(Computer science).
Logic, Symbolic and mathematical.
Q387 / Rei.
Knowledge in action : logical foundations for specifying and implementing dynamical systems / Raymond Reiter. - MIT Press 2001.
12447
Knowledge representation (Information theory).
Expert systems(Computer science).
Logic, Symbolic and mathematical.
Q387 / Rei.