Knowledge in action : logical foundations for specifying and implementing dynamical systems /

Bibliographic Details

Main Author:	Reiter, Raymond
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, [2001]
Subjects:	Knowledge representation (Information theory) Expert systems (Computer science) Logic, Symbolic and mathematical.