1994年第8届ISMIS:美国北卡罗来纳州夏洛特
兹比格尼沃·W·拉斯 , 玛丽亚·泽曼科娃 :
智能系统方法论,第八届国际研讨会,ISMIS’94,美国北卡罗来纳州夏洛特,1994年10月16-19日,会议记录。 计算机科学课堂讲稿 869, 施普林格 1994 ,国际标准图书编号 3-540-58495-1
受邀会谈
威廉·坎贝尔 :
地球任务分布式地球科学验证中心。 1-12 B.钱德拉塞卡兰 :
推理世界中的因果理解。 13-26 爱德华·福克斯 :
如何打造智能数字图书馆。 27-38 罗伯特·梅尔斯曼 :
Prosaic应用领域语义的一些方法和表示问题(扩展抽象)。 39-45
近似推理
哈桑·贾米尔 , 费雷东·萨德里 :
识别不准确数据库中的可信专家。 46-55 苏哈迈·昆都 , 陈建华 :
模糊逻辑或Lukasiewicz逻辑:一个澄清。 56-64 曹永林 , 刘青(音) , Y.Y.姚 :
近似推理的逻辑系统:通过粗糙集和拓扑空间的近似。 65-74 詹姆斯·J·卢 , 尼尔·V·穆雷 , 埃里克·罗森塔尔 :
符号公式和模糊算子逻辑。 75-84 莱赫·波尔科夫斯基(Lech Polkowski) , 安德烈·斯科隆 :
粗糙的Mereology。 85-94 胜利石 , 伊丽莎白·C·赫尔 , 大卫·A·贝尔 :
更新证据的新规则。 95-104 王志伟 , S.K.迈克尔·黄 :
分类模糊度的全局度量。 105-113 什洛莫·齐尔伯斯坦 :
近似推理的元层次控制:一种决策理论方法。 114-123
进化计算
阿提里奥·佐丹纳 , 菲利波·内里 , 洛伦扎·塞塔 :
遗传算法中选择的形式化模型。 124-133 兹比格尼乌·米切莱维奇(Zbigniew Michalewicz) , 雅罗斯瓦夫·阿拉巴斯 :
0/1背包问题的遗传算法。 134-143
智能信息系统
特洛伊斯·安德烈森 , 奥利维尔·皮弗特 :
模糊关系查询的弱化。 144-153 张亚辉 , 路易卡·拉希德 , 邦妮·J·多尔 :
将查询从关系模式转换为等效对象模式:基于F-逻辑的原型。 154-163 David Wai-Lok Cheung先生 , Ada Wai Chee Fu女士 , 韩嘉伟 :
一种基于事例的关联查询答案推理方法。 164-173 斯蒂芬·E·克罗斯 , 唐纳德·罗伯茨 , 爱丽丝·M·穆尔维希尔 , J.艾伦·西尔斯 :
基于案例的推理在兵力生成决策辅助中的应用。 174-182 吉尔斯·福凯 , 韦斯利·朱棣文 , 邱亨利克(Henrick Yau) :
一种基于事例的关联查询答案推理方法。 183-192 塞尔吉奥·格雷科 , 卡洛·扎尼奥洛 :
通过受控绑定传播高效执行递归查询。 193-202 埃马纽埃勒·勒斯特鲁金 , 勒内·曼迪奥 , 盖坦·利伯特 :
走向动态多代理组织。 203-212 乔纳森·利弗 , 巴里·理查兹 :
parcPlan:具有并行操作、资源和约束的规划体系结构。 213-222 穆罕默德·夸法福 :
游戏II:计算机辅助教育的智能系统。 223-232 宁忠 , Setsuo Ohsuga公司 :
GLS发现系统:目标、架构和当前结果。 233-244
知识表示
Anastasia Analyti分析 , 萨基·普拉曼尼克 :
矛盾模块逻辑程序的声明语义。 245-254 维托里奥·布鲁索尼 , Luca控制台 , 芭芭拉·佩尼西 , 保罗·特伦齐亚尼 :
LaTeR:时间信息的通用管理器。 255-264 甘洪华 :
理解带有因果关系的故事。 265-274 保罗·特伦齐亚尼 :
处理与周期性事件有关的定性和定量时间信息。 275-284 杨翔 :
基于贝叶斯网络的分布式多智能体概率推理。 285-294
方法论
雅克·卡尔梅特 , Indra A.Tjandra公司 :
在知识表示和代数规范之间架起桥梁。 295-304 约阿希姆·赫茨伯格 , 西尔维·蒂博 :
将行动形式主义转变为策划人——案例研究要点。 305-314 亨利克·扬·科莫洛夫斯基 , 西尔维娅·特切克 :
面向定义逻辑程序的优化。 315-325 迈克尔·罗瑞 , 安德鲁·菲尔波特 , 托马斯·普雷斯伯格 , 伊恩·安德伍德 :
AMPHION:科学子程序库的自动编程。 326-335
学习和自适应系统
Hilde Adé , 巴特·马尔法特 , 吕克·德·雷德 :
RUTH:一个ILP理论修正系统。 336-345 扬·G·巴赞 , 安杰伊·斯科沃隆 , 彼得罗·西纳克 :
动态约简作为从决策表中提取规律的工具。 346-355 马可·博塔 :
学习一阶理论。 356-365 克里斯托弗·艾克 , 埃玛·托托 :
用于分类任务的遗传算法学习环境中贝叶斯规则集的评估和增强。 366-375 弗洛里安娜·埃斯波西托 , 多纳托·马勒巴 , 乔瓦尼·塞梅拉罗 :
从关系中学习逻辑定义时的陷阱和陷阱。 376-385 胡晓华 , 宁陕 , 尼克·塞尔科内 , 沃伊西奇·齐亚科 :
DBROUGH:一个基于粗糙集的知识发现系统。 386-395 亚历克斯·洛佩兹·苏亚雷斯 , 穆罕默德·卡梅尔 :
重组规则基础以提高绩效。 396-405 托马斯·利奥·麦克卢斯基 , J.M.波蒂厄斯 :
通过静态运算符分析学习订购计划目标的启发式。 406-415 Ryszard S.Michalski公司 , 易卜拉欣·F·伊玛目 :
从决策规则学习面向问题的决策结构:AQDT-2系统。 416-426 Ephraim日产 , 哈瓦·西格曼 , 亚历克斯·加尔佩林 , Shuky Kimhi公司 :
核工程项目中启发式发现的全自动化:与神经信息语言的集成。 427-436 Molly Troxel公司 , Kim Swarm公司 , 简·M·兹特科夫 :
概念层次:从规则中衍生的知识的限制形式。 437-447 张建平 , 薛湘路 :
一种数据驱动的特征构造方法。 448-457
人工智能逻辑
尼古拉斯·阿舍 :
用认知条件推理动作和时间。 458-467 萨萨·布瓦茨 , Vanja Buvac公司 , 伊恩·梅森 :
命题语境的语义。 468-477 陈建华 :
涵盖认识规范概念的广义唯知逻辑(GOL)。 478-487 劳伦斯·霍尔维 , 罗伯特·德莫洛姆 , 安德鲁·琼斯 :
信息安全推理:从逻辑形式化到操作定义。 488-499 亚尼斯·迪莫普洛斯 :
非单调推理中的经典方法。 500-510 尤尔根·迪克斯 , 马丁·米勒 :
稳定语义近似的部分评价和相关性。 511-520 帕特里克·多尔蒂 , 维托尔德·卢卡斯泽维奇 :
转述特征和流派:一种推理行动和变化的流畅逻辑。 521-530 苏里亚尼尔·戈什 :
超一致性及其超越:一种处理不一致性的新方法。 531-540 让·古博 , 约阿希姆·波塞加 :
BDD和自动扣除。 541-550 阎德霞 :
基于可能性的条件句命题逻辑。 551-560 黄燕农 , 维罗尼卡·达尔 , 韩嘉伟 :
逻辑数据库关系的增量处理。 561-570 Y.J.Jiang江 , 永裕Aramkulchai :
假设框架与自认知逻辑的关系。 571-583 托尔斯滕·绍布 :
根据优先默认理论计算查询。 584-593 Kwang Mong Sim先生 :
信仰和双边态度。 594-603 兹比格尼乌·斯塔奇尼亚克 :
非经典逻辑归结证明系统中演绎过程的快速终止。 604-613
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)