• Title:  Knowledge Representation, Reasoning and Declarative Problem Solving
  • Author: Chitta Baral
  • Publisher: Cambridge University Press 
  • Year of Publication: 2003
  • ISBN: 0521818028
  • Pages: 544
  • Short biography of the author
  • Short description about the book
  • Non-technical description of the book
  • Table of Contents: (pdf),(postscript)
  • Reviews
  • Availability:  Cambridge Univ Press (North America, UK, AUS & NZ, Others), Amazon, Barnes & Noble, etc.
  • Latex bibliography entry