Knowledge representation, reasoning and declarative problem solving - Baral, Chitta (Cambridge Cambridge University Press, 2003)
Keywords: Expert Systems (Computer Science) 2. Artificial Intelligence 3. Knowledge Representation (Information Theory)