7. LP 1988: Tokyo, Japan

Foundations of Logic Programming

Nonmonotonic Reasoning

Logic Programming Language/System

Guarded Horn Clauses

Knowledge Base System

Computer-Aided Reasoning

Natural Language Processing

a service of Schloss Dagstuhl - Leibniz Center for Informatics