Introduction to Artificial Intelligence - Ertel, Wolfgang; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Introduction -- Propositional Logic -- First-order Predicate Logic -- Limitations of Logic -- Logic Programming with PROLOG -- Search, Games and Problem Solving -- Reasoning with Uncertainty -- Machine Learning and Data Mining -- Neural Networks -- Reinforcement Learning -- Solutions for the Exercises.
Keywords: Artificial intelligence; Artificial Intelligence