Answer Set Programming 2003: Messina, Italy

Theory

Implementation

Applications

maintained by Schloss Dagstuhl LZI at University of Trier