@inproceedings{DBLP:conf/iclp/GebserKKS11, author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten}, title = {Multi-Criteria Optimization in Answer Set Programming}, booktitle = {{ICLP} (Technical Communications)}, series = {LIPIcs}, volume = {11}, pages = {1--10}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, year = {2011} }