TY  - BOOK
AU  - Brachman,Ronald J.
AU  - Levesque,Hector J.
TI  - Knowledge representation and reasoning
SN  - 1558609326
AV  - Q387 .B73 2004
PY  - 2004///
CY  - Amsterdam, Boston
PB  - Morgan Kaufmann
KW  - Knowledge representation (Information theory)
KW  - Reasoning
N1  - Includes bibliographical references (p. 349-375) and index
UR  - http://www.loc.gov/catdir/toc/els051/2004046573.html
UR  - http://www.loc.gov/catdir/description/els051/2004046573.html
ER  -