Reiter, Raymond
Knowledge in action : logical foundations for specifying and implementing dynamical systems
- Cambridge: MIT Press, 2001
- xvi, 424 p.; : 23 cm.
9780262182188 (hbk)
Logic, Symbolic and mathematical
Expert systems (Computer science)
Knowledge representation (Information theory)
006.332 / REI