摘要
Babovich，Y.2003年。 CMODELS-使用SAT解算器计算答案集的工具。 计算机程序在线提供 http://www.cs.utexas.edu/users/tag/cmodels.html。 ]] 谷歌学者 
Balduccini M.、Barry M.、Gelfond M.、Nogueira M.和Watson R.，2001年。 航天飞机的A-Prolog决策支持系统。 第三届声明性语言实践方面国际研讨会论文集。 施普林格-弗拉格，德国柏林，169-183。]] 谷歌学者 数字图书馆 
Brass，S.和Dix，J.1997年。 通过部分求值表征（析取）稳定语义。 J.逻辑程序。 32, 3, 207--228.]] 谷歌学者 交叉引用 
Brass，S.和Dix，J.，1999年。 基于部分求值的（析取）逻辑程序语义。 J.逻辑程序。 38, 3, 167--213.]] 谷歌学者 Buccafurri，F.、Leone，N.和Rullo，P.，1997年。 析取数据日志中的强约束和弱约束。 第四届逻辑程序设计和非单调推理国际会议论文集。 施普林格-弗拉格，德国柏林，2月17日。]] 谷歌学者 数字图书馆 Cadoli，M.、Giovanardi，A.和Schaerf，M.，1998年。 评估量化布尔公式的算法。 第15届全国人工智能会议论文集。 AAAI，加州门罗公园/麻省理工学院出版社，马萨诸塞州剑桥，262--267。]] 谷歌学者 数字图书馆 Crawford，J.和Auton，L.，1996年。 随机3-SAT交叉点的实验结果。 智力。 81, 1, 31--57.]] 谷歌学者 数字图书馆 Dimopoulos，Y.、Nebel，B.和Koehler，J.，1997年。 在非单调逻辑程序中编码规划问题。 第四届欧洲规划会议记录。 施普林格出版社，德国柏林，169-181。]] 谷歌学者 数字图书馆 Dix，J.、Gottlob，G.和Marek，M.，1996年。 通过移位操作将析取语义减少为非析取语义。 基础信息28，87--100。]] 谷歌学者 数字图书馆 Dung，P.1995年。 逻辑程序设计的论证理论基础。 J.逻辑程序。 22, 151--177.]] 谷歌学者 交叉引用 Eiter，T.、Faber，W.、Leone，N.、Pfeifer，G.和Polleres，A.2000。 不完全知识下的计划。 第一届国际计算逻辑会议论文集。 施普林格·弗拉格，德国柏林，807--821。]] 谷歌学者 数字图书馆 Eiter，T.和Gottlob，G.1995年。 选言逻辑程序设计的计算成本：命题案例。 安。数学。 人工。 智力。 15, 289--323.]] 谷歌学者 交叉引用 Eiter，T.、Gottlob，G.和Mannila，H.1997a。 分离数据日志。 ACM事务处理。 数据库系统。 22, 3, 364--418.]] 谷歌学者 数字图书馆 Eiter，T.、Leone，N.和Saccá，D.1997b。 析取演绎数据库的部分语义。 安。数学。 人工。 智力。 17, 1/2, 59--96.]] 谷歌学者 数字图书馆 Eiter，T.、Leone，N.和Saccá，D.1998年。 析取演绎数据库部分模型的表达能力和复杂性。 西奥。 计算。 科学。 206, 1/2, 181--218.]] 谷歌学者 数字图书馆 Eshghi，K.和Kowalski，R.1989年。 诱拐与失败否定之比较。 第六届逻辑程序设计国际会议论文集。 麻省理工学院出版社，马萨诸塞州剑桥，234--254。]] 谷歌学者 Gelfond，M.和Lifschitz，V.，1988年。 逻辑编程的稳定模型语义。 第五届逻辑程序设计国际会议论文集。 麻省理工学院出版社，马萨诸塞州剑桥，1070--1080。]] 谷歌学者 Gelfond，M.和Lifschitz，V.1991年。 逻辑程序和析取数据库中的经典否定。 新发电机计算。 9, 365--385.]] 谷歌学者 数字图书馆 Gent，I.和Walsh，T.，1999年。 超越NP：QSAT相变。 第16届全国人工智能会议论文集。 AAAI出版社，加利福尼亚州门洛帕克/麻省理工学院出版社，马萨诸塞州剑桥，648-653。]] 谷歌学者 数字图书馆 Heljanko，K.1999年。 使用具有稳定模型语义的逻辑程序解决1-安全Petri网的死锁和可达性问题。 基础信息37，3，247--268。]] 谷歌学者 数字图书馆 Heljanko，K.和Niemelä，I.2003年。 使用稳定模型进行有界LTL模型检查。 西奥。 实际。 逻辑程序。 3, 4&5, 519--550.]] 谷歌学者 数字图书馆 Janhunen，T.、Niemelä，I.、Simons，P.和You，J.-H.2000。 在稳定模型语义中展开偏爱和析取。 《知识表示和推理原理：第七届国际会议论文集》，A.Cohn、F.Giunchiglia和S.B.编辑，Morgan Kaufmann，加利福尼亚州旧金山，411-419。]] 谷歌学者 Koch，C.、Leone，N.和Pfeifer，G.2003年。 通过SAT检查器增强析取逻辑编程系统。 人工。 智力。 151, 177--212.]] 谷歌学者 数字图书馆 克里普克，S.1975。 真理理论大纲。 J.Phil.第72、690--716页。 再版于R.Martin主编《真理与说谎者悖论》（克拉伦登出版社，牛津，1984年），53-81页。]] 谷歌学者 交叉引用 Leone，N.等人，2003年。 分离式数据日志系统DLV（2003-05-16）。 可在线访问 http://www.dbai.tuwien.ac.at/proj/dlv/。 ]] 谷歌学者 Leone，N.、Pfeifer，G.、Faber，W.、Eiter，T.、Gottlob，G.和Scarcello，F.，2006年。 用于知识表示和推理的DLV系统。 ACM事务处理。 计算。 逻辑。 出现。]] 谷歌学者 数字图书馆 Leone，N.、Rullo，L.和Scarcello，F.1997年。 析取稳定模型：无基础集、不动点语义和计算。 Inf.Comp.公司。 135, 2, 69--112.]] 谷歌学者 数字图书馆 Lifschitz，V.1999年。 答案集规划。 第16届逻辑程序设计国际会议论文集。 麻省理工学院出版社，马萨诸塞州剑桥，25-37.]] 谷歌学者 数字图书馆 Lin，F.和You，J.2001。 逻辑编程中的诱拐：基于重写的新定义和诱拐过程。 第17届国际人工智能联合会议记录。 摩根·考夫曼，马萨诸塞州剑桥，655--661。]] 谷歌学者 Lin，F.和Zhao，Y.，2002年。 SAT：由SAT解算器计算逻辑程序的答案集。 第18届全国人工智能会议记录。 AAAI出版社，加利福尼亚州门罗公园，112-117。]] 谷歌学者 数字图书馆 Liu，X.、Ramakrishnan，R.和Smolka，S.1998年。 交替不动点的完全局部有效评估。 在《第四届系统构建和分析工具和算法国际会议论文集》中，B.Steffen，Ed.Springer Verlag，德国柏林，5-19。]] 谷歌学者 数字图书馆 Marek，W.和Truszczynski，M.，1991年。 自认知逻辑。 J.协会计算。 机器。 38, 588--619.]] 谷歌学者 数字图书馆 Marek，W.和Truszczynski，M.，1999年。 稳定模型和替代逻辑编程范式。 《逻辑编程范式：25年展望》。 施普林格-弗拉格，德国柏林，375--398。]] 谷歌学者 Niemelä，I.1996年。 用于最小模型推理的表格演算。 在第五届用解析表及相关方法证明定理研讨会论文集中。 施普林格·弗拉格，德国柏林，278--294。]] 谷歌学者 数字图书馆 Niemelä，I.1999年。 具有稳定模型语义的逻辑编程是一种约束编程范式。 安。数学。 人工。 智力。 25, 3,4, 241--273.]] 谷歌学者 数字图书馆 Przymusinski，T.1990年a。 普通逻辑程序和析取逻辑程序的扩展稳定语义。 第七届逻辑程序设计国际会议论文集。 麻省理工学院出版社，马萨诸塞州剑桥，459--477。]] 谷歌学者 数字图书馆 Przymusinski，T.1990b。 良好的语义与三值稳定语义一致。 基础信息13，445--463。]] 谷歌学者 数字图书馆 Ruiz，C.和Minker，J.，1995年。 计算扩展析取逻辑程序的稳定和部分稳定模型。 在逻辑程序设计的非单调扩展中。 计算机科学讲义，第927卷。 施普林格，德国柏林，205-229。]] 谷歌学者 数字图书馆 Saccá，D.1997年。 绑定和未绑定数据日志的稳定模型的表达能力。 J.计算。 系统。 科学。 54, 3, 441--464.]] 谷歌学者 数字图书馆 Saccá，D.和Zaniolo，C.1990年。 带否定的逻辑程序中的稳定模型和非确定性。 第九届美国计算机学会数据库系统原理研讨会论文集。 ACM出版社，纽约州纽约市，205-217。]] 谷歌学者 数字图书馆 Sagonas，K.、Swift，T.和Warren，D.，1996年。 用于计算基础良好的语义的抽象机器。 《逻辑编程联合国际会议和研讨会论文集》，M.Maher主编，麻省理工学院出版社，马萨诸塞州剑桥，274--288。]] 谷歌学者 Sakama，C.和Seki，H.1997年。 析取逻辑程序设计中的部分演绎。 J.逻辑程序。 32, 3, 229--245.]] 谷歌学者 交叉引用 Schlipf，J.1995年。 逻辑编程语义的表达能力。 J.计算。 系统。 科学。 51, 64--86.]] 谷歌学者 数字图书馆 Seipel，D.、Minker，J.和Ruiz，C.，1997年。 析取数据库的部分稳定模型的特征。 在国际逻辑程序设计研讨会上。 麻省理工学院出版社，马萨诸塞州剑桥，245--259。]] 谷歌学者 数字图书馆 Simons，P.和Janhunen，T.，2003年。 GNT1和GNT2——析取逻辑程序的解算器。 可在万维网上获取，网址为 http://www.tcs.hut.fi/Software/gnt/。 ]] 谷歌学者 Simons，P.、Niemelä，I.和Soininen，T.，2002年。 扩展和实现稳定的模型语义。 人工。 智力。 138, 1--2, 181--234.]] 谷歌学者 数字图书馆 Simons，P.和Syrjänen，T.2003。 SMODELS（2.27版）和LPARSE（1.0.13版）——普通逻辑程序的求解器和基础。 可在万维网上获取，网址为 http://www.tcs.hut.fi/Software/smodels/。 ]] 谷歌学者 Stockmeyer，L.1977年。 多项式时间层次结构。 西奥。 计算。 科学。 3, 1--22.]] 谷歌学者 交叉引用 Stockmeyer，L.和Meyer，A.1973。 单词问题需要指数时间。 在第五届ACM计算理论年度研讨会论文集上。 ACM出版社，纽约州纽约市，1-9。]] 谷歌学者 数字图书馆 Syrjänen，T.2000。 在配置模型中包含诊断信息。 第一届国际计算逻辑会议论文集。 施普林格·弗拉格，德国柏林，837--851。]] 谷歌学者 数字图书馆 游J.和袁L.，1994年。 演绎数据库和逻辑程序的三值语义。 J.计算。 系统。 科学。 49, 334--361.]] 谷歌学者 数字图书馆
建议
通过计算析取稳定模型实现优先分界 AIMSA’08：第13届人工智能国际会议论文集：方法、系统和应用 析取逻辑程序的稳定模型语义是基于最小模型的，该模型默认为false。 虽然此功能非常有用，并导致简明的问题编码，但它偶尔会使用。。。
