60. Birthday: Robert A. Kowalski, 2002

Logic in Databases and Information Integration

Automated Reasoning

Non-deductive Reasoning

Logic for Action and Change

Logic, Language, and Learning

Computational Logic and Philosophy

a service of Schloss Dagstuhl - Leibniz Center for Informatics