TY  - BOOK
AU  - Brachman, Ronald J.
AU  - Levesque, Hector J.
TI  - Knowledge representation and reasoning
SN  - 9789381269619
U1  - 006.332  1
PY  - 2012///
CY  - New Delhi
PB  - Morgan Kaufmann
KW  - Knowledge Engineering
KW  - Expressing Knowledge
KW  - Reasoning with horn Clauses
KW  - Procedural Control of Reasoning
KW  - Rules in Production system
KW  - Object-Oriented Representation
ER  -