DLV网页。http://www.dlvsystem.com/dlvsystema/index.php/Home。
平滑网页。http://www.tcs.hut.fi/Software/smodels/。
阿比特布尔,谢尔盖,罗伯特,船体、和胜利者,维亚努.数据库基础艾迪森·卫斯理，1995.
阿克,埃尔迪,艾哈迈特坎,埃尔多安,埃斯拉,埃尔登、和沃尔坎,帕托格鲁多家政机器人规划与协调的因果推理。在低密度核磁共振，第311-316页，2011.
阿尔弗雷斯,何塞·胡里奥和路易斯·莫尼兹,佩雷拉.逻辑编程推理.施普林格，1996.
阿维亚诺,马里奥,沃尔夫冈,费伯,詹路易吉,格雷科、和尼古拉,塞拉利昂.虚拟数据日志程序的魔术集.人工智能,187:156–192,2012.
安,韩,卡罗琳·D·肯卡纳,拉姆利、和卡洛斯·维加斯,达马西奥使用XASP实现扩展P-Log。在第24届逻辑程序设计国际会议记录，ICLP’08，第739–743页。施普林格-弗拉格，2008.
公寓,Krzysztof R。,霍华德,布莱尔、和阿德里安,散步的人走向陈述性知识理论。在J。,Minker公司，编辑器，演绎数据库和逻辑程序设计基础，第89-148页，摩根考夫曼，1988.
公寓,Krzysztof R。和罗兰,波尔.逻辑程序设计与否定：综述.逻辑程序设计杂志,19:9–71,1994.
公寓,Krzysztof R。和基斯,Doets公司.SLDNF分辨率的新定义.逻辑程序设计杂志,28:177–190,1994.
巴德尔,弗兰兹,迭戈,卡尔瓦内塞,黛博拉·L·。,麦吉尼斯,达妮埃莱,纳尔迪、和彼得·F·。,帕特尔·施耐德，编辑。描述逻辑手册：理论、实现和应用剑桥大学出版社，2003.
巴莱,叶甫根尼属,迈克尔,Gelfond公司、和員林鎮,张.关于排序的答案集编程.英寸低密度核磁共振,2013.
巴杜奇尼,马塞洛美国市场：提高答案集规划中计划的质量。在PADL'04，人工智能（LNCS）课堂讲稿，6月2004.
巴杜奇尼,马塞洛.CR-MODELS:CR-Prolog的推理引擎。在C、。,巴拉尔,G.公司。,布鲁卡、和J。,施利普夫，编辑，第九届逻辑程序设计与非单调推理国际会议论文集（LPNMR’07）《人工智能课堂讲稿》第3662卷，第18-30页。施普林格，2007.
巴杜奇尼,马塞洛.CR-Prolog作为约束满足问题的规范语言。在低密度核磁共振，第402-408页，2009.
巴杜奇尼,马塞洛.在ASP求解器中学习和使用领域特定的启发式.人工智能通信,24(2):147–164,2011.
巴杜奇尼,马塞洛非品牌项目的答案集求解器：进度报告。在ICLP（技术通信），第49-60页，2012.
巴杜奇尼,马塞洛和迈克尔,Gelfond公司.使用A-Prolog进行诊断推理.逻辑程序设计理论与实践杂志,三（4-5）:425–461，7月2003.
巴尔迪奇尼,马塞洛和迈克尔,Gelfond公司AAA体系结构：概述。在2008年AAAI春季研讨会：基于智能理论的代理架构（AITA08）,2008.
巴杜奇尼,马塞洛,迈克尔,Gelfond公司、和莫妮卡,诺盖拉.A-Prolog作为声明式编程的工具。在第十二届软件工程和知识工程国际会议论文集（SEKE’2000），第63-72页，2000.
巴杜奇尼,马塞洛,迈克尔,Gelfond公司、和莫妮卡,诺盖拉.基于答案集的知识系统设计.数学与人工智能年鉴,47: 183–219,2006.
巴杜奇尼,马塞洛和萨拉人,吉罗托.在答案集编程中形式化心理学知识。在第十二届知识表示与推理原则国际会议（KR2010），5月2010.
巴拉尔,基塔.知识表示、推理和陈述式问题解决剑桥大学出版社，1月2003.
巴拉尔,基塔和尤拉伊,Dzifcak公司。通过自动翻译解决英语描述的难题以回答集编程和学习如何进行翻译。在第十三届知识表示与推理原则国际会议（KR2012）,2012.
巴拉尔,基塔和马特,Hunsaker公司使用概率逻辑编程语言P-log进行因果和反事实推理以及非无效条件反射。在IJCAI-2007会议记录，第243-249页。
巴拉尔,基塔和迈克尔,Gelfond公司.逻辑程序设计与知识表示.逻辑程序设计杂志,19（20） ：73–148，1994.
巴拉尔,基塔和迈克尔,Gelfond公司.动态域中的推理代理。在基于逻辑的人工智能研讨会Kluwer学术出版社，2000.
巴拉尔,基塔和迈克尔,Gelfond公司、和J.纳尔逊,拉什顿.基于答案集的概率推理.TPLP公司,9(1):57–144,2009.
巴拉尔,基塔和乔治,洛博牌手表.行动理论中的可失效规范.英寸IJCAI-97会议记录，第1441–1446页，1997.
巴拉尔,基塔,希拉·A·。,麦克拉伊思、和Tran Cao（Tran曹）,儿子使用带有叙述和感知的动作语言制定诊断问题解决方案。在2000年韩国会议记录，第311-322页，2000.
比多特,尼克尔和克莉丝汀,弗鲁瓦德沃在分层逻辑编程中，极简主义对默认逻辑和界限进行了扩充。在计算机科学会议逻辑论文集，第89–97页，1987.
比多特,尼克尔和克莉丝汀,弗鲁瓦德沃.默认否定与非结构化逻辑程序.理论计算机科学,79(1):86–112,1991.
布莱克本,帕特里克和约翰,Bos公司.自然语言的表示与推理：计算语义学的第一门课程CSLI出版物，2005.
博恩,乔治,马丁,大脑,玛丽娜·德,Vos公司、和约翰,惠誉（Fitch）.使用答案集编程的自动作曲.TPLP公司,11(2-3):397–427,2011.
布尔,乔治思维规律的研究：逻辑和概率的数学理论建立在这一规律之上。乔治·布尔逻辑文集Walton和Maberly，1854.
布鲁卡,格哈德和托马斯,艾特.扩展逻辑程序的首选答案集.人工智能,109:297–356,1998.
布鲁卡,格哈德,伊尔卡,尼梅拉、和米罗斯劳,特鲁什琴斯基答案集优化。在IJCAI-03会议记录，第867–872页。摩根·考夫曼，2003.
布鲁卡,格哈德,伊尔卡,尼梅拉、和米罗斯劳,特鲁什琴斯基.偏好与非单调推理.人工智能杂志,29(4):69–78,2008.
卡利梅里,弗朗西斯科,蒂娜,德尔阿米,托马斯,艾特,沃尔夫冈,费伯,乔治,戈特洛布,乔瓦巴蒂斯塔,伊安尼,朱塞佩,伊尔帕,克里斯托夫,科赫,尼古拉,塞拉利昂,西蒙,佩里,杰拉德,普法伊费尔、和阿克塞尔,波利斯DLV系统。在塞尔焦,弗莱斯卡和乔瓦巴蒂斯塔,伊安尼，编辑，第八届欧洲人工智能大会论文集（JELIA 2002），9月2002.
陈,伟东,Terrance公司,斯威夫特、和大卫·S·。,沃伦.良好语义下查询的高效自顶向下计算.逻辑程序设计杂志,24(3):161–201,1995.
钦塔巴蒂纳,桑迪普,迈克尔,Gelfond公司、和理查德,沃森使用过程描述语言建模混合域。在答案集编程：理论与实现进展，《CEUR研讨会论文集》第142卷，第303–317页。CEUR-WS.org，2005.
克拉克,基思否定为失败。在H。,加莱尔和J。,Minker公司，编辑，逻辑和数据库，第293–322页。增压器，1978.
时钟素,威廉·F·。和克里斯托弗·S·。,梅利什.Prolog编程：使用ISO标准（第5版）.施普林格，2003.
科恩,雅克.Prolog的起源与发展.ACM的通信,31（1） ：1月26日至36日1988.
科尔梅劳尔,阿兰和菲利普,罗塞尔《Prolog的诞生》。在托马斯·J·。,贝尔金 年少者。、和理查德·G。,吉布森 年少者。，编辑，程序设计语言史II，第331-367页。ACM、，1996.
治安官,罗伯特·L·。,斯图亚特·F。,艾伦,作记号,布罗姆利,W.兰斯,克利夫兰,J.F.公司。,克里默,相对湿度。,哈珀,道格拉斯·J·。,豪,托德·B。,Knoblock（旋钮）,N.第页。,门德勒,普拉卡什,帕南加登,斯科特·F·。,史密斯、和詹姆斯·T。,沙沙贵.用Nuprl Proof开发系统实现数学康奈尔大学PRL项目，1986.
科文顿,迈克尔A。,唐纳德,螺母、和安德烈,维利诺.深度Prolog编程Prentice-Hall公司，1997.
丹钦,叶夫根尼,托马斯,艾特,乔治,戈特洛布、和安德烈,沃伦科夫.逻辑编程的复杂性和表达能力.倒排索引综述,33（3） ：374–425，9月2001.
戴维斯,马丁·乔治·洛格曼、和唐纳德·W。,洛夫兰.定理证明的机器程序.ACM的通信,5(7):394–397,1962.
戴维斯,马丁和希拉里,普特南.量化理论的一种计算方法.ACM的通信,7:201–215,1960.
德克莱尔,约翰,艾伦·K。,麦克沃思、和雷蒙德,雷特.诊断和系统特征.人工智能,56(2-3):197–222,1992.
德尔格朗德,詹姆斯·P·。,托尔斯滕,绍布、和汉斯,托姆皮茨.逻辑程序中编译首选项的框架.逻辑程序设计理论与实践杂志,三(2):129–187,2003.
德尔格朗德,詹姆斯·P·。,托尔斯滕,绍布,汉斯,汤比特、和曾千爱,王.非单调推理中偏好处理方法的分类与综述.计算智能,20:308–334,2004.
迪杰斯特拉,Edsger W.Under公司莱布尼茨梦想的咒语。信息处理信件,77(2-4):53–61,2001.
季莫普洛斯,亚尼斯,贾纳,科勒、和伯恩哈德,内贝尔.非单调逻辑程序中的编码规划问题。在《第四届欧洲规划会议记录》，人工智能（LNCS）第1348卷，第页169–181,1997.
迪克斯,尤尔根逻辑程序语义分类（扩展抽象）。在低密度核磁共振，第166-180页，1991.
多尔蒂,帕特里克,乔金,古斯塔夫松,拉尔斯,卡尔松、和乔纳斯,克瓦伦斯特罗姆.TAL：时序动作逻辑语言规范和教程.人工智能电子交易,2:273–306,1998.
多尔蒂,帕特里克,约翰,麦卡锡、和玛丽·安妮,威廉姆斯，编辑。具有一致性恢复规则的逻辑程序、AAAI2003春季研讨会系列，2003年3月。
多明戈斯,佩德罗和丹尼尔,洛德.马尔可夫逻辑：人工智能的接口层摩根克莱普尔，2009.
埃尔登,埃斯拉和弗拉基米尔,利夫席茨.严密的逻辑程序.逻辑程序设计理论与实践,三:499–518,2003.
法赫斯,弗朗索瓦.Clark完备的一致性与稳定模型的存在性.计算机科学逻辑方法杂志,1(1):51–60,1994.
费布拉罗,奥诺弗里奥,克里斯蒂安,雷亚尔、和弗朗西斯科,里卡.ASPIDE：用于回答集编程的集成开发环境。在2011年5月16日至19日，加拿大温哥华，第11届逻辑编程与非单调推理国际会议，LPNMR 2011。诉讼，卷6645，第317–330页，2011.
法拉利,保罗,Joohyung公司,李、和弗拉基米尔,利夫席茨.稳定模型的新视角.英寸国际JCAI，第372-379页，2007.
法拉利,保罗,Joohyung公司,李、和弗拉基米尔,利夫席茨.稳定模型和边界.人工智能,175:236–263,2011.
菲克斯,理查德和尼尔斯·J。,尼尔森STRIPS：一种将定理证明应用于问题解决的新方法。技术说明43R，SRI国际人工智能中心,1971.
适合的,梅尔文.逻辑程序的Kripke-Kleene语义.逻辑程序设计杂志,2(4):295–312,1985.
菲茨帕特里克,理查德.欧几里得元素德克萨斯大学奥斯汀分校，聚变研究所，物理系，2007.
弗雷格,戈特洛布Begriffsschrift，一种模仿算术的形式语言，用于纯粹思想。在J.货车,海耶诺特，编辑器，从弗雷格到哥德尔：数理逻辑的一本原著，第1-82页。哈佛大学出版社，2002(1879).
格布泽,马丁,罗兰,卡明斯基,本杰明,考夫曼,马克斯,奥斯特罗斯基,托尔斯滕,绍布、和斯文,蒂勒设计增量ASP解算器。在ICLP公司，第190–205页，2008.
格布泽,马丁,罗兰,卡明斯基,本杰明,考夫曼、和托尔斯滕,绍布.《人工智能与机器学习综合讲座》第6卷《实践中的答案集求解》摩根克莱普尔，2012.
格布泽,马丁,罗纳德,卡明斯基,本杰明,考夫曼,马克斯,奥斯特罗斯基,托尔斯滕,绍布、和斯文,蒂勒.gringo、crip、clipeo和iclingo用户指南. http://potassco.sourceforge。
格布泽,马丁,本杰明,考夫曼,拉蒙,奥特罗,哈维尔,罗梅罗,托尔斯滕,绍布、和第页。,旺科答案集编程中的领域特定启发式。在第二十七届人工智能会议记录AAAI’2013年。AAAI出版社，2013.
格布泽,马丁,托尔斯滕,绍布、和斯文,蒂勒Grin Go：答案集编程的新基础。在低密度核磁共振，第266-271页，2007.
杰夫那,赫克托和布莱,发动机盖.人工智能与机器学习综合讲座摩根克莱普尔，Jun2013，卷。7，第2期，第1-141页。
盖尔德,艾伦·凡,肯尼思A。,罗斯、和约翰·S·。,施利普夫.通用逻辑程序的良好语义.ACM学报,38（3） ：620–650，1991.
Gelfond公司,迈克尔关于分层自认知理论。在第六届全国人工智能大会论文集，第207-212页，1987.
Gelfond公司,迈克尔在A-Prolog中表示知识。在交流。,卡卡斯和F、。,萨德里，编辑，计算逻辑：逻辑编程及其以外，第413-451页。施普林格，2002.
Gelfond公司,迈克尔和丹妮拉,Inclezan公司又一个模块化动作语言。在第二届答案集编程软件工程国际研讨会论文集 10，第64-78页，2009.
Gelfond公司,迈克尔和丹妮拉,Inclezan公司.ALd系统描述的一些性质.应用非经典逻辑杂志,23(1/2):105–120,2013.
Gelfond公司,迈克尔和弗拉基米尔,利夫席茨逻辑编程的稳定模型语义。在ICLP-88会议记录，第1070–1080页，1988.
Gelfond公司,迈克尔和弗拉基米尔,利夫席茨.逻辑程序和析取数据库中的经典否定.新一代计算,9(3/4):365–386,1991.
Gelfond公司,迈克尔和弗拉基米尔,利夫席茨.用逻辑程序表示动作和变化.逻辑程序设计杂志,17(2/3&4):301–321,1993.
Gelfond公司,迈克尔和弗拉基米尔,利夫席茨。动作语言。人工智能电子交易,三,1998.
盖尔方德,迈克尔和弗拉基米尔,利夫席茨行动语言的共同核心非单调推理国际研讨会工作说明.2012.
Gelfond公司,迈克尔,弗拉基米尔,利夫席茨、和阿尔卡迪,拉比诺夫情境演算的局限性是什么？在钢筋混凝土。,博伊尔，编辑器，自动推理：纪念伍迪·布莱德索的论文，第167-180页。施普林格，1991.
Gelfond公司,迈克尔和纳尔逊,拉什顿。P-log中的因果和概率推理。在R。,德希特,H。,杰夫那、和J。,哈尔佩恩，编辑，向朱迪亚·珀尔致敬，第337-359页。学院出版物，2010.
Gelfond公司,迈克尔,纳尔逊,拉什顿、和魏军,朱结合逻辑推理和概率推理。在AAAI 2006年春季研讨会,2006.
Gelfond公司,迈克尔和Tran Cao（Tran曹）,儿子.使用优先默认值进行推理。在第三次国际研讨会，LPKR’97，人工智能（LNCS）课堂讲稿第1471卷，第164-224页，10月1997.
加拉卜,马利克,达纳,瑙、和保罗,特拉韦尔索.自动化规划：理论与实践摩根·考夫曼，2004.
金斯伯格,马修·L·。和大卫·E·。,史密斯.关于行动的推理I：一种可能的世界方法.人工智能,35(2):165–195,1988.
金奇利亚,恩里科,Joohyung公司,李,弗拉基米尔,利夫席茨,诺曼,麦凯恩、和哈德逊,特纳.非单调因果理论.人工智能,153:105–140,2004.
金奇利亚,恩里科,尤利娅,利勒、和马尔科,马拉提亚.基于命题可满足性的答案集规划.自动推理杂志,36:345–377,2006.
金奇利亚,恩里科和弗拉基米尔,利夫席茨基于因果解释的行动语言：初步报告。在AAAI/IAAI公司，第623–630页，1998.
哥德尔,库尔特.数学原理及其相关系统的形式不可判定命题多佛出版社（1992），1931.
绿色,科德尔定理证明在问题解决中的应用。在第一届国际人工智能联合会议记录《IJCAI'69》，第219-239页，旧金山。摩根考夫曼出版社，1969.
绿色,科德尔.定理证明在问答系统中的应用斯坦福大学未发表博士论文，1969.
哈姆舍尔,沃尔特,卢卡,慰问、和约翰·德,克莱尔，编辑。基于模型的诊断中的读数.摩根考夫曼出版社，1992.
海耶斯,帕特里克·J·。和约翰,麦卡锡从人工智能的角度看一些哲学问题。在B。,熔化器和D。,米奇，编辑，机器智能4，第463-502页。爱丁堡大学出版社，1969.
希尔伯特,大卫.几何基础.公开法庭，1980(1899).
希尔伯恩,雷和马克,芒果.生态侦探普林斯顿大学出版社，1997.
呼,霍尔格·H。和托马斯,斯图兹尔.SAT局部搜索算法的实证评价.自动推理杂志,24:421–481,2000.
Inclezan公司,丹妮拉ASP在第二语言习得领域的应用。在低密度核磁共振,2013.
Janhunen公司,托米,伊尔卡,尼梅拉、和作记号,塞瓦列夫.通过约简到差分逻辑计算稳定模型。在低密度核磁共振，第142-154页，2009.
杰恩斯,埃德温·T。概率论：科学的逻辑剑桥大学出版社，2003.
卡卡斯,安东尼斯·C。和罗布,米勒.关于动作、叙述和分支的推理.人工智能电子交易,1:39–72,1997.
卡卡斯,安东尼斯·C。,罗布,米勒、和弗朗西丝卡,托尼.E-RES：关于行动、事件和观察的推理.英寸低密度核磁共振，第254-266页，2001.
考茨,亨利A。和巴特,塞尔曼.规划是可满足的。在ECAI公司，第359-363页，1992.
科勒,达芙妮和尼日尔,弗里德曼.概率图形模型：原理和技术麻省理工学院出版社，2009.
科瓦尔斯基,罗伯特A。逻辑程序设计的早期.ACM的通信,31（1） ：1月38–43日1988.
科瓦尔斯基,罗伯特A。解决问题的逻辑.北荷兰，1979.
科瓦尔斯基,罗伯特.事件演算中的数据库更新.逻辑程序设计杂志,12(1):121–146,1992.
科瓦尔斯基,罗伯特使用Meta-Logic协调Reactive与Rational Agent。在元逻辑与逻辑程序设计，第227-242页。麻省理工学院出版社，1995.
科瓦尔斯基,罗伯特和唐纳德,Kuehnm公司.带选择函数的线性分辨率.人工智能,2(3,4):227–260,1971.
科瓦尔斯基,罗伯特A。和马雷克,塞尔戈特.基于逻辑的事件演算.新一代计算,4(4):319–340,1986.
莱布尼兹,戈特弗里德.莱布尼茨精选查尔斯·斯克里布纳之子，1951.
塞拉利昂,尼古拉,杰拉尔德,普法伊费尔,沃尔夫冈,费伯,托马斯,艾特,乔治,戈特洛布,斯特凡尼亚,佩里、和弗朗西斯科,斯卡尔切洛.用于知识表示和推理的DLV系统.ACM计算逻辑事务,7:499–562,2006.
塞拉利昂,尼古拉,帕斯奎尔,鲁洛、和弗朗西斯科,斯卡尔切洛.非虚拟稳定模型：非循环集、不动点语义和计算.信息与计算,135:69–112,1997.
利勒,尤利娅和马尔科,马雷托.C模型网页。http://www.dlvsystem.com/dlvsystema/index.php/。
利夫席茨,弗拉基米尔.计算边界。在国际人工智能联合会议记录，85年国际商会，第121-127页。摩根考夫曼出版社，1985.
利夫席茨,弗拉基米尔.答案集编程和计划生成.人工智能,138:39–54,2002.
利夫席茨,弗拉基米尔,蕾奥拉,摩根斯坦、和大卫,Plaisted公司知识表示与经典逻辑。在弗兰克·凡,哈梅伦,弗拉基米尔,利夫席茨、和布鲁斯,搬运工，编辑，知识表示手册，第3-88页。爱思唯尔，2008.
利夫席茨,弗拉基米尔和亚历山大A。,拉兹博罗夫.为什么有这么多循环公式？ACM计算逻辑事务,7(2):261–268,2006.
林,方真.在指定行动的间接影响时拥抱因果关系。在C、。,梅利什，编辑器，IJCAI-95会议记录，第1985-1993页。MorganKaufmann，1995.
林,方真和雷蒙德,雷特.重新审视州约束.逻辑与计算杂志,4（5） ：655–678，1994.
林,方真和玉亭,赵.ASSAT：用SAT解算器计算逻辑程序的答案集.人工智能,157（1-2）：115–137，2004.
刘,国华,托米,Janhunen公司、和伊尔卡,尼梅拉答案：通过混合整数编程实现集合编程。在韩国,2012.
劳埃德,约翰·W·。逻辑程序设计基础，第2版。斯普林格·弗拉格，1987.
曼纳,马尔科,埃梅琳达,奥罗,马西莫,鲁福洛,马里奥,阿维亚诺、和尼古拉,塞拉利昂.用于语义信息提取的HiLeX系统.T.大规模数据和知识中心系统,5:91–125,2012.
马雷克,维克多·W。满足性数学导论查普曼和霍尔/CRC信息学研究系列。CRC出版社，2009.
马雷克,维克多·W。、和V.S.公司。,苏布拉曼尼亚人逻辑程序语义与非单调推理的关系。在ICLP公司，第600–617页，1989.
马雷克,维克多·W·。和米罗斯劳,特鲁什琴斯基.非单调逻辑：上下文相关推理Springer-Verlag公司，1993.
马雷克,维克多·W·。和米罗斯劳,特鲁什琴斯基稳定模型和替代逻辑编程范式。在K.R.公司。,公寓编辑，逻辑程序设计范式：25年展望，第375-398页。Springer Verlag公司，1999.
麦卡锡,约翰.常识课程。在M。,明斯基，编辑器，语义信息处理，第403-418页。麻省理工学院出版社，1959.
麦卡锡,约翰.界限——非单调推理的一种形式.人工智能,13(1-2):27–39,1980.
麦卡锡,约翰.情境、行动和因果关系斯坦福大学斯坦福人工智能项目技术报告备忘录2，1983.
麦卡锡,约翰.规范化常识，约翰·麦卡锡的论文，编辑人五、。,利夫席茨Ablex公司，1990.
麦卡锡,约翰.精化容差. http://www-formal.stanford.edu/jmc/extension/,1998.
麦克德莫特,德鲁、和乔恩,多伊尔.非单调逻辑I.人工智能,13(1-2):41–72,1980.
麦克德莫特,德鲁,马利克,加拉卜,答：。,豪,C、。,Knoblock（旋钮）,答：。,猛撞,M。,韦洛索,D。,焊接、和D。,威尔金斯.PDDL-规划领域定义语言耶鲁计算视觉与控制中心技术代表CVC TR-98-003/DCS TR-1165，1998.
梅勒科德,Veena S.公司。,迈克尔,Gelfond公司、和員林鎮,张.答案集编程与约束逻辑编程的集成.数学与人工智能年鉴,53(1-4):251–287,2008.
米利奥利,兰杰罗,乌戈,麝香、和马里奥,奥尔纳基.PAP：一种基于构造逻辑的逻辑编程系统。在逻辑和函数编程基础，计算机科学讲义第306卷，第141-156页，1988.
矿工,杰克不确定数据库和封闭世界假设。在CADE-82会议记录，第292–308页，1982.
Minker公司,杰克和迪特马尔,塞帕尔选言逻辑程序设计：综述与评价。在计算逻辑：逻辑编程及其以外,2002，第472-511页。《人工智能课堂讲稿》，斯普林格出版社。
薄荷糖,格雷戈里和Enn公司,图古语.编程系统PRIZ.符号计算杂志,5（3） ：359–375，6月1988.
摩尔,罗伯特·C·。非单调逻辑的语义思考。在第八届国际人工智能联合会议记录，第272-279页。Morgan Kaufmann，八月1983.
米勒,埃里克·T。常识推理摩根·考夫曼，2006.
尼罗德,茴香和理查德A。,海岸.应用程序逻辑计算机科学研究生课程。Springer-Verlag股份有限公司，1997.
尼梅拉,伊尔卡.以稳定模型语义为约束编程范式的逻辑程序.数学与人工智能年鉴,25(3-4): 241–273,1999.
尼梅拉,伊尔卡和帕特里克,西蒙斯Smodels–正常逻辑程序的稳定模型和良好语义的实现。在第四届逻辑编程与非单调推理国际会议论文集（LPNMR’97），人工智能（LNCS）讲稿第1265卷，第420–429页，1997.
尼梅拉,伊尔卡,帕特里克,西蒙斯、和蒂莫,索伊尼宁.稳定模型语义的扩展与实现.人工智能,138（1-2）：181–234，6月2002.
尼尔森,零.摇晃机器人技术报告323，SRI国际人工智能中心，1984.
尼尔森,尼尔斯·J。概率逻辑.人工智能,28(1):71–87,1986.
诺盖拉,莫妮卡,马塞洛,巴杜奇尼,迈克尔,Gelfond公司,理查德,沃森、和马修,巴里航天飞机A-Prolog决策支持系统。在爱丽丝,普罗维蒂和Tran Cao（Tran曹）,儿子，编辑，答案集编程：面向高效可扩展的知识表示和推理，AAAI 2001春季研讨会系列，3月2001.
奥斯特罗斯基,马克斯和托尔斯滕,绍布.ASP模块CSP：Clingcon系统.TPLP公司,12(4-5):485–503,2012.
皮尔斯,大卫稳定模型和答案集的新逻辑特征。在NMELP 96，LNCS 1216会议记录，第57-70页。施普林格，1997.
皮尔斯,大卫.均衡逻辑.数学与人工智能年鉴,47(1-2): 3–41,2006.
珍珠,犹太.启发式：计算机问题解决的智能搜索策略Addison-Wesley Longman出版社，1984.
珍珠,犹太.智能系统中的概率推理：可信推理网络摩根·考夫曼，1988.
珍珠,犹太.因果关系：模型、推理和推理剑桥大学出版社，2000.
佩德诺,埃德温·P·D。ADL与行动的状态转换模型.逻辑与计算杂志,4(5):467–512,1994.
佩雷拉,路易斯·莫尼兹和卡罗琳·肯卡纳,拉姆利.基于概率因果关系的决策建模.智能决策技术,4(2):133–148,2010.
别针（Pinto）,哈维尔.情景演算分支结构中的事件和叙述约束.逻辑与计算杂志,8(6):777–808,1998.
别针（Pinto）,哈维尔和雷蒙德,雷特.情境演算中关于时间的推理.数学与人工智能年鉴,14(2-4):251–268,1995.
普尔,大卫.表示诊断知识.数学与人工智能年鉴,11:33–50,1994.
普尔,大卫.独立选择逻辑及其以外。在L.德,雷德，编辑器，概率归纳逻辑程序设计，第222-243页。施普林格，2008.
普尔,大卫和艾伦·K。,麦克沃思.人工智能-计算代理基础剑桥大学出版社，2010.
普尔,大卫,艾伦,麦克沃思、和兰迪,戈贝尔.计算智能：一种逻辑方法牛津大学出版社，1998.
Przymusinska公司,哈利纳和特奥多尔,普尔兹穆森斯基.弱分层逻辑程序.计算机基础理论,十三:51–65,1990.
普尔兹穆森斯基,特奥多尔C。逻辑程序的声明语义和过程语义.自动推理杂志,5:167–205,1995.
普尔兹穆森斯基,特奥多尔关于演绎数据库和逻辑程序的声明语义。在杰克,Minker公司，编辑器，演绎数据库和逻辑编程基础，第193-216页。摩根·考夫曼，1988.
拉奥,乔治弗在BDI-体系结构中建模Rational Agent。在第二届知识表示与推理原理国际会议论文集，第473-484页。摩根考夫曼出版社，1991.
雷特,雷蒙德。关于封闭世界数据库。在逻辑和数据库，第119-140页。增压器，1978.
雷特,雷蒙德默认推理的逻辑。人工智能,13(1-2):81–132,1980.
雷特,雷蒙德.第一原理诊断理论.人工智能,32:57–95,1987.
雷特,雷蒙德.行动中的知识——指定和实现动态系统的逻辑基础麻省理工学院出版社，9月2001.
里卡,弗朗西斯科,乔瓦尼,格拉索,马里奥,阿维亚诺,马尔科,曼纳,文森齐诺,狮子座,萨尔瓦多,伊里塔诺、和尼古拉,塞拉利昂.Gioia-Tauro海港团队建设与答案集编程.TPLP公司,12(3):361–381,2012.
罗宾逊,约翰·艾伦.基于分辨原理的面向机器逻辑.美国医学会杂志,12（1） ：1月23日至41日1965.
罗斯,肯尼思.逻辑程序中完备否定的过程语义.逻辑程序设计杂志,13(1):1–22,1992.
坂间,Chiaki公司和克己,井上.优先逻辑程序设计及其在常识推理中的应用.人工智能,123：185–222，2000.
桑德沃尔,埃里克.特色与长处（第一卷）：动力系统知识的表示牛津大学出版社，1994.
佐藤,泰辅和吉田,卡梅亚.PRISM：符号统计建模语言。在国际JCAI，第1330–1339页，1997.
沙纳汉,默里.事件的包络演算.人工智能,77: 249–284,1995.
沙纳汉,默里.解决框架问题：对常识惯性定律的数学研究麻省理工学院出版社，1997.
西蒙斯,帕特里克.稳定模型语义的扩展与实现.毕业论文，赫尔辛基理工大学，2000.
索伊尼宁,蒂莫和伊尔卡,尼梅拉为产品配置中的应用程序开发声明性规则语言。在第一届声明性语言实际方面国际研讨会会议记录，5月1999.
儿子,Tran Cao（Tran曹）,基塔,巴拉尔,越南,Tran公司、和希拉·A·。,麦克拉伊思.答案集规划中的领域相关知识.ACM计算逻辑事务,7(4):613–657,2006.
索娃,约翰·F·。知识表示：逻辑、哲学和计算基础布鲁克斯/科尔出版社，2000.
标准纯度的,里昂和以笏,夏皮罗.序言艺术（第二版）：高级编程技术麻省理工学院出版社，1994.
苏布拉曼尼亚人,V.S.公司。和卡洛,扎尼奥洛关联稳定模型和人工智能规划领域。在ICLP-95会议记录，第233-247页。1995.
锡尔贾南,托米.用稳定模型语义实现逻辑程序的逻辑接地技术报告18，赫尔辛基理工大学数字系统实验室，1998.
塔斯基,阿尔弗雷德.逻辑导论与演绎科学方法论多佛出版公司，1995(1941).
蒂尔舍,迈克尔.动态诊断理论.链接计算机和信息科学中的电子文章,2(11),1997.
蒂尔舍,迈克尔.动作编程语言人工智能和机器学习综合讲座。摩根克莱普尔出版社，2008.
图雷茨基,大卫·S·。遗传系统的数学人工智能研究笔记。摩根·考夫曼，1986.
Tran公司,维恩,科伊,阮（Nguyen）,Tran Cao（Tran曹）,儿子,恩里科,蓬泰利.基于近似的一致规划器：CpA（H）.ACM智能系统与技术交易,4(2),2013.
泰勒,邦妮和迈克尔,Gelfond公司.在逻辑编程中表示空值。在茴香,尼罗德和尤里,马蒂亚塞维奇，编辑，LFCS，计算机科学课堂讲稿第813卷.施普林格，1994.
特鲁什琴斯基,米罗斯劳,维克多·W·。,马雷克、和拉斐尔A。,芬克尔.使用逻辑程序生成蜂窝困惑。在IC-AI公司，第403–407页，2006.
图,潘辉（Phan Huy）,Tran Cao公司,儿子,迈克尔,Gelfond公司、和A.里卡多,莫拉莱斯.行动理论的逼近及其在协调规划中的应用.人工智能,175(1):79–119,2011.
特纳,哈德逊.逻辑程序和缺省理论中的动作表示：一种情境演算方法.逻辑程序设计杂志,31（1-3）：245–298，6月1997.
乌尔曼,杰弗里·D·。数据库和知识库系统原理计算机科学出版社，1988.
维尼肯斯,乔斯特,马克,德内克、和莫里斯,布吕诺格.CP-Logic：因果概率事件语言及其与逻辑编程的关系.TPLP公司,9(3):245–308,2009.
怀特黑德,阿尔弗雷德·N。和贝特朗,拉塞尔.数学原理,三卷。剑桥大学出版社，1910年、1912年，1913.
伍尔德里奇,迈克尔.关于Rational Agent的推理麻省理工学院出版社，2000.
扎尼奥洛,卡洛数据密集型应用的基于逻辑的语言的设计和实现。在R。,科瓦尔斯基和英国。,鲍文，编辑，逻辑程序设计：第五届国际会议和研讨会论文集，第1666–1687页，1988.
朱,魏军一种新的P-log推理机算法。在2010年答题集编程和其他计算范式（ASPOCP）研讨会,2010.
朱,魏军.PLOG算法及其应用.德克萨斯理工大学工程学院计算机科学系博士论文，2012.
