Artificial intelligence : - Nilsson, Nils J. (Morgan Kaufmann, 1998)
This book introduction, reactive machines, knowledge representation and reasoning, planning methods based on logic...