1992年人工智能高级主题
弗拉迪米尔·马里克 , 奥尔加·斯泰潘科娃 , 罗伯特·特拉普 :
人工智能高级主题,国际暑期学校,布拉格,捷克斯洛伐克,1992年7月6日至17日,会议记录。 计算机科学课堂讲稿 617, 施普林格 1992 ,国际标准图书编号 3-540-55681-8
介绍
逻辑和逻辑编程
大卫·R·吉尔伯特 , 克里斯托弗·霍格 :
表示和实现系统行为知识的逻辑。 42-49 奥尔加·斯泰潘科娃 , 彼得·斯特帕内克 :
序言:迈向编程未来的一步。 50-81 弗兰克·克里瓦切克 :
约束逻辑编程导论。 82-94 约翰·埃德尔 :
逻辑和数据库。 95-103
机器学习
米罗斯拉夫·库巴特 :
机器学习简介。 104-138 Pavel Braddil公司 :
归纳逻辑程序设计方法。 139-160 圣埃芬·莫斯卡泰利 , 伊夫·科德拉托夫 :
计算机视觉的高级机器学习技术。 161-197
计划和调度
不确定性
乔治·J·克利尔 :
人工智能中不确定性度量和原则的作用。 245-254 拉迪姆·吉卢塞克 :
知识表示和处理的概率方法简介。 255-285 彼得·哈耶克 , 大卫·哈曼内克 :
论信念功能。 286-307 兹德内克·库巴 :
数据分析和不确定性处理。 308-315
第二代专家系统与知识工程
弗拉迪米尔·马里克 , 托马斯·弗切克 :
知识工程的某些方面。 316-337 尼古拉斯·芬德勒 :
自动知识获取工具。 338-367 吉姆·多兰 :
分布式人工智能及其应用。 368-372 何塞·库纳 :
第二代基于知识的系统的体系结构。 373-403
定性推理
奥尔加·斯泰潘科娃 :
定性推理导论。 404-418 Igor Mozitic公司 :
基于模型的诊断:概述。 419-430 伊万·布拉特科 :
定性微分方程动态系统仿真。 431-439
神经计算
乔治·多夫纳 :
神经计算导论及其在人工智能中的可能作用。 440-464
自然语言和界面
欧内斯特·A·埃德蒙兹 , 布莱恩·S·穆雷 :
智能演示和对话管理。 465-476 伊娃·哈吉科娃 :
自然语言处理的语言方面。 477-484