"Conceptual landscapes: Exploring Ideas Across Fields."

A Brief Appreciation of State-of-the-Art Computational Techniques: Neural Networks, Genetic Algorithms, and Fuzzy Sets

An Introduction to Logic Programming: Resolution, Unification, Horn-Clause Logic, and Prolog

Symbolic Mathematics in AI: Solving Algebra, Translating Equations, and Understanding Macsyma, PRESS, and ATLAS

AI Search Algorithms: Depth-First, Breadth-First, Best-First, Hill Climbing, and Minimax Search Explained

Knowledge Representation: Natural Language, Rules, Predicate Logic, Semantic Networks, Frames, and Scripts