Introduction to artificial intelligence / Wolfgang Ertel ; translated by Nathanael Black ; with illustrations by Florian Mast.

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.