Answer Set Programming 2003: Messina, Italy

Theory

Implementation

Applications

a service of Schloss Dagstuhl - Leibniz Center for Informatics