Preview: The logic of knowledge bases

Main Author:	Levesque, Hector J, 1951-
Other Authors:	Lakemeyer, Gerhard
Language:	English
Published:	Cambridge, Massachusetts London, England: The MIT Press, 2000.
Subjects:	Expert systems ( Computer Science ) Logic, symbolicand mathematical Knowledge representation ( Information Technology )