Reihe Artificial Intelligence

Genetic Algorithms + Data Structures = Evolution Programs

Verbmobil: Foundations of Speech-to-Speech Translation

An Introduction to Default Logic

Machine Learning

Nonmonotonic Logic

A Logical Theory of Nonmonotonic Inference and Belief Change

The Logic Programming Paradigm

Logical Foundations for Cognitive Agents

Intelligent Planning

Multimedia Database Systems