1994年第11届ILPS:纽约伊萨卡
莫里斯·布吕诺格 :
逻辑编程,1994年国际研讨会论文集,美国纽约伊萨卡,1994年11月13日至17日。 麻省理工学院出版社 1994 ,国际标准图书编号 0-262-52191-1
受邀会谈
Yannick撞车 :
在服务中使用约束逻辑编程:几个短篇故事。 仪表着陆点 1994 : 3-16 尼尔·D·琼斯 :
函数和逻辑程序设计中的抽象解释和部分评价。 仪表着陆点 1994 : 17-22 乔治·戈特洛布 :
选言逻辑编程的复杂性和表达能力。 仪表着陆点 1994 : 23-42 约翰·劳埃德 :
结合函数和逻辑编程语言。 仪表着陆点 1994 : 43-57
语义学I
哈德森·特纳 :
签名逻辑程序。 仪表着陆点 1994 : 61-75 肯尼思·罗斯 :
使用约束的句法分层条件。 仪表着陆点 1994 : 76-90 伯纳德·马尔福 :
带否定逻辑程序的一些语义特征及其在程序验证中的应用。 仪表着陆点 1994 : 91-105
约束条件I
C.K.Chiu先生 , 吉米·何曼·李 :
逻辑编程中的实用区间约束求解。 仪表着陆点 1994 : 109-123 弗雷德里克·本哈莫(Frédéric Benhamou) , 大卫·A·麦卡利斯特 , 帕斯卡·范·亨特利克 :
重新审视CLP(间隔)。 仪表着陆点 1994 : 124-138 让-路易·伊伯特 :
冗余、变量消除和线性方程组。 仪表着陆点 1994 : 139-153
程序分析I
波杜因·勒·查利埃 , 萨比娜·罗西 , 帕斯卡·范·亨特利克 :
准确处理Prolog搜索规则和切割的抽象解释框架。 仪表着陆点 1994 : 157-171 马可·科米尼 , 乔治·列维 :
可观测的代数理论。 仪表着陆点 1994 : 172-186
演绎数据库
大卫·托曼 , 扬·乔米奇 , 大卫·S·罗杰斯 :
具有整数周期约束的数据日志。 仪表着陆点 1994 : 189-203 拉胡·拉马克里希南 , 肯尼斯·A·罗斯 , 迪维什·斯利瓦斯塔瓦 , S.苏达尔尚 :
使用聚合对查询进行有效的增量评估。 仪表着陆点 1994 : 204-218 Terrance Swift公司 , 大卫·斯科特·沃伦 :
确定程序的SLG-WAM评估分析。 仪表着陆点 1994 : 219-235
语义学II
嘉惠游 , 罗伯特·卡特赖特 :
通过迭代信念修正的可追踪论证语义。 仪表着陆点 1994 : 239-253 Laks V.S.Lakshmanan公司 , 费雷东·萨德里 :
概率演绎数据库。 仪表着陆点 1994 : 254-268 保罗·布鲁姆 , 利普敦 :
组合逻辑程序设计:关系演算中的计算。 仪表着陆点 1994 : 269-285
并行性
卡斯特罗·杜特拉 :
并行逻辑编程系统中调度与或并行工作的策略。 仪表着陆点 1994 : 289-304 索米亚·德布雷 , 穆迪塔·贾恩 :
并行性的简单程序转换。 仪表着陆点 1994 : 305-319 弗朗西斯科·布埃诺 , 玛丽亚·加西亚·德拉班达 , 曼纽尔·埃尔梅内吉尔多 :
基于严格独立性的自动并行中全局分析的有效性。 仪表着陆点 1994 : 320-336
约束条件II
卡门·格威 :
Conjunto:有限集域约束逻辑编程。 仪表着陆点 1994 : 339-358 安德烈亚斯·波德尔斯基 , 不过研究人员凡洛伊 :
美丽与野兽算法:树上蕴涵与不蕴涵的准线性增量测试。 仪表着陆点 1994 : 359-374
程序分析II
罗伯托·贾科巴齐 :
模块逻辑程序的溯源分析。 仪表着陆点 1994 : 377-391 马西莫·马尔奇奥里 :
通过匹配方向实现统一自由的本地化。 仪表着陆点 1994 : 392-406
推理方法
阿兰·惠本·霍 :
直觉暗示和解决。 仪表着陆点 1994 : 409-423 何塞·朱利奥·阿尔弗雷斯 , 卡洛斯·维加斯·达马西奥 , 路易斯·莫尼兹·佩雷拉 :
SLX-带有显式否定的程序的自顶向下派生过程。 仪表着陆点 1994 : 424-438 大卫·A·罗森布鲁思 , 朱利奥·佩拉塔 :
LR推理:基于LR分析的固定模式逻辑程序的推理系统。 仪表着陆点 1994 : 439-453
项目分析III
C.布雷姆 , 波杜因·勒·查利埃 , S.Modart公司 , 帕斯卡·范·亨特利克 :
Prolog的基数分析。 仪表着陆点 1994 : 457-471 Kjell Post公司 :
逻辑编程中的互斥规则。 仪表着陆点 1994 : 472-486 索米亚·德布雷 , 大卫·古德曼 , 彼得·比戈 :
无悬挂逻辑程序的检测和优化。 仪表着陆点 1994 : 487-501
并发约束编程
克里斯蒂安·舒尔特 , 格特·斯莫尔卡 :
高阶并发约束编程的封装搜索。 仪表着陆点 1994 : 505-520 比约恩·卡尔森 , 塞夫·哈里迪 , 斯维尔克·詹森 :
AKL(FD)-一种用于FD编程的并发语言。 仪表着陆点 1994 : 521-535
人工智能
罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
情境演算与事件演算的比较。 仪表着陆点 1994 : 539-553 乔纳斯·巴克隆德 , 皮耶朗基罗·德尔·阿夸 , 斯蒂芬妮娅·科斯坦蒂尼 , 盖塔诺·奥雷利奥·兰扎隆 :
SLD-反射分辨率。 仪表着陆点 1994 : 554-568
约束逻辑程序分析
金·马里奥特 , 彼得·J·斯塔基 :
线性算术约束之间的近似交互。 仪表着陆点 1994 : 571-585 斯皮罗·米查洛夫 , 比尔·皮平 :
一类约束逻辑程序中线性算法的优化编译。 仪表着陆点 1994 : 586-600
实施
托马斯·林格伦 :
Prolog的连续传球风格。 仪表着陆点 1994 : 603-617 R.拉梅什 , 陈伟东 :
一种将SLG分辨率集成到Prolog系统中的便携式方法。 仪表着陆点 1994 : 618-632 Terrance Swift公司 , 大卫·斯科特·沃伦 :
SLG解析的抽象机器:确定性程序。 仪表着陆点 1994 : 633-652
程序分析IV
吉尔伯托·菲尔 , 弗朗西斯科·兰扎托 :
通过对权力集的系统提升来改进抽象解释。 仪表着陆点 1994 : 655-669
海报环节
格雷戈里·邦德 , 伯尼·帕格瑞克 :
声明性错误诊断作为基于一致性的诊断。 仪表着陆点 1994 : 673 帕斯卡·布里塞特 :
避免在多态逻辑编程语言中进行动态类型检查。 仪表着陆点 1994 : 674 伊利亚诺·塞韦萨托 , 卢卡·奇塔罗 , 安吉洛·蒙塔纳里 :
模态事件演算。 仪表着陆点 1994 : 675 安德鲁·戴维森 , 伊丽莎白·海伍德 :
用PTN解析。 仪表着陆点 1994 : 676 迈克尔·德克蒂亚 , 亚历山大·贾。 迪科夫斯基 :
动态演绎数据库的稳定行为。 仪表着陆点 1994 : 677 让·乔丹 , 弗朗索瓦·法赫斯 , 迪迪埃·罗佐内利 , 阿兰·德梅里 :
基于并发约束模型编程的并行机数据对齐和任务调度。 仪表着陆点 1994 : 678 乔纳森·利弗 :
规划约束逻辑编程。 仪表着陆点 1994 : 679 米格尔-安吉尔-奥罗斯 , 保罗·Y·格罗斯 :
从数据日志程序推断继承。 仪表着陆点 1994 : 680 阿尔科特·拉贾塞卡尔 :
字符串约束逻辑编程:理论与应用。 仪表着陆点 1994 : 681 康斯坦蒂诺斯·萨戈纳斯 , 大卫·斯科特·沃伦 :
用于将HiLog集成到Prolog系统中的可移植编译器。 仪表着陆点 1994 : 682 东兴堂 , 恩里科·蓬泰利 , 戈帕尔·古普塔 , 曼纽尔·卡罗 :
并行逻辑程序设计系统中的最后并行调用优化和快速回溯。 仪表着陆点 1994 : 683-684 L.Thorne McCarty先生 , 利昂·A·什克拉 :
一阶直觉逻辑的PROLOG解释器。 仪表着陆点 1994 : 685 李彦元 , 嘉惠游 :
一种简单但有效的程序修订方法。 仪表着陆点 1994 : 686