9.NMR 2002:法国图卢兹
一般轨道
玛丽·安妮·威廉姆斯 :
合作信念修正。 核磁共振 2002 : 三 乔治·戈特洛布 :
通过可视化逻辑编程进行可视化数据提取。 核磁共振 2002 : 4 弗拉基米尔·利夫希茨 :
为什么萨姆不懂微积分。 核磁共振 2002 : 5 阿德南·达维切 , 皮埃尔·马奎斯 :
命题加权基的汇编。 核磁共振 2002 : 6-14 伊夫·莫伊纳德 :
联系梅金森和克劳斯·莱曼-Magidor优先隐含。 核磁共振 2002 : 15-24 萨米尔·乔普拉 , 约翰内斯·海德马 , 托马斯·安德烈亚斯·梅耶 :
信仰和怀疑的一些逻辑。 核磁共振 2002 : 25-32 迈赫迪·达斯坦尼 , Leendert W.N.van der Torre(林德特·范德托雷) :
什么是联合目标? 带有信念和可剥夺欲望的游戏。 核磁共振 2002 : 33-40 埃亚尔·埃米尔 :
非单调推理系统的插值定理。 核磁共振 2002 : 41-50 大卫·吉利斯 , 马克·德内克 :
分层非单调算子的合成结果。 核磁共振 2002 : 51-56 大卫·皮埃尔斯 , 弗拉基米尔·萨萨科夫 , 托尔斯滕·绍布 , 汉斯·托姆皮茨 , 斯特凡·沃尔特兰 :
将带有嵌套表达式的逻辑程序多项式翻译为析取逻辑程序:初步报告。 核磁共振 2002 : 57-66 格哈德·布鲁卡 :
有序析取逻辑编程。 核磁共振 2002 : 67-76 学家菲利普·贝斯纳德 , 罗伯特·默瑟 , 托尔斯滕·绍布 :
通过默认逻辑的优化理论。 核磁共振 2002 : 77-83 格里戈里斯·安东尼奥 :
具有动态优先级的可延迟逻辑。 核磁共振 2002 : 84-90 亨利·仆拉肯 :
直觉和可辩解推理的建模:一些案例研究。 核磁共振 2002 : 91-102
更改和集成信息: 从理论到实践
迪迪埃·杜布瓦 , 亨利·普拉德 :
信息融合中的可能性理论。 核磁共振 2002 : 103-116 萨米尔·乔普拉 , Aditya Ghose公司 , 托马斯·安德烈亚斯·梅耶 :
反复修改和恢复公理:通过认知状态的统一处理。 核磁共振 2002 : 117-123 阿尔贝托·芬奇 , 菲奥拉·皮里 :
解释性诊断和有意义的感知。 核磁共振 2002 : 124-134 亚历山大·波奇曼 :
迭代非优先级变更的两种表示。 核磁共振 2002 : 135-141 塞勒姆·本费哈特 , 西尔万·拉格鲁 , 奥迪尔·帕皮尼 :
修正部分有序的信念。 核磁共振 2002 : 142-149 詹姆斯·德尔格兰德 , 马修·苏德曼 :
合成更新操作符的注意事项。 核磁共振 2002 : 150-159 巴勃罗·巴塞洛 , 利奥波多·贝尔托西 :
使用带注释的谓词逻辑修复数据库。 核磁共振 2002 : 160-170 塞巴斯蒂安·科尼奇尼 , 拉蒙·皮诺·佩雷斯 :
带内存的动态修订运算符。 核磁共振 2002 : 171-182
答案集编程与外推推理
马克·德内克 :
统一溯源逻辑编程和稳定逻辑编程。 核磁共振 2002 : 183 皮耶罗·A·博纳蒂 :
绑架、ASP和开放逻辑程序。 核磁共振 2002 : 184-190 肯·佐藤 :
自治代理的推测计算和诱因。 核磁共振 2002 : 191-199 弗朗西斯科·卡利默里 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 :
答案集编程系统的删减运算符。 核磁共振 2002 : 200-209 林克 , 基督教愤怒 , 凯瑟琳·孔扎克 :
更多关于noMoRe的信息。 核磁共振 2002 : 210-218 维克托·马雷克 , 杰弗里·雷梅尔 :
具有基数约束的逻辑程序。 核磁共振 2002 : 219-228 佩德罗·卡巴拉尔 :
逻辑程序强等价的替代特征。 核磁共振 2002 : 229-237 托尔斯滕·绍布 , 王克文(Kewen Wang) :
通过交替定点进行逻辑编程的首选基础良好的语义:初步报告。 核磁共振 2002 : 238-246 西比尔·施瓦兹 :
选择器函数生成的答案集。 核磁共振 2002 : 247-256
核磁共振中的不确定性框架
小亨利·凯伯格。 , 乔曼登(Choh Man Teng) :
评估默认值。 核磁共振 2002 : 257-264 托马斯·卢卡西维茨 :
模型理论概率逻辑和相干性下概率逻辑之间的非单调概率逻辑。 核磁共振 2002 : 265-274 朱利安内拉·科莱蒂 , 罗曼诺·斯科扎法瓦 , 芭芭拉·万塔吉 :
连贯环境中的默认推理。 核磁共振 2002 : 275-282 埃米尔·韦德特 :
默认认识论排名、推理和修正(非常初步的说明)。 核磁共振 2002 : 283-292 约翰·福克斯 , 彼得·麦克伯尼 :
智能主体的决策:逻辑论证、概率推理以及信念和行为的维护。 核磁共振 2002 : 293-301 德里坦·贝尔扎蒂 , 伯恩哈德·安里格 , 尤尔格·科拉斯 :
在命题论证系统中嵌入默认逻辑。 核磁共振 2002 : 302-310 勒内·维特 :
模糊信念修正。 核磁共振 2002 : 311-320 伊娃·里希特 :
模糊逻辑的非单调推理算子。 核磁共振 2002 : 321-332
代表行动和变革
劳拉·佐丹奴 , 卡米拉·施温德 :
走向行动和因果关系的条件逻辑。 核磁共振 2002 : 333-342 马科斯·A·卡斯蒂略 , 安德烈亚斯·赫齐格 , 伊万·何塞·瓦尔津扎克 :
这取决于上下文! 基于三元依赖关系的行动和计划的可决策逻辑。 核磁共振 2002 : 343-348 大卫·洛伦佐 :
从行动叙述中学习非单调因果理论。 核磁共振 2002 : 349-355 希拉·麦克拉伊思 , 罗纳德·法德尔 :
用复杂的行动进行规划。 核磁共振 2002 : 356-364 简·M·布罗森 , 约翰·朱尔斯·查·梅耶 , 罗埃尔·J·威林加 :
关于行动和变化的推理中的互斥问题。 核磁共振 2002 : 365-371 格雷厄姆·怀特 :
意向性和限制性。 核磁共振 2002 : 372-379 安东尼斯·卡卡斯 , 路易斯·迈克尔 :
对行动和变化的复杂领域进行建模。 核磁共振 2002 : 380-390
辩论、对话和决策
约翰·霍蒂 :
怀疑和浮躁的结论。 核磁共振 2002 : 391 保罗·邓恩 :
关于首选扩展的简明编码。 核磁共振 2002 : 392-398 莱拉·阿姆古德 , 尼古拉斯·莫代特 :
辩论代理人的战略考虑(初步报告)。 核磁共振 2002 : 399-407 克劳德特·凯洛尔 , 西尔维·多特 , Marie-Christine Lagasquie-Schiex女士 , 杰罗姆·门根 :
“最小防御”:对论证框架的首选语义进行细化。 核磁共振 2002 : 408-415 巴特·维尔海伊 :
论辩证论证中外延的存在性和多样性。 核磁共振 2002 : 416-425 拉尔夫·施魏迈尔 , 迈克尔·施罗德 :
扩展逻辑编程的良好论证语义。 核磁共振 2002 : 426-435 亚历山大·波奇曼 :
集体辩论。 核磁共振 2002 : 436-443 特雷弗·J.M.长凳 :
基于价值的论证框架。 核磁共振 2002 : 443-454