Knowledge in action : logical foundations for specifying and implementing dynamical systems /
Reiter, Raymond.
Cambridge, Mass. ; London : MIT Press,
c2001.
Includes bibliographical references and index.
Knowledge representation (Information theory)
Expert systems (Computer science)
Logic, Symbolic and mathematical.