马丁·格布瑟；罗兰·卡明斯基；本杰明·考夫曼；托尔斯滕·绍布 答案集编程中的多准则优化。 （英语） Zbl 1245.68052号 Gallagher，John P.（编辑）等人，第27届逻辑编程国际会议的技术交流（ICLP 2011），美国肯塔基州列克星敦，2011年7月6日至10日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-31-6）。LIPIcs–莱布尼茨国际信息学会议录11，1-10，仅电子版（2011年）。 总结：我们详细阐述了通过答案集编程（ASP）解决多准则优化问题的新策略和启发式方法。特别是，我们设想了一种新的求解算法，基于冲突驱动学习，允许在优化过程中出现非均匀下降。我们应用这些技术来解决实际的Linux包配置问题。为此，我们描述了Linux包配置工具挖空的并将其性能与追求替代方法的系统进行比较。关于整个系列，请参见[Zbl 1237.68017号]. 引用于15文件 MSC公司： 68N17号 逻辑编程 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 90C29型 多目标规划 关键词：答案集编程；多准则优化；Linux软件包配置 软件：Lparse（L解析）；超小卫星；格林戈 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人，LIPIcs——莱布尼茨国际程序。通知。11、1-10（2011；Zbl 1245.68052） 全文： 内政部 链接