Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten http://www.dagstuhl.de/lipics License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-31617
URL:

; ; ;

Multi-Criteria Optimization in Answer Set Programming

pdf-format:


Abstract

We elaborate upon new strategies and heuristics for solving multi-criteria optimization problems via Answer Set Programming (ASP). In particular, we conceive a new solving algorithm, based on conflictdriven learning, allowing for non-uniform descents during optimization. We apply these techniques to solve realistic Linux package configuration problems. To this end, we describe the Linux package configuration tool aspcud and compare its performance with systems pursuing alternative approaches.

BibTeX - Entry

@InProceedings{gebser_et_al:LIPIcs:2011:3161,
  author =	{Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub},
  title =	{{Multi-Criteria Optimization in Answer Set Programming}},
  booktitle =	{Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) },
  pages =	{1--10},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-31-6},
  ISSN =	{1868-8969},
  year =	{2011},
  volume =	{11},
  editor =	{John P. Gallagher and Michael Gelfond},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2011/3161},
  URN =		{urn:nbn:de:0030-drops-31617},
  doi =		{http://dx.doi.org/10.4230/LIPIcs.ICLP.2011.1},
  annote =	{Keywords: Answer Set Programming, Multi-Criteria Optimization, Linux Package Configuration}
}

Keywords: Answer Set Programming, Multi-Criteria Optimization, Linux Package Configuration
Seminar: Technical Communications of the 27th International Conference on Logic Programming (ICLP'11)
Issue date: 2011
Date of publication: 2011


DROPS-Home | Fulltext Search | Imprint Published by LZI