@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}
}