Title: Logical foundations of artificial intelligence /
Authors: Genesereth, Michael R., 1948-; Nilsson, Nils J., 1933-2019
Publisher: Morgan Kaufmann,
Year: 1987
Subjects: Artificial intelligence.
Contents: Declarative knowledge -- Inference -- Resolution -- Resolution strategies -- Nonmonotonic reasoning -- Induction -- Reasoning with uncertain beliefs -- Knowledge and belief -- Metaknowledge and metareasoning -- State and change -- Planning -- Intelligent-agent architecture -- Answers to exercises.