2.LPNMR 1993:葡萄牙里斯本
路易斯·莫尼斯·佩雷拉 , 阿尼尔·内罗德 :
逻辑编程和非单调推理,第二届国际研讨会论文集,葡萄牙里斯本,1993年6月。 麻省理工学院出版社 1993 ,国际标准图书编号 0-262-66083-0
实施
沃尔夫·科恩 , 阿尼尔·内罗德 :
具有声明控制器的混合系统的自治控制。 低密度核磁共振 1993 : 3-22 科林·贝尔 , 阿尼尔·内罗德 , Raymond T.Ng先生 , V.S.Subrahmanian公司 :
通过线性规划实现稳定语义。 低密度核磁共振 1993 : 23-42 马丁·米勒 , 尤尔根·迪克斯 :
使用边缘和抽象属性实现析取逻辑程序的语义(扩展抽象)。 低密度核磁共振 1993 : 43-59 拉德克·文格雷克 :
非单调推理中寻找稳定模型和其他结构的连接方法。 低密度核磁共振 1993 : 60-81 沃德齐米尔兹·德拉本特 :
SLS-分辨率,无浮雕。 低密度核磁共振 1993 : 82-98
MBNF和相关主题
弗拉基米尔·利夫希茨 , 格里戈里·施瓦兹 :
作为自认知理论的扩展逻辑程序。 低密度核磁共振 1993 : 101-114 V.威克托·马雷克 , 米罗斯瓦·特鲁兹琴斯基 :
反思性自认知逻辑和逻辑编程。 低密度核磁共振 1993 : 115-131 陈建华 :
最低限度的知识+作为失败的否定=只知道(有时)。 低密度核磁共振 1993 : 132-150 皮耶罗·A·博纳蒂 :
自认知逻辑编程。 低密度核磁共振 1993 : 151-167
稳定性和相关主题
安德烈·邦达连科 , 弗朗西丝卡·托尼 , 罗伯特·科瓦尔斯基 :
基于假设的非单调推理框架。 低密度核磁共振 1993 : 171-189 斯蒂芬妮娅·科斯坦蒂尼 :
对带否定的逻辑程序的稳定模型语义的贡献。 低密度核磁共振 1993 : 190-205 弗兰克·图森克 :
使用非单调算子描述稳定模型。 低密度核磁共振 1993 : 206-222 阿尔贝托·托雷斯 :
否定为不支持。 低密度核磁共振 1993 : 223-243 巴姆沙德·莫巴希尔 , 雅切克·莱斯奇洛夫斯基 , 唐·皮戈齐 :
否定为部分故障。 lp核磁共振 1993 : 244-262
分离LP,不一致处理
乔治·戈特洛布 :
最近的复杂性导致了逻辑编程和非单调推理,以及它们为什么重要(受邀演讲摘要)。 低密度核磁共振 1993 : 265 恰基·萨卡马 , 井上胜美 :
将析取逻辑程序与缺省理论联系起来。 低密度核磁共振 1993 : 266-282 阿图尔·米基图克 , 米罗斯瓦·特鲁兹琴斯基 :
理性缺省逻辑和析取逻辑编程。 低密度核磁共振 1993 : 283-299 格德·瓦格纳 :
扩展演绎数据库中的不一致推理。 低密度核磁共振 1993 : 300-315 路易斯·莫尼兹·佩雷拉 , 卡洛斯·维加斯·达马西奥 , 何塞·朱利奥·阿尔弗雷斯 :
作为矛盾消除的诊断和调试。 低密度核磁共振 1993 : 316-330
非标准语义
叶霍舒亚·萨吉夫 :
演绎数据库工具(摘要)。 低密度核磁共振 1993 : 333 何塞·朱利奥·阿尔弗雷斯 , Phan Minh Dung公司 , 路易斯·莫尼兹·佩雷拉 :
扩展逻辑程序的场景语义。 低密度核磁共振 1993 : 334-348 格哈德·布鲁卡 :
广义逻辑程序的溯源框架。 低密度核磁共振 1993 : 349-364 马克·德内克 , 丹尼·德·施雷耶 :
合理化语义:逻辑程序语义的统一框架。 低密度核磁共振 1993 : 365-379 P.吉尔茨 , 德克·弗梅尔 :
使用隐含特定性信息的非单调推理形式主义。 低密度核磁共振 1993 : 380-396 迈克尔·盖尔丰德 , 哈利娜·普尔兹穆森斯卡 :
开放域推理。 低密度核磁共振 1993 : 397-413
建构逻辑
L.索恩-麦卡蒂 , 罗恩·范德梅登 :
有限和无限失效的直觉解释(初版)。 低密度核磁共振 1993 : 417-436 董方庆 , Laks V.S.Lakshmanan公司 :
标准克里普克模型和逻辑程序的直觉语义(扩展抽象)。 低密度核磁共振 1993 : 437-456 大卫·皮埃尔斯 :
答案集和构造逻辑,II:扩展逻辑程序和相关的非单调形式主义。 低密度核磁共振 1993 : 457-475 道格拉斯·布什 :
具有两个否定的三值逻辑的序列公理化。 低密度核磁共振 1993 : 476-494
![](https://dblp.org/img/cog.dark.24x24.png)