Knowledge representation and reasoning - Brachman, Ronald J.; Levesque, Hector J. (New Delhi ; Morgan Kaufmann, 2012)
Keywords: Knowledge Engineering; Expressing Knowledge; Reasoning with horn Clauses; Procedural Control of Reasoning; Rules in Production system; Object-Oriented Representation