摘要
Aczel,P.1977年。 归纳定义简介。 《数学逻辑手册》,J.Barwise,Ed.North-Holland Publishing Company,荷兰阿姆斯特丹,739-782。 谷歌学者 Apt,K.、Blair,H.和Walker,A.1988年。 走向陈述性知识理论。 在演绎数据库和逻辑编程的Simposium基础会议录中,J.Minker,Ed.Morgan Kaufmann,San Francisco,CA.89-148。 谷歌学者 数字图书馆 Baader,F.、Calvanee,D.、McGuinness,D.、Nardi,D.和Patel-Schneider,P.,2002年版。 描述逻辑手册。 理论、实施和应用。 剑桥大学出版社,马萨诸塞州剑桥。 谷歌学者 数字图书馆 Brachman,R.J.和Levesque,H.J.1982年。 知识表达能力。 在全国人工智能会议(AAAI'82)上。 189--192. 谷歌学者 Buchholz,W.、Feferman,S.和Sieg,W.P.W.,1981年。 迭代归纳定义和分析子系统:最近的理论验证研究。 数学课堂讲稿,第897卷。 Springer Verlag,纽约。 谷歌学者 克拉克,K.L.1978年。 否定为失败。 《逻辑与数据库》,H.Gallaire和J.Minker著,Plenum出版社编辑,纽约,293-322。 谷歌学者 康普顿,K.1993。 存在最小不动点逻辑的演绎系统。 J.逻辑计算。 3, 2, 197--213. 谷歌学者 交叉引用 Denecker,M.1998年。 有根据的语义是归纳定义的原则。 《人工智能中的逻辑过程》(JELIA’98),J.Dix、L.Fariñas del Cerro和U.Furbach编辑,《人工智能讲义》,第1489卷。 Springer-Verlag,纽约,1-16。 谷歌学者 数字图书馆 Denecker,M.2000年。 用归纳定义扩展经典逻辑。 在《第一届国际计算逻辑会议论文集》(CL'2000)中,J.Lloyd等人,《人工智能讲义》,第1861卷。 施普林格-弗拉格,纽约,703--717。 谷歌学者 数字图书馆 Denecker,M.,2004年。 模型中的内容? 逻辑程序设计的认识论分析。 在第九届知识表示和推理原则国际会议(KR'04)上。 106--113. URL地址= http://www.cs.kuleuven.ac.be/cgibin-dtai/publ_info.pl?id=41086。 谷歌学者 数字图书馆 Denecker,M.、Bruynooghe,M.和Marek,V.,2001年。 重温逻辑编程:作为归纳定义的逻辑程序。 ACM事务处理。 计算。 逻辑2,4(10月),623--654。 谷歌学者 数字图书馆 Denecker,M.、Marek,V.和Truszczynski,M.,2000年。 逼近算子、稳定算子、基础良好的不动点以及在非单调推理中的应用。 《基于逻辑的人工智能》,J.Minker,Ed.Kluwer学术出版社,第6章,127-144。 谷歌学者 数字图书馆 Denecker,M.和Ternovska,E.2004a。 归纳情境微积分。 第九届知识表示与推理原则国际会议论文集(KR'04)。 545--553. 谷歌学者 Denecker,M.和Ternovska,E.2004b。 非单调归纳定义的逻辑及其模块性属性。 在第七届逻辑程序设计和非单调推理国际会议(LPNMR’7)的会议记录中,V.Lifschitz和I.Niemelä,Eds。 谷歌学者 Denecker,M.和Ternovska,E.,2007年。 归纳情境演算。 Artif公司。 智力。 谷歌学者 数字图书馆 Denecker,M.、Theseider Dupré,D.和Van Belleghem,K.,1998年。 对分支的归纳定义方法。 Linköping Computer and Information Science电子文章3,7,1--43。 网址: http://www.ep.liu.se/ea/cis/1998/007/。 谷歌学者 Ebbinghaus,H.和Flum,J.,1999年。 《有限模型理论》,第二版,施普林格出版社,纽约。 谷歌学者 Feferman,S.1970。 广义归纳定义和一些分析子系统的超限迭代的形式化理论。 在直觉主义和证明理论中,A.Kino、J.Myhill和R.Vesley,Eds.North Holland,Amsterdam,The Netherlands,303-326。 谷歌学者 Fitting,M.1985。 逻辑程序的Kripke-Kleene语义。 J.逻辑程序。 2, 4, 295--312. 谷歌学者 交叉引用 配件,M.2002。 逻辑编程的定点语义——综述。 理论。 计算。 科学。 278, 25--51. 谷歌学者 数字图书馆 Gelfond,M.和Lifschitz,V.1988年。 逻辑编程的稳定模型语义。 《逻辑程序设计国际联合会议和研讨会论文集》(JICSLP’88)。 麻省理工学院出版社,马萨诸塞州剑桥,1070--1080。 谷歌学者 Graedel,E.和Kreutzer,S.2003。 通货紧缩会导致耗竭吗; 关于非单调不动点归纳。 IEEE计算机科学逻辑研讨会(LICS’03)。 158 谷歌学者 数字图书馆 Gurevich,Y.和Shelah,S.,1986年。 一阶逻辑的定点扩展。 Ann.纯粹应用。 逻辑32,265--280。 谷歌学者 交叉引用 Immerman,N.1986年。 可在多项式时间内计算的关系查询。 信息。 续68,86-104。 谷歌学者 数字图书馆 Kakas,A.C.,Van Nuffelen,B.和Denecker,M.,2001年。 A系统:通过诱拐解决问题。 《第17届国际人工智能联合会议论文集》(IJCAI'01),B.Nebel,Ed.Vol.1。 Morgan Kaufmann,加利福尼亚州旧金山,公司,591-596。 谷歌学者 数字图书馆 Kreisel,G.1963年。 广义归纳定义。 技术代表,斯坦福大学分析基础报告第三节。 谷歌学者 Lifschitz,V.1994年。 分界。 在《人工智能和逻辑编程逻辑手册》中。 第3卷。 牛津大学出版社,英国牛津,298-352。 谷歌学者 Lifschitz,V.和Turner,H.,1994年。 分割逻辑程序。 在《国际逻辑编程会议记录》(ICLP’94)中。 23--37. 谷歌学者 数字图书馆 Livchak,A.1983年。 过程控制的关系模型。 自动化。 文件。 数学。 凌。 4, 27--29. 谷歌学者 Marek,V.W.和Truszczynski,M.,1999年。 稳定模型和替代逻辑编程范式。 《逻辑编程范式:25年展望》,K.Apt、V.Marek、M.Truszczynski和D.Warren,Eds.Springer-Verlag,纽约,375-398。 谷歌学者 Marek,W.1989年。 自认知逻辑中的稳定理论。 基金。 信息12、2、243--254。 谷歌学者 Mariön,M.、Wittocx,J.和Denecker,M.,2006年。 用于解决陈述性问题的IDP框架。 搜索与逻辑:答案集编程与SAT.19-34。 URL= http://www.cs.kuleuven.ac.be/cgi-bin-dtai/publ_info.pl?id=42379。 谷歌学者 Martin-Löf,P.1971。 Hauptsatz用于迭代归纳定义的直觉主义理论。 第二届斯堪的纳维亚逻辑研讨会论文集,J.Fenstad,Ed.179-216。 谷歌学者 交叉引用 Mitchell,D.和Ternovska,E.,2005年。 表示和解决np搜索问题的框架。 AAAI'05会议记录。 AAAI出版社/麻省理工学院出版社,马萨诸塞州剑桥,430-435。 谷歌学者 数字图书馆 摩尔,R.1983。 非单调逻辑的语义思考。 《国际人工智能联合会议论文集》(IJCAI'83)。 272--279. 谷歌学者 Moschovakis,Y.N.1974年。 抽象结构的初级归纳法。 诺思霍兰德出版公司,约克州阿姆斯特丹纽。 谷歌学者 数字图书馆 Moschovakis,Y.N.1974b。 关于非单调归纳可定义性。 基金。 数学。 82, 39-83. 谷歌学者 交叉引用 Niemelä,I.,1999年。 具有稳定模型语义的逻辑程序作为约束编程范式。 安。数学。 Artif公司。 智力。 25、3、4、241至273。 谷歌学者 数字图书馆 Pelov,N.和Ternovska,E.,2005年。 将归纳定义简化为命题可满足性。 《逻辑程序设计国际会议论文集》(ICLP’05)。 221--234. 谷歌学者 数字图书馆 Pohlers,W.1989年。 证明理论:导论。 斯普林格·弗拉格。 谷歌学者 交叉引用 波斯特,E.1943。 一般组合决策问题的形式化约简。 阿默尔。 数学杂志。 65, 197--215. 谷歌学者 交叉引用 Rao,P.、Ramskrishnan,I.、Sagonas,K.、Swift,T.、Warren,D.和Freire,J.1997年。 XSB:有效计算基础良好语义的系统。 《逻辑程序设计和非单调推理国际会议论文集》(LPNMR’97)。 计算机科学讲义,1265。 纽约斯普林格·弗拉格,430-440。 谷歌学者 数字图书馆 Reiter,R.1978年。 基于封闭的世界数据库。 《逻辑与数据库》,H.Gallaire和J.Minker主编,Plenum出版社,纽约,55-76页。 谷歌学者 Reiter,R.1980年。 一级数据库中的相等和域闭合。 美国临床医学杂志27,235--249。 谷歌学者 数字图书馆 Schlipf,J.1995a。 复杂性和不确定性导致逻辑编程。 安。数学。 Artif公司。 智力。 15, 257--288. 谷歌学者 交叉引用 Schlipf,J.1995年b。 逻辑编程语义的表达能力。 J.计算。 系统。 科学。 51, 64--86. 谷歌学者 数字图书馆 Spector,C.1961年。 归纳定义的自然数集。 《无限论方法》(1959年华沙数学基础研讨会论文集)。 英国牛津佩加蒙出版社,97-102。 谷歌学者 塔斯基,A.1955。 格理论不动点定理及其应用。 帕西夫。 数学杂志。 5, 285--309. 谷歌学者 交叉引用 Ternovskaia,E.,1998年a。 通过归纳定义得出因果关系。 在“因果关系常识理论的前景”的工作笔记中,AAAI春季研讨会系列,3月23-28日。 谷歌学者 Ternovskaia,E.1998年b。 归纳可定义性和情境演算。 逻辑数据库中的事务和更改。 计算机科学讲义,第1472卷。 Springer Verlag,纽约。 谷歌学者 数字图书馆 Van Gelder,A.1993年。 带有否定的逻辑程序的交替不动点。 J.计算。 系统。 科学。 47, 1, 185--221. 谷歌学者 数字图书馆 Van Gelder,A.、Ross,K.A.和Schlipf,J.S.,1991年。 通用逻辑程序的基础良好的语义。 美国临床医学杂志38,3,620--650。 谷歌学者 数字图书馆 Vardi,M.,1982年。 关系查询语言的复杂性。 第14届ACM计算机理论研讨会论文集。 美国医学会,纽约,137-146。 谷歌学者 数字图书馆 Vennekens,J.、Gilis,D.和Denecker,M.,2005年。 拆分操作符:代数模块化是带有不动点语义的逻辑的结果。 ACM事务处理。 计算。 逻辑。 URL= http://www.cs.kuleuven.ac.be/cgi-bin-dtai/publ_info.pl?id=41545。 谷歌学者 数字图书馆 Verbaeten,S.、Denecker,M.和De Schreye,D.,2000年。 正常开放逻辑程序的组成。 J.逻辑程序。 第41页、第3页(3月)、第151页至第183页。 谷歌学者 You,J.-H.,Wang,X.,Yuan,L.Y.,1999年。 将不可行继承网络编译为通用逻辑程序。 Artif公司。 智力。 113、1-2(9月)、247--268。 谷歌学者 数字图书馆
建议
从答案集逻辑编程到GK逻辑限定 我们首先将皮尔斯的平衡逻辑和费拉里斯的命题一般逻辑程序嵌入到林和肖姆的GK逻辑中,这是一种非单调模态逻辑,已被证明在命题中包含了赖特的缺省逻辑这两种特殊情况。。。