×
顾依兰;米哈伊尔·苏琴斯基

基于描述逻辑的情境演算。 （英语） Zbl 1205.68405号

安。数学。Artif公司。智力。 58，第1-2、3-83号（2010年）.
摘要：我们考虑使用一阶逻辑的两个变量片段构建的情景演算的修改版本，该一阶逻辑扩展了计数量词。我们提到了几个额外的公理组，可以引入它们来捕获分类推理。我们表明，该框架中的回归操作符的定义类似于Reiter版本的情境演算中的回归。使用这种新的回归算子，我们表明，即使初始知识库不完整，投影和可执行性问题（情境演算中的重要推理任务）在修改后的版本中也是可判定的。我们还讨论了在这种修改语言中通过回归求解投影问题的复杂性。此外，我们定义了基于描述逻辑的改进情境演算子语言。它们基于描述逻辑\（\mathcal｛ALCO｝（U）\）（或\（\mathcal｛ALCQO｝（U）\）。我们表明，在这些子语言中，通过回归解决投影问题的计算复杂性比在一般的修改情境演算中要好。我们提到了语义Web服务形式化的可能应用程序，以及与基于描述逻辑的动作推理的一些联系。

引用于三文件

MSC公司：

68立方英尺 知识表示

关键词：

关于行动和变化的推理;语义web和web服务;情境演算;描述逻辑;带计数量词的二元逻辑

软件：

高尔夫
PDF格式BibTeX公司 XML格式引用
\textit{Y.Gu}和\textit{M.Soutchanski}，安.数学。Artif公司。智力。58，编号1--2，3--83（2010；Zbl 1205.68405）
全文： 内政部

参考文献：

