3. LPKR 1997: Port Jefferson, New York, USA

Introduction

Disjunctive Semantics

Abduction

Priorities

Updates

a service of Schloss Dagstuhl - Leibniz Center for Informatics