基础信息学,第21卷
第21卷,第1/2期,1994年7月,8月
大卫·W·埃瑟林顿 , 亨利·A·考茨 , 库尔特·科诺利奇 :
特刊简介。 1-5 罗伯特·斯塔纳克 :
什么是非单调后果关系? 7-21 马克·S·博迪 , 罗伯特·P·戈德曼 , 金泽敬二 , 林恩·安德烈亚·斯坦因 :
模型偏好默认的批判性检查。 23-38 学家菲利普·贝斯纳德 , 托尔斯滕·绍布 :
默认逻辑的可能世界语义。 39-66 哈利娜·普尔兹穆森斯卡 , Teodor C.Przymusinski公司 :
固定默认扩展。 67-87 卡米拉·施温德 , 皮埃尔·西格尔 :
假设理论的模态逻辑。 89-101 马可·卡多利 , 马尔科·谢尔夫 :
缺省逻辑和边界中的近似推理。 103-112 利奥波多·贝尔托西 , 雷蒙德·雷特 :
分界和通用数学对象。 113-123 L.Thorne McCarty先生 :
可推翻的道义推理。 125至148 马修·L·金斯伯格 , 休·W·霍尔布鲁克 :
默认值能做什么层次结构不能做什么。 149-159
第21卷 第3期,1994年9月
亨利克·扬·科莫洛夫斯基 , 兹比格尼沃·W·拉斯 :
特邀编辑前言——ISMIS’93研讨会论文集。 161-162 大卫·斯图亚特·罗伯逊 , 杰姆·阿古斯蒂-卡莱尔 , 简·赫斯基 , 乔迪·利维 :
使用精化格表达程序需求。 163-182 尼古拉·利昂 , 路易吉·帕洛波利 , 马西莫·罗密欧 :
修改内涵逻辑知识。 183-203 陈建华 :
作为非单调推理统一框架的仅知逻辑。 205-220 Heng Chu公司 , 大卫·A·普莱斯特 :
语义引导的基于实例的定理证明中的模型发现。 221-235 尼尔·V·穆雷 , 埃里克·罗森塔尔 :
使用符号公式将经典推理技术应用于多值逻辑。 237-253
第21卷第4期,1994年10月
路易丝·莫瑟 , P.M.梅利亚·史密斯 , 乔治·库蒂 , Y.S.罗摩克里希纳 :
时间逻辑公理化的完备性和稳健性。 没有下一个。 257-305 奇塔·巴拉尔 :
改变选择函数以关联条件逻辑和优先模型。 307-319 伊沃·丁施 :
粗糙关系代数。 321-331 彼得·乔拉克 , 霍华德·布莱尔 :
局部分层的复杂性。 333-344 哈迪·亨加 :
顺序程序在一阶逻辑中的语义表达。 345-365 西蒙·博扎帕利迪斯 :
代表树系列。 367-389 米哈伊尔·莫什科夫 :
决策树的优化问题。 391-401