0. ADBT 1977: Toulouse, France

Introduction

Data Bases Viewed Through Formal Logic

Knowledge Representation and Deduction

Negative Information and Data Bases

Logic and Data Base Integrity

Query Languages and Applications

maintained by Schloss Dagstuhl LZI at University of Trier