05171 Abstracts Collection -- Nonmonotonic Reasoning, Answer Set Programming and Constraints (2005)
Brewka, Gerhard and Niemelä, Ilkka and Schaub, Torsten and Truszczynski, Miroslaw and and Vennekens, Joost