TY  - BOOK
AU  - Levesque,Hector J.
AU  - Lakemeyer,Gerhard
TI  - The logic of knowledge bases
SN  - 0262122324
PY  - 2000///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Knowledge representation (Information theory)
KW  - Expert systems (Computer science)
KW  - Logic, Symbolic and mathematical
ER  -