2002年第9届LPAR:格鲁吉亚第比利斯
马提亚斯·巴兹 , 安德烈·沃伦科夫 :
《程序设计、人工智能和推理逻辑》,第九届国际会议,2002年LPAR,格鲁吉亚第比利斯,2002年10月14-18日,会议记录。 计算机科学课堂讲稿 2514, 施普林格 2002 ,国际标准图书编号 3-540-00010-0 玛丽亚·阿尔普奈特 , 圣地亚哥·埃斯科瓦尔 , 伯恩哈德·格拉姆利希 , 萨尔瓦多·卢卡斯 :
改进随需应变战略注释。 1-18 Krzysztof R.Apt公司 , C.F.M.Vermeulen先生 :
作为约束编程语言的一阶逻辑。 19-35 谢尔盖·奥特谢尔 , 迪特尔·赫特 :
通过分层验证维护正式软件开发。 36-52 阿诺德·贝克曼 :
关于弱隐式计算复杂性通用度量的注记。 53-67 Benedikt博利格 , 马丁·勒克 , 菲利普·卢卡斯 :
扩展组合消息序列图。 68-85 詹姆斯·布罗瑟斯顿 , 安纳托利·德吉亚列夫 , 迈克尔·菲希尔 , 阿列克谢·利西萨 :
使用时间分辨率搜索不变量。 86-101 克劳迪奥·卡斯泰里尼 , 阿兰·斯梅尔 :
功能交互的验证规划:初步报告。 102-114 迈赫迪·达斯塔尼 , Leendert W.N.van der Torre(林德特·范德托雷) :
BDI的扩展 CTL公司 具有功能依赖项和组件。 115-129 吉尔斯·道克 , 泰瑞斯·哈丁 , 克洛德·基什内尔 :
绑定逻辑:证明和模型。 130-144 斯特凡·埃德尔坎普 , 彼得·列文 :
有向自动定理证明。 145-159 范晓聪 , 甄子丹(John Yen) :
分割BDI代理的框架。 160-174 马洛·法拉利 , 卡米洛·佛罗伦萨 , 吉多·菲奥里诺 :
关于一些中间逻辑中析取的复杂性和显式可定义性。 175-189 帕斯卡尔·方丹 , E.帕斯卡·格里博蒙特 :
结合理论使用BDD。 190-201 法比奥·格兰迪 :
关于数字限制中角色组合的表达描述逻辑。 202-215 吉安路易吉·格雷科 , 塞尔吉奥·格雷科 , 伊琳娜·特鲁比西纳 , 埃斯特·祖帕诺 :
基于绑定传播的带约束析取数据库查询优化。 216-230 阿莱西奥·古列尔米 , Lutz Stra汉堡 :
MELL的非交换扩展。 231-246 杜珊·格勒 :
模糊析取程序的过程语义。 247-261 奥尔娜·库普夫曼 , 尼尔·皮特曼 , 莫舍·瓦尔迪 :
下推规范。 262-277 Temur Kutsia公司 :
用序列变量和灵活的Arity符号证明定理。 278-291 安娜贝拉·麦克维尔 , 卡罗尔·摩根 :
游戏、概率和定量µ-微积分qMµ。 292-310 约阿希姆·尼伦 , 马图·维拉雷特 :
并行性和树规则约束。 311-326 诺伯特·普赖宁 :
哥德尔逻辑和坎托·本迪克森分析。 327-336 朱利安·理查森 :
证明计划的语义及其在交互式证明计划中的应用。 337-351 何塞·埃斯皮里托·桑托 :
序贯演算片段与自然演绎扩展之间的同构。 352-366 约格·希克曼 , 克里斯托夫·本兹穆勒 , 阿明·菲德勒 , 安德烈亚斯·梅耶 , 马丁·波莱特 :
Omega-MEGA验证开发:sqrt(2)是不合理的。 367-387 Lutz Stra汉堡 :
线性逻辑的局部系统。 388-402 马丁·斯特雷克 :
与Isabelle一起调查类型验证编译。 403-417 唐·赛姆 , 安德鲁·戈登 :
通过决策程序和有指导的简化实现类型稳健性证明的自动化。 418-434 塞尔吉奥·特萨利斯 , 伊恩·霍洛克斯 :
表达描述逻辑中的Abox可满足性归结为术语推理。 435-449 克劳迪奥·沃切雷特 , 塞尔吉奥·瓜达拉马 , 苏珊娜·穆尼奥斯·亨德斯 :
Fuzzy Prolog:使用CLP(R)的简单通用实现。 450-464
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)