The logic of knowledge bases /

Bibliographic Details

Main Author:	Levesque, Hector J., 1951-
Other Authors:	Lakemeyer, Gerhard
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, [2000]
Subjects:	Knowledge representation (Information theory) Expert systems (Computer science) Logic, Symbolic and mathematical.