Baral, Chitta Knowledge representation, reasoning and declarative problem solving. Reprint of the 2003 hardback ed. (English) Zbl 1192.68666 Cambridge: Cambridge University Press (ISBN 978-0-521-14775-0/pbk). xiv, 530 p. (2010). See the review of the hardback edition (2003) in Zbl 1056.68139. Cited in 9 Documents MSC: 68T30 Knowledge representation 68N17 Logic programming 68T27 Logic in artificial intelligence 68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) 68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence 68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science Citations:Zbl 1056.68139 PDFBibTeX XMLCite \textit{C. Baral}, Knowledge representation, reasoning and declarative problem solving. Reprint of the 2003 hardback ed. Cambridge: Cambridge University Press (2010; Zbl 1192.68666) Full Text: DOI