×

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.

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
Full Text: DOI