Automata, Computability and Complexity: Theory & Applications

Overview

The Birth of Artificial Intelligence

A Logical Foundation for Artificial Intelligence

A Rule-Based Foundation for Artificial Intelligence (and Cognitive Modeling)