@proceedings{DBLP:conf/dagstuhl/2005P5171, title = {Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005}, editor = {Brewka, Gerhard and Niemel{\"{a}}, Ilkka and Schaub, Torsten and Truszczynski, Miroslaw}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, volume = {05171}, year = {2005} }