2008年第15届LPAR:卡塔尔多哈
伊利亚诺·塞韦萨托 , 赫尔穆特·维思 , 安德烈·沃伦科夫 :
《编程逻辑、人工智能和推理》,第15届国际会议,LPAR 2008,卡塔尔多哈,2008年11月22日至27日。 诉讼程序。 计算机科学课堂讲稿 5330, 施普林格 2008 ,国际标准图书编号 978-3-540-89438-4
约束求解
若昂·马尔克斯·席尔瓦 , Inés Lync公司 , Vasco M.Manquinho公司 :
对称破缺以获得最大满意度。 1-15 罗伯特·阿斯因 , 罗伯特·尼文胡斯 , 阿尔伯特·奥利弗拉斯 , 恩里克·罗德里格斯-卡博内尔 :
SAT中不满足性证明和核心的高效生成。 16月30日 马蒂·贾维萨洛 , 汤米·A·琼蒂拉 , 伊尔卡·尼梅尔 :
基于调整的局部搜索和自适应噪声策略。 31-46 马克·贝泽姆 , 罗伯特·尼文胡斯 , 恩里克·罗德里格斯-卡博内尔 :
最大原子问题及其相关性。 47-61
知识表示1
莱因哈德·皮克勒 , 瓦迪姆·萨文科夫 :
数据交换中核心计算的实用可行性。 62-78 约格·恩德鲁利斯 , 克莱门斯·格拉布迈尔 , 迪米特里·亨德里克斯 :
数据流生产力。 79-96 列奥尼德·利布金 , 克里斯蒂娜·西兰杰罗 :
用时态逻辑和自动机推理XML。 97-112 文森特·阿尔芒 , 菲利普·达格 , 劳伦特·西蒙 :
基于分布式一致性的诊断。 113-127
理论证明1
Myrto Arapinis公司 , 圣埃芬妮·德劳恩 , 史蒂夫·克莱默 :
从一个会话到多个会话:安全协议的动态标记。 128-142 福里奥·霍塞尔 , 玛丽娜·莱尼萨 , 路易吉·利科里 , 伊凡·斯卡格内托 :
一个条件逻辑框架。 143-157 默多克·詹姆斯·加巴伊 , 马丁·霍夫曼 :
标称重命名集。 158-173 肖恩·麦克劳林 , 弗兰克·普芬宁 :
伊莫金:聚焦直觉命题逻辑的极化逆方法。 174-181
邀请的谈话
埃德蒙·克拉克 :
模型检查-我27年来克服州爆炸问题的探索。 182
自动化
本杰明·阿米诺夫 , 奥尔娜·库普夫曼 , 奥马尔·列夫 :
非确定性Büchi和co-Büchi-词自动机的相对简洁性。 183-197 安东尼·威贾贾(Anthony Widjaja To) , 列奥尼德·利布金 :
常规模型检查中的递归可达性分析。 198-213 克里斯蒂安·达克斯 , 费利克斯·克莱特克 :
通过补充消除替代(扩展摘要)。 214-229 托马斯·布拉兹迪尔 , 瓦克拉夫·布罗泽克 , 扬·霍勒塞克 , 安东·库塞拉 :
概率下推自动机的折扣性质。 230-242
线性算术
大卫·莫尼奥 :
线性实数算法的量词消除算法。 243-257 鲍姆加特内 , 亚历山大·富克斯 , 塞萨尔·蒂内利 :
(LIA)-具有线性整数算术约束的模型演化。 258-273年 菲利普·吕默 :
线性整数算法的一阶逻辑的约束序列演算。 274-289 汤米·A·琼蒂拉 , 乔里·杜布罗文 :
基于可满足性模理论的有界模型检查中的编码队列。 290-304
验证
玛格斯·维恩斯 , 安多·萨巴斯 :
关于具有集合理解的程序的有界可达性。 305-317 阿尼埃洛·穆拉诺 , 玛格丽塔·那不勒斯 , Mimmo父母 :
层次模块检查中的程序复杂性。 318-332 托马斯·汉津格 , Thibaud Hottelier酒店 , 劳拉·科瓦奇 :
Valigator:一种具有约束和不变生成的验证工具。 333-342 扎赫尔·安德劳斯 , 马克·利菲顿 , 卡伦·萨卡拉 :
揭示:Verilog设计的正式验证工具。 343-352
受邀会谈
知识表示2
伯特·格利姆 , 叶夫根尼·哈萨克夫 :
表达描述逻辑中的角色连接。 391-405 托尔·兰霍姆 :
具有优先顺序的默认逻辑:原理和特征。 406-420 迈克尔·J·马赫 , 葛黄 :
关于计算约束外推答案。 421-435 迈克尔·雅克 , 莱因哈德·皮克勒 , 斯特凡·吕梅尔 , 斯特凡·沃尔特兰 :
有界树宽的快速计数。 436-450
理论证明2
马提亚斯·巴兹 , 阿加塔·恰巴托尼 , 克里斯蒂安·弗缪勒(Christian G.Fermüller) :
超子句分解一阶哥德尔逻辑的割消。 451-466 考斯特夫·乔杜里 :
合成连词序列演算中的聚焦策略。 467-481 凯·布伦勒 , 理查德·麦金利 :
深度推理系统的算法解释。 482至496 安德烈亚斯·阿贝尔 :
系统F的弱β-θ归一化和求值归一化。 497-511年
量化约束
马尔科·萨默 :
量化CSP的变量相关性。 512-527 卢卡·普利纳 , 阿曼多·塔切拉 :
树宽:量化布尔逻辑编码中经验硬度的有用标记。 528-542 维托尔德·查拉托尼克 , 米查尔·罗纳 :
正时间模板上的可追踪量化约束满足问题。 543-557 彼得·哈贝梅尔 , 半径Iosif , 托马斯·沃伊纳 :
单索引数组的逻辑。 558-573
模态和时序逻辑
罗曼·孔查科夫 , 伊恩·普拉特·哈特曼 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
连通约束下空间逻辑的计算复杂性。 574-589 大卫·布雷索林 , 达里奥·德拉·莫妮卡 , 瓦伦丁·戈兰科 , 安吉洛·蒙塔纳里 , Guido Sciavicco公司 :
Halpern和Shoham的区间时间逻辑的可决定和不可决定片段:走向一个完整的分类。 590-604 瓦利德·贝尔基尔 , 路易吉·桑托卡纳莱 :
格µ-微积分的变量层次结构。 605-620 乌尔里希·舍普 :
无向图可达性的形式化下界。 621-635
正在重写
Beatriz Alarcón , 费边·艾姆斯 , 卡斯滕·福斯 , 吉尔根·吉斯尔 , 劳尔·古铁雷斯 , 萨尔瓦多·卢卡斯 , 彼得·施奈德-坎普 , 雷内·蒂曼 :
改进上下文相关对。 636-651 Nao Hirokawa先生 , 乔治·莫瑟 :
复杂性、图和依赖对方法。 652-666 Nao Hirokawa先生 , 阿尔特·米德尔多普 , 哈拉尔德·赞克 :
不急于终止。 667-681 约翰·P·加拉格尔 , Mads Rosendahl公司 :
近似项重写系统:Horn子句规范及其实现。 682-696 辛西娅·科普 , 费尔克·范·拉姆斯登克 :
一种高阶迭代路径排序。 697-711