《人工智能》第109卷
第109卷,编号1-2,1999年4月30日
汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) , 贾娜·科勒 :
模态逻辑、描述逻辑和算术推理。 1-31 加博尔·雷德伊 :
iCTRL:内涵共形文本表示语言。 33-69 吉安·阿尔多·安东内利 :
基于广义扩张概念的缺省逻辑可延迟后果直接谨慎理论。 71-109 德鲁·V·麦克德莫特 :
使用回归匹配图控制规划中的搜索。 111-159 理查德·克拉杰科维奇(Richard Krajcoviech) , 玛格丽塔·科托科娃 :
约束求解并发执行中的非均匀时间共享。 161-185 罗伯特·科洛姆 :
命题专家系统的部分功能表示。 187-209 布拉兹·祖潘 , 马尔科·博哈内克 , 珍妮斯·德姆萨尔 , 伊万·布拉特科 :
通过发现概念层次进行学习。 211-242 伊夫·迪维尔 , 奥利维尔·巴雷特 , 帕斯卡·范·亨特利克 :
连通行凸约束的约束满足。 243-271 彼得·琼森 , 托马斯·德拉肯格伦 , 克里斯特·巴克斯特罗姆 :
时间点与时间间隔关联的计算复杂性。 273-295 格哈德·布鲁卡 , 托马斯·艾特 :
扩展逻辑程序的首选答案集。 297-356