TY  - DATA
AU  - Hector J. Levesque-Gerhard Lakemeyer
TI  - The Logic of Knowledge Bases
SN  - 9780262122320
PB  - The MIT Press
KW  -  Artificial Intelligence
KW  -  General
KW  - COMPUTERS
KW  - Expert systems (Computer science),Knowledge representation (Information theory),Logic, Symbolic and mathematical
UR  - https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&site=ehost-live&scope=site&AN=138543
ER  -