马提亚斯·巴兹（编辑）；安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。2002年10月14日至18日在格鲁吉亚第比利斯举行的2002年LPAR第九届国际会议。诉讼程序。 （英语） Zbl 1007.00026号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：斯普林格。xiii，463页（2002年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。对第7次会议（LPAR2000）进行了审查（见Zbl 0952.00026号).索引文章：Alpunte，M。；埃斯科瓦尔，S。；Gramlich，B。；卢卡斯，S。，改进按需策略注释，1-18[Zbl 1023.03530号]Apt，K.R。；C.F.M.弗默伦。，作为约束编程语言的一阶逻辑，19-35[Zbl 1023.03018号]Serge Autexier；迪特尔·赫特，通过分层验证维护正式软件开发，36-52[Zbl 1023.03531号]阿诺德·贝克曼，关于弱隐式计算复杂性通用度量的注记，53-67[Zbl 1023.03033号]博利格，贝内迪克特；Martin Leucker；菲利普·卢卡斯，扩展组合消息序列图，68-85[Zbl 1023.68005号]詹姆斯·布罗瑟斯顿；阿纳托利·德吉亚列夫；Michael Fisher；阿列克谢·利西萨，使用时间分辨率搜索不变量，86-101[Zbl 1023.03019号]克劳迪奥·卡斯泰里尼；阿兰·斯梅尔，功能交互的验证计划：初步报告，102-114[Zbl 1023.03533号]迈赫迪·达斯塔尼；范德托雷、伦德特，BDI\（_{\text{CTL}}\）的扩展，具有功能依赖性和组件，115-129[Zbl 1023.68096号]Gilles Dowek；瑟雷塞·哈丁；克洛德·基什内尔，绑定逻辑：证明和模型，130-144[Zbl 1023.03023号]埃德尔坎普（Edelkamp）、斯特凡（Stefan）；彼得·莱文，有向自动化定理证明，145-159[Zbl 1023.68084号]范晓聪；Yen，John（约翰·严），分割BDI代理的框架，160-174[Zbl 1023.68098号]毛罗·法拉利；佛罗伦萨，卡米洛；吉多·菲奥里诺，关于一些中间逻辑中析取和显式可定义性质的复杂性，175-189[Zbl 1023.03056号]方丹，帕斯卡；E.Pascal格里博蒙特，将BDD与理论结合使用，190-201[Zbl 1023.03535号]法比奥·格兰迪，关于数量限制中角色组合的表达描述逻辑，202-215[Zbl 1023.03536号]吉安路易吉，格雷科；塞尔吉奥·格雷科；特鲁布西纳，伊琳娜；埃斯特·赞帕诺，通过绑定传播优化带约束的析取数据库查询，216-230[Zbl 1023.68549号]阿莱西奥·古列尔米；卢茨斯特拉汉堡，MELL的非交换扩展，231-246[Zbl 1023.03544号]杜珊·格勒，模糊析取程序的过程语义，247-261[Zbl 1023.03537号]奥纳·库普夫曼；尼尔·皮特曼；莫舍·瓦尔迪。，下推规格，262-277[Zbl 1023.68624号]特默尔库西亚，用序列变量和灵活的arity符号证明定理，278-291[Zbl 1023.03525号]McIver，A.K。；摩根，C。，游戏，概率，和定量演算，292-310[Zbl 1023.68064号]约阿希姆·尼伦；马图·维拉雷特，并行性和树正则约束，311-326[Zbl 1023.03538号]Preining，诺伯特，哥德尔逻辑和康托·本迪克森分析，327-336[Zbl 1023.03015号]朱利安·理查森，证明计划的语义及其在交互式证明计划中的应用，337-351[Zbl 1023.68659号]何塞·埃斯皮里托·桑托，序列演算片段和自然演绎扩展之间的同构，352-366[兹比尔1023.03053]西克曼，J。；Benzmüller，C。；菲德勒，A。；Meier，A。；Pollet，M。，用\（\Omega\）MEGA证明开发：\（\sqrt{2}\）是不合理的，367-387[Zbl 1023.68660号]卢茨斯特拉汉堡，线性逻辑本地系统，388-402[Zbl 1023.03058号]马丁·斯特雷克，与Isabelle研究类型认证编译，403-417[Zbl 1023.68521号]唐·赛姆；安德鲁·戈登。，通过决策程序和有指导的简化实现类型可靠性证明的自动化，418-434[兹比尔1023.68539]塞尔吉奥·特萨利斯；伊恩·霍洛克斯，表达描述逻辑中的Abox可满足性简化为术语推理，435-449[Zbl 1023.03541号]克劳迪奥·沃切雷特（Claudio Vaucheret）；塞尔吉奥·瓜达拉马；苏珊娜·穆尼奥斯，Fuzzy Prolog：使用CLP（\（\mathcal R\））的简单通用实现，450-463[Zbl 1023.68515号] 引用于2评论 MSC公司： 00B25型 杂项特定利益的会议记录 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 68-06 与计算机科学有关的会议记录、会议、收藏等 03B70号 计算机科学中的逻辑 68T27型 人工智能中的逻辑 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：编程；人工智能；推理；LPAR 2002年；第比利斯（格鲁吉亚）；逻辑 引文：Zbl 0952.00026号 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}（编辑）和\textit{A.Voronkov}（编），编程逻辑、人工智能和推理。第九届国际会议，2002年LPAR，格鲁吉亚第比利斯，2002年10月14-18日。诉讼程序。柏林：施普林格出版社（2002；Zbl 1007.00026） 全文： 内政部 链接