[1] Artale，A.，Franconi，E.：描述逻辑的时间扩展调查。安。数学。Artif公司。智力。30(1–4), 171–210 (2001) ·兹伯利0998.03013 ·doi:10.1023/A:1016636131405
[2] Baader，F.，Lutz，C.，Miliĉić，M.，Sattler，U.，Wolter，F.：基于描述逻辑的web服务推理方法。收录：WWW 2005 Web服务语义研讨会论文集（WSS2005）。日本千叶市（2005）
[3] Baader，F.，Lutz，C.，Miliĉić，M.，Sattler，U.，Wolter，F.：整合描述逻辑和动作形式：第一个结果。摘自：《第二十届全国人工智能会议记录》（AAAI-05），第572-577页。匹兹堡，宾夕法尼亚州，美国（2005年）
[4] Baader，F.，Miličić，M.，Lutz，C.，Sattler，U.，Wolter，F.：集成描述逻辑和动作形式来推理web服务。技术报告LTCS-05-02，德国德累斯顿理工大学理论计算机科学研究所自动化理论主席（2005年）。可在http://lat.inf.tu-dresden.de/research/reports.html
[5] Baader，F.，Calvanee，D.，McGuinness，D.，Nardi，D.，Patel-Schneider，P.F.（编辑）：《描述逻辑手册：理论、实现和应用》，第二版。剑桥大学出版社，剑桥（2007）·兹比尔1132.68055
[6] Bacchus，F.、Halpern，J.、Levesque，H.：情境演算中关于噪声传感器和效应器的推理。Artif公司。智力。111, 171–208 (1999) ·Zbl 0996.68192号 ·doi:10.1016/S0004-3702（99）00031-4
[7] van Benthem，J.：模态对应理论。阿姆斯特丹大学数学研究所和Grondslagenderzoek研究所博士论文（另见van Benthem，J.：对应理论）。收录：Gabbay，D.M.Guenthner，F.（编辑）《哲学逻辑手册》，第二版。，第3卷，第325-408页。Kluwer Academic，诺威尔，1976年）
[8] van Benthem，J.：模态逻辑和经典逻辑。那不勒斯图书馆（1985）·Zbl 0639.03014号
[9] Berardi，D.，Calvanee，D.，de Giacomo，G.，Lenzerini，M.，Mecella，M.：基于描述逻辑推理的电子服务组合。收录：Calvanee，D.，de Giacomo，G.，Franconi，E.（编辑）《2003年描述逻辑国际研讨会论文集》（DL-2003）。意大利罗马（2003）
[10] Blackburn，P.，van Benthem，J.：模态逻辑：语义视角。摘自：Blackburn，P.，van Benthem，J.，Wolter，F.（编辑）《模态逻辑手册》，第1-84页。Elsevier，阿姆斯特丹（2007）
[11] Börger，E.，Grädel，E.，Gurevich，Y.：经典决策问题。《数理逻辑透视》，施普林格出版社，ISBN 3-540-42324-9，第二版，2001年（1997年）·Zbl 0865.03004号
[12] Borgida，A.：关于描述逻辑和谓词逻辑的相对表达性。Artif公司。智力。82(1–2), 353–367 (1996) ·doi:10.1016/0004-3702（96）00004-5
[13] Boutiler，C.，Reiter，R.，Soutchanski，M.，Thrun，S.：情境演算中的决策理论，高级机器人编程。摘自：《第17届全国人工智能会议论文集》（AAAI'00），第355-362页。德克萨斯州奥斯汀（2000）
[14] Calvanese，D.，Franconi，E.，Haarslev，V.，Lembo，D.，Motik，B.，Turhan，A.Y.，Tessaris，S.（编辑）：2007年描述逻辑国际研讨会论文集（DL2007），Brixen Bressanone，Bozen Bolzano附近，意大利，2007年6月8-10日，CEUR研讨会论文集，第250卷（2007）。http://ceur-ws.org/Vol-250/
[15] Calvanee，D.，de Giacomo，G.，Lenzerini，M.，Rosati，R.：描述逻辑本体论上的动作和程序。于：[14]（2007）·Zbl 1132.68725号
[16] Castilho，M.A.，Herzig，A.，Varzinczak，I.J.：这取决于上下文！基于三元依赖关系的行动和计划的可判定逻辑。摘自：第九届非单调推理国际研讨会论文集（NMR-02），第343–348页，法国图卢兹，2002年4月19–21日
[17] Chang，L.，Lin，F.，Shi，Z.：关于动作的表示和推理的动态描述逻辑。作者：Zhang，Z.，Siekmann，J.H.（编辑），知识科学、工程和管理，第二届国际会议，KSEM 2007。计算机科学讲义，第4798卷，第115-127页，澳大利亚墨尔本斯普林格，2007年11月28-30日
[18] Chang，L.，Shi，Z.，Qiu，L.、Lin，F.：动态描述逻辑：将动作纳入描述逻辑。于：[14]（2007）
[19] Demolombe，R.：信念变化：从情境演算到模态逻辑。J.应用。非类别。日志。13（2），187–198（2003年）·Zbl 1185.03012号 ·doi:10.3166/1月13日-187-198
[20] Demolombe，R.，Herzig，A.，Varzinczak，I.J.：模态逻辑中的回归。J.应用。非类别。日志。13(2), 165–185 (2003) ·Zbl 1185.03028号 ·doi:10.3166/1月13日-165-185
[21] Drescher，C.，Thielscher，M.：整合行动计算和描述逻辑。收录：Hertzberg，J.、Beetz，M.、Englert，R.（编辑）KI-2007。计算机科学课堂讲稿，第4667卷，第68-83页。柏林施普林格出版社（2007）
[22] Eiter，T.、Erdem，E.、Fink，M.、Senko，J.：更新动作域描述。收录于：Kaelbling，L.P.，Saffiotti，A.（编辑）《第19届国际人工智能联合会议论文集》（IJCAI-05），第418-423页。专业图书中心（2005）·Zbl 1225.68251号
[23] Finzi，A.，Pirri，F.，Reiter，R.：情境演算中的开放世界规划。摘自：《第17届全国人工智能会议记录》（AAAI-00），第754-760页。美国德克萨斯州奥斯汀（2000）
[24] Fischer，M.J.，Ladner，R.E.：正则程序的命题动态逻辑。J.计算。系统。科学。18(2), 194–211 (1979) ·Zbl 0408.03014号 ·doi:10.1016/0022-0000（79）90046-1
[25] Gabbay，D.：时态逻辑中的表达功能完备性。收录于：Mönnich，U.（编辑）《哲学逻辑方面：语言学和哲学中心概念的一些逻辑论坛》，“综合图书馆”，第147卷，第91-117页。雷德尔（1981）
[26] Gabbay，D.M.，Shehtman，V.B.：模态逻辑产品，第1部分。日志。J.IGPL 6（1），73–146（1998）·Zbl 0902.03008号 ·doi:10.1093/jigpal/6.1.73
[27] Gabbay，D.M.，Shehtman，V.B.：模态逻辑的产品。第二部分：古典逻辑中的相对化量词。日志。J.IGPL 8（2），165-210（2000）·Zbl 0970.03025号 ·doi:10.1093/jigpal/8.2.165
[28] Gabbay，D.M.，Shehtman，V.B.：模态逻辑的产品。第三部分：模态逻辑和时序逻辑的产物。螺柱日志。72(2), 157–183 (2002) ·Zbl 1014.03023号 ·doi:10.1023/A:1021304426509
[29] de Giacomo，G.，Lenzerini，M.：基于PDL的行动推理框架。收录于：Gori，M.，Soda，G.（编辑）《计算机科学讲义》，第992卷，第103–114页。AIIA，施普林格，柏林（1995）
[30] de Giacomo，G.，Iocchi，L.，Nardi，D.，Rosati，R.：认知移动机器人的理论和实现。J.日志。计算。9(5), 759–785 (1999) ·Zbl 0979.68575号 ·doi:10.1093/log.com/9.5.759
[31] de Giacomo，G.，Lenzerini，M.，Poggi，A.，Posati，R.：关于实例级描述逻辑本体的更新。摘自：《第21届全国人工智能会议记录和第十八届人工智能创新应用会议》（AAAI-06），第1271–1276页。美国波士顿AAAI出版社（2006）
[32] Gil，Y.：描述逻辑和规划。AI Mag.26（2），73-84（2005）
[33] Grädel，E.，Kolaitis，P.G.，Vardi，M.Y.：关于二变量一阶逻辑的决策问题。牛。符号。日志。3(1), 53–69 (1997) ·Zbl 0873.03009号 ·doi:10.2307/421196
[34] Grädel，E.，Otto，M.，Rosen，E.：带计数的双变量逻辑是可判定的。摘自：第十二届IEEE计算机科学逻辑研讨会论文集（LICS’97），第306–317页。波兰华沙（1997）
[35] Grüninger，M.：过程规范语言的本体。在：Staab，S.，Studer，R.（编辑）本体论手册，第575–592页。施普林格，柏林（2004）
[36] Grüninger，M.，Menzel，C.：过程规范语言（PSL）：理论与应用。AI Mag.24（3），63-74（2003）
[37] Gu，Y.，Soutchanski，M.：修正情境演算中的可判定推理。摘自：《第二十届国际人工智能联合会议记录》（IJCAI-07），第1891-1897页。印度海得拉巴（2007年）。网址：http://www.cs.ryerson.ca/\（\sim\）mes/publications/DecitableSitcalc_ijcai07.pdf
[38] Harel，D.，Kozen，D.，Tiuryn，J.：动态逻辑。麻省理工学院，剑桥（2000）
[39] Hemaspandra，E.：普遍性的代价。圣母院J.Form.Log。37(2), 174–203 (1996) ·Zbl 0865.03032号 ·doi:10.1305/ndjfl/1040046086
[40] 亨金：只包含有限个符号的逻辑系统。蒙特勒大学数学系技术代表（1967年）
[41] Herzig，A.，Varzinczak，I.J.：行动的元理论：超越一致性。Artif公司。智力。171(16–17), 951–984 (2007) ·Zbl 1168.68567号 ·doi:10.1016/j.artint.2007.04.013
[42] Herzig，A.，Perrussel，L.，Varzinczak，I.J.：细化领域描述。摘自：Brewka，G.（编辑）第17届欧洲人工智能会议（ECAI-06）。《人工智能与应用前沿》，第141卷，第397–401页，IOS出版社，意大利Riva del Garda，2006年8月29日至9月1日
[43] Horrocks，I.，Sattler，U.：SHOQ（D）描述逻辑中的本体推理。摘自：《第17届国际人工智能联合会议记录》（IJCAI 2001），第199-204页。Morgan Kaufmann，旧金山（2001）
[44] Horrocks，I.，Patel-Schneider，P.，van Harmelen，F.：从SHIQ和RDF到OWL：网络本体语言的构建。J.Web Semant公司。1(1), 7–26 (2003)
[45] Horrocks，I.，Kutz，O.，Sattler，U.：更不可抗拒的SROIQ。收录于：Doherty，P.、Mylopoulos，J.、Welty，C.A.（编辑）《第十届知识表示与推理原则国际会议论文集》（KR-06），第57-67页。AAAI，门罗公园（2006）
[46] Hustadt，U.，de Nivelle，H.，Schmidt，R.A.：模态逻辑的基于分辨率的方法。日志。J.IGPL 8（3），265–292（2000）·Zbl 0947.03014号 ·doi:10.1093/jigpal/8.3.265
[47] Hustadt，U.，Schmidt，R.A.，Georgieva，L.：可判定一阶碎片和描述逻辑的调查。J.相关。方法计算。科学。1, 251–276 (2004)
[48] Kakas，A.C.，Michael，L.，Miller，R.：模块化——（mathcal{E}）：衍生和限定问题的细化容忍方法。收录于：Baral，C.、Greco，G.、Leone，N.、Terracina G.（编辑）《第八届逻辑编程和非单调推理国际会议论文集》（LPNMR-05），斯普林格。计算机科学讲义，第3662卷，第211-226页，意大利迪亚曼特，2005年9月5-8日·Zbl 1152.68607号
[49] Kemke，C.：在术语知识库中描述行为概念的形式化理论。In:Xiang Y.，Chaib-draa，B.（编辑）《人工智能进展：加拿大智能计算研究学会第十六届会议》。《计算机科学讲义》，第2671卷，第458-465页，2003年6月11日至13日，哈利法克斯斯普林格（2003年）
[50] Kurucz，A.：结合模态逻辑。摘自：Blackburn，P.，van Benthem，J.，Wolter，F.（编辑）《模态逻辑手册》，第869-924页。Elsevier，阿姆斯特丹（2007）
[51] Levesque，H.、Reiter，R.、Lespérance，Y.、Lin，F.、Scherl，R.：GOLOG：动态域的逻辑编程语言。J.日志。程序。31, 59–84 (1997) ·Zbl 0880.68008号 ·doi:10.1016/S0743-1066（96）00121-5
[52] Lin，F.：发现状态不变量。摘自：Dubois，D.，Welty，C.A.，Williams，M.A.（编辑），第536-544页。KR、AAAI、Menlo Park（2004）
[53] Lin，F.：情境演算。摘自：van Harmelen，F.，Lifschitz，V.，Porter，B.（编辑）《知识表示手册》，第649-669页。爱思唯尔，阿姆斯特丹（2008）
[54] Lin，F.，Reiter，R.：重新审视州约束。J.日志。计算。4(5), 655–678 (1994) ·Zbl 0815.68096号 ·doi:10.1093/logcom/4.5.655
[55] Lin，F.，Reiter，R.：如何推进数据库。Artif公司。智力。92, 131–167 (1997) ·Zbl 1017.68510号 ·doi:10.1016/S0004-3702（96）00044-6
[56] Liu，H.，Lutz，C.，Milić，M.，Wolter，F.：使用描述逻辑和通用TBox推理动作。摘自：Fisher，M.，van der，Hoek，W.，Konev，B.，Lisitsa，A.（编辑）《人工智能中的逻辑》，第十届欧洲会议。计算机科学课堂讲稿，第4160卷，第266-279页。JELIA，Springer，柏林（2006）·Zbl 1152.68609号
[57] Liu，H.，Lutz，C.，Milić，M.，Wolter，F.：更新描述逻辑ABoxes。收录于：Doherty，P.、Mylopoulos，J.、Welty，C.（编辑）《第十届知识表示与推理原则国际会议论文集》（KR-06），第46-56页。AAAI，门罗公园（2006）
[58] Liu，Y.，Lakemeyer，G.：关于局部效应作用及其以外的级数的一阶可定义性和可计算性。摘自：第二十届国际人工智能联合会议记录（IJCAI-09），第860-866页。美国帕萨迪纳（2009）
[59] Liu，Y.，Levesque，H.J.：具有上下文相关动作的动态系统中不完全一阶知识的可追踪推理。摘自：《第十九届国际人工智能联合会议记录》（IJCAI-05），第522-527页。苏格兰爱丁堡（2005年）
[60] Lutz，C.，Sattler，U.：布尔模态逻辑推理的复杂性。收录于：Wolter，F.、Wansing，H.、de Rijke，M.、Zakharyaschev，M.（编辑）《模态逻辑进展》，第3卷，第329-348页。《世界科学》，新加坡（2000年）·Zbl 1031.03037号
[61] Lutz，C，Sattler，U.，Wolter，F.：描述逻辑和双变量片段。收录于：McGuiness，D.、Pater-Schneider，P.、Goble，C.、Möller，R.（编辑）《2001年描述逻辑国际研讨会论文集》（DL-2001），第66-75页。斯坦福，加利福尼亚州，美国（2001年）·兹比尔0999.03020
[62] McCain，N.，Turner，H.：一个关于分支和限定的因果理论。摘自：《第十四届国际人工智能联合会议记录》（IJCAI-95），第1978-1984页，1995年8月20日至25日，加拿大魁北克省蒙特利尔市（1995）
[63] McCarthy，J.：具有常识的程序。在：思维过程的机械化，国家物理实验室研讨会论文集，女王陛下文具办公室。重印于[66]，第77-84页。英国伦敦（1959年）
[64] McCarthy，J.：情境、行为和因果律。斯坦福大学计算机科学系备忘录2，重印于：“语义信息处理”（M.Minsky编辑），第410-417页。麻省理工学院，剑桥（1963）
[65] McCarthy，J.：限制在常识形式化中的应用。Artif公司。智力。28, 89–116 (1986) ·doi:10.1016/0004-3702（86）90032-9
[66] McCarthy，J.：常识的形式化。Ablex，Norwood（John McCarthy的论文，V.Lifschitz编辑，1990年）
[67] McCarthy，J.：情境演算中的动作和其他事件。参见：第八届知识表示和推理原则国际会议（KR2002），第615-628页。Morgan Kaufmann Publishers，图卢兹（2002）。可在http://www-formal.stanford.edu/jmc/sitcalc.html
[68] McCarthy，J.，Hayes，P.：从人工智能的角度来看的一些哲学问题。收录：Meltzer，B.，Michie，D.（编辑）《机器智能》，第4卷，第463-502页。爱丁堡大学出版社，爱丁堡，转载于[66]（1969）·Zbl 0226.68044号
[69] McIlraith，S.，Son，T.：调整Golog以组合语义web服务。收录于：Fensel，D.，Giunchiglia，F.，McGuinness，D.，Williams，M.A.（编辑）《第八届知识表示与推理国际会议论文集》（KR2002），第482-493页，Morgan Kaufmann，图卢兹，2002年4月22日至25日
[70] McIlraith，S.A.：整合行动和状态约束：衍生问题的封闭解决方案（有时）。Artif公司。智力。116(1–2), 87–121 (2000) ·Zbl 0939.68840号 ·doi:10.1016/S0004-3702（99）00087-9
[71] Milić，M.：基于描述逻辑的行动计划形式的复杂性。收录：Dershowitz，N.、Voronkov，A.（编辑）《第14届编程人工智能和推理逻辑国际会议论文集》（LPAR 2007）。计算机科学课堂讲稿，第4790卷，第408-422页。柏林施普林格出版社（2007）·兹比尔1137.68594
[72] Morgenstern，L.，Riecken，D.：SNAP：电子商务推理的基于操作的本体。收录于：《正式本体论与产业会面》，《2005年第一届FOMI国际研讨会论文集》。意大利维罗纳（2005）
[73] Narayanan，S.和McIlraith S.：web服务的分析和模拟。计算。网络42、675–693（2003）·Zbl 1059.68517号 ·doi:10.1016/S1389-1286（03）00228-7
[74] de Nivelle，H.，Pratt Hartmann，I.：具有等式的双变量片段的基于分辨率的决策过程。收录于：R Goré，A.L.，Nipkow，T.（编辑）《IJCAR’01：第一届国际自动推理联合会议论文集》。《人工智能课堂讲稿》，第2083卷，第211-225页。施普林格，伦敦（2001）·Zbl 0988.03023号
[75] Ohlbach，H.J.，Nonnengart，A.，de Rijke，M.，Gabbay，D.M.：在经典逻辑中编码二值非经典逻辑。摘自：《自动推理手册》，第1403-1486页。Elsevier，阿姆斯特丹（2001）·Zbl 0992.03019号
[76] Pacholski，L.，Szwast，W.，Tendra，L.：带计数的二元逻辑的复杂性。摘自：第十二届IEEE计算机科学逻辑研讨会论文集（LICS-97），第318-327页。期刊版本：SIAM J.Compute。29(4), 1083–1117 (1999). 波兰华沙（1997）·Zbl 0956.03039号
[77] Pacholski，L.，Szwast，W.，Tendra，L.：带计数的一阶二元逻辑的复杂性结果。SIAM J.计算。29（4），1083-1117（2000年）·Zbl 0956.03039号 ·doi:10.1137/S0097539797923005
[78] Pirri，F.，Reiter，R.：对情境演算元理论的一些贡献。J.ACM 46（3），325–364（1999）·Zbl 1065.68627号 ·doi:10.1145/316542.316545
[79] Pratt，V.R.：命题动态逻辑的实用决策方法：初步报告。摘自：第十届ACM计算机理论研讨会论文集，第326–337页。ACM，圣地亚哥（1978）·Zbl 1283.03066号
[80] Pratt-Hartmann，I.：带有计数量词的两变量片段的复杂性。《逻辑杂志》，《语言信息》14（3），369–395（2005）。doi:10.1007/s10849-005-5791-1·Zbl 1082.03007号 ·doi:10.1007/s10849-005-5791-1
[81] Prendinger，H.，Schurz，G.：关于行动和变化的推理：动态逻辑方法。《逻辑杂志》，语言信息5（2），209-245（1996）·兹比尔0864.03019 ·doi:10.1007/BF00173701
[82] Reiter，R.：《行动中的知识：描述和实现动态系统的逻辑基础》。麻省理工学院，剑桥（2001）·Zbl 1018.03022号
[83] Sandewall，E.：特征与流派：动力系统知识的表征。牛津大学出版社，牛津（1994）·Zbl 0842.68077号
[84] Schaerf，A.：用概念语言与个人进行推理。数据知识。工程13（2），141-176（1994）·doi:10.1016/0169-023X（94）90002-7
[85] Schiffel，S.，Thielscher M.：调和情境演算和流畅演算。在：第21届全国人工智能大会（AAAI-2006），第287–292页。AAAI，波士顿（2006）
[86] Schild，K.：术语逻辑的对应理论：初步报告。摘自：《第十二届国际人工智能联合会议记录》（IJCAI-91），第466-471页。Morgan Kaufmann，悉尼（1991）·Zbl 0742.68059号
[87] Schmidt，R.A.，Tishkovsky，D.：用画面决定ALBO。于：[14]（2007）
[88] Schmidt，R.A.，Tishkovsky，D.：决定描述逻辑、模态逻辑和相关一阶片段的一般表格方法。收录：Armando，A.、Baumgartner，P.、Dowek，G.（编辑）《自动推理》，第四届国际联合会议（IJCAR-08）。计算机科学课堂讲稿，第5195卷，第194-209页。2008年8月12日至15日，悉尼斯普林格·Zbl 1165.03319号
[89] Schmidt-Schaubß，M.，Smolka，G.：带有补语的归因概念描述。Artif公司。智力。48(1), 1–26 (1991) ·Zbl 0712.68095号 ·doi:10.1016/0004-3702（91）90078-X
[90] Shanahan，M.：解决框架问题：对常识惯性定律的数学研究。麻省理工学院，剑桥（1997）
[91] Spaan，E.：模态逻辑的复杂性。阿姆斯特丹大学数学与计算机科学系博士论文（1993年）·Zbl 0831.03005号
[92] Thielscher，M.：行动理论的挑战。计算机科学讲义，第1775卷。施普林格，柏林（2000）·Zbl 0953.0302号
[93] Tobies，S.：严格包含在C2中的NExpTime完整描述逻辑。收录：Flum，J，Rodríguez-Artalejo M（编辑）《计算机科学逻辑》，第十三届国际研讨会（CSL-99）。计算机科学课堂讲稿，第1683卷，第292-306页。柏林施普林格（1999）·Zbl 0944.03024号
[94] Tobies，S.：表达描述逻辑中具有基数限制和名词的推理的复杂性。J.人工制品。智力。2000年第12号决议（2000年）·Zbl 0941.03029号
[95] Tobies，S.：知识表示中逻辑的复杂性结果和实用算法。LuFG理论计算机科学博士论文，RWTH-阿肯，德国（2001）·Zbl 0992.03028号
[96] Varzinczak，I.J.：行动理论的收缩和最小变化。摘自：Brewka，G.，Lang，J.（编辑）《知识表示和推理原则：第十一届国际会议论文集》（KR-2008），第651-661页。AAAI，门罗公园（2008）
[97] Vassos，S.、Lakemeyer，G.、Levesque，H.J.：局部效应基本行动理论的一阶强进展。载：《第11届知识表示与推理原则国际会议论文集》（KR-08），第662–672页，2008年9月16日至19日，澳大利亚悉尼
[98] Winslett，M.S.：更新逻辑数据库。圣地亚哥学术出版社（1990年）·Zbl 0728.68053号
[99] Wolter，F.，Zakharyaschev，M.：动态描述逻辑。收录于：Zakharyaschev，M.、Segerberg，K.、de Rijke，M.和Wansing，H.（编辑）《模态逻辑进展》，第2卷，第431-446页。CSLI，斯坦福大学（1998）·Zbl 0993.03043号
[100] Zolin，E.：描述逻辑复杂性导航器（2007）。可在网址：http://www.cs.man.ac.uk/\（\sim\）ezolin/dl/
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。