《人工智能》第90卷
第90卷,编号1-2,1997年2月
马丁·库珀 :
约束满足问题中邻域替换的基本性质。 1-24 阿什温·拉姆 , 胡安·卡洛斯·桑塔马利亚 :
基于案例的连续推理。 25-77 尤瓦尔·沙哈尔 :
基于知识的时间抽象框架。 79-133 鲍姆加特内 , 乌尔里希·富巴赫 , 弗里德·斯托尔岑伯格 :
使用模型消除计算答案。 135-176 托马斯·艾特 , 乔治·戈特洛布 , 尼古拉·利昂 :
缺省理论中诱拐的语义和复杂性。 177-223 杰拉尔德·弗雷斯维克 :
抽象论证系统。 225-279 Avrim Blum公司 , 梅里克·L·福斯特 :
通过规划图分析快速规划。 281-300 詹姆斯·德尔格兰德 , 托尔斯滕·绍布 :
将特殊性编译成非单调推理方法。 301-348