Knowledge representation, reasoning and declarative problem solving

Book by Chitta Baral