文件大小：0.6 MB 15页
Clingo 5轻松解决理论问题
作者
-
部分： 体积： 第32届逻辑程序设计国际会议（ICLP 2016）技术交流
系列： 信息学开放存取系列（OASIcs）
会议： 国际逻辑程序设计会议 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2016-11-11
文件
文件标识符
引用为 获取BibTex
摘要
关键词
答案集编程 理论语言 理论传播
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
M.Abseher、B.Bliem、G.Charwat、F.Dusberger、M.Hecher和S.Woltran。 树分解动态规划的D-FLAT系统。 在费尔梅和莱特[15]，第558-572页。 
-
巴杜奇尼（M.Balduccini）。 在答案集编程中表示约束满足问题。 《答案集编程和其他计算范式第二次研讨会论文集》（ASPOCP'09），第16-30页，2009年。
-
M.Banbara、B.Kaufmann、M.Ostrowski和T.Schaub。 克林肯：下一代。 提交出版，2016年。
-
C.Barrett、R.Sebastiani、S.Seshia和C.Tinelli。 可满足性模理论。 在Biere等人[7]中，第825-885页。
-
M.巴塞洛缪和J.李。 System aspmt2smt：通过SMT求解器计算ASPMT理论。 在Fermé和Leite[15]中，第529-542页。
-
R.贝尔曼。 关于路由问题。 应用数学季刊，16:87-901958。
-
A.Biere、M.Heule、H.van Maaren和T.Walsh，编辑。 可满足性手册。 IOS出版社，2009年。
-
J.Bomanson、M.Gebser、T.Janhunen、B.Kaufmann和T.Schaub。 回答集合编程模块的非循环性。 《第十三届逻辑程序设计和非单调推理国际会议论文集》（LPNMR’15），第143-150页。 斯普林格，2015年。
-
P.Cabalar、R.Kaminski、M.Ostrowski和T.Schaub。 用于带有约束的默认推理的ASP语义。 第二十五届国际人工智能联合会议（IJCAI’16）会议记录，第1015-1021页。 IJCAI/AAAI出版社，2016年。
-
F.Calimeri、W.Faber、M.Gebser、G.Ianni、R.Kaminski、T.Krennwallner、N.Leone、F.Ricca和T.Schaub。 ASP-Core-2：输入语言格式。 可在 https://www.mat.unical.it/aspcomp2013/ASPS标准化/ , 2012. -
S.Cotton和O.Maler。 DPLL（T）的快速灵活差分约束传播。 《第九届满意度测试理论与应用国际会议论文集》（SAT'06），第170-183页。 斯普林格，2006年。
-
C.Drescher和T.Walsh。 用懒惰的一代回答集合问题。 《第二十八届逻辑程序设计国际会议（ICLP'12）技术通信》，第188-200页。 莱布尼茨国际信息学论文集，2012年。
-
T.Eiter、E.Erdem、H.Erdogan和M.Fink。 在答案集编程中寻找相似/不同的解决方案。 逻辑程序设计理论与实践，13（3）：303-3592013。
-
T.Eiter、M.Fink、T.Krennwallner和C.Redl。 与外部源冲突驱动的ASP解决方案。 逻辑程序设计理论与实践，12（4-5）：659-6792012。
-
E.Fermé和J.Leite，编辑。 第十四届欧洲人工智能逻辑会议论文集（JELIA'14），《人工智能讲义》第8761卷。 斯普林格，2014年。
-
L.Ford和D.Fulkerson。 网络中的流量。 普林斯顿大学出版社，1962年。
-
M.Gebser、R.Kaminski、B.Kaufmann、M.Ostrowski、T.Schaub和P.Wanko。 使用clipeo 5（扩展版）可以轻松解决理论问题。 可在 http://www.cs.uni-potsdam.de/wv/publications网站/ , 2016. -
M.Gebser、R.Kaminski、B.Kaufmann和T.Schaub。 Clingo=ASP+对照：初步报告。 2014年第三十届国际逻辑程序设计会议（ICLP’14）技术交流。 网址： http://arxiv.org/abs/1405.3694 . -
M.Gebser、B.Kaufmann、R.Otero、J.Romero、T.Schaub和P.Wanko。 答案集编程中的特定领域启发式。 《第二十七届全国人工智能会议论文集》（AAAI'13），第350-356页。 AAAI出版社，2013年。
-
M.Gebser、B.Kaufmann和T.Schaub。 冲突驱动的答案集解决：从理论到实践。 人工智能，187-188:52-892012。
-
T.Janhunen、G.Liu和I.Niemelä。 非基础答案集编程与可满足性模理论的紧密结合。 2011年第1-13页，《关于变量理论的基础和转化的第一次研讨会论文集》（GTTV’11）。
-
V.利夫希茨。 什么是答案集编程？ 《第二十届全国人工智能会议论文集》（AAAI'08），第1594-1597页。 AAAI出版社，2008年。
-
G.Liu、T.Janhunen和I.Niemelä。 通过混合整数编程回答集合编程。 《第十三届知识表示与推理原则国际会议论文集》（KR’12），第32-42页。 AAAI出版社，2012年。
-
J.Marques-Silva、I.Lync和S.Malik。 冲突驱动的子句学习SAT解题器。 在Biere等人[7]中，第131-153页。
-
M.Ostrowski和T.Schaub。 ASP模块CSP：紧贴系统。 逻辑程序设计理论与实践，12（4-5）：485-5032012。
-
P.Simons、I.Niemelä和T.Soininen。 扩展和实现稳定的模型语义。 人工智能，138（1-2）：181-2342002。
-
E.尾翼。 基本调度问题的基准。 欧洲运筹学杂志，64（2）：278-2851993。