文献

1

James S.Aitken和Dimitrios Sklavakis。
将问题解决方法融入CYC。
编辑迪安·托马斯，第16届国际会议记录人工智能联合会议（IJCAI-99-Vol1），页627-633，S.F.，1999年7月31日至8月6日。摩根考夫曼出版社。

2

格雷戈里·安德鲁斯（Gregory R.Andrews）和弗雷德·施耐德（Fred B.Schneider）。
并行编程的概念和符号。
计算调查，15（1）:3-431983年3月。
133参考。治疗BIBLIGraphic SURVEY，PRACTICAL CS部门TR 82-121982年9月。

三

法希姆·巴克斯（Fahiem Bacchus）、约瑟夫·霍尔佩恩（Joseph Y.Halpern）和赫克托尔·勒沃斯克（Hector J.Levesque）。
情境演算中关于噪声传感器的推理。
编辑克里斯·梅利什，第十四届会议记录国际人工智能联合会议，第1933-1940页，旧金山，1995年。摩根·考夫曼。

4

L.R.Bahl、J.K.Baker、F.Jelinek和R.L.Mercer。
困惑-语音识别任务难度的度量。
美国声学学会第94届会议议程J.声学。美国南部。，62:S631977年。
补充编号1。

5

J.S.布里德尔。
自动语音的神经网络或隐马尔可夫模型认可：有选择吗？
编辑P.Laface，语音识别和理解：最新进展、趋势和应用Springer-Verlag，1991年。

6

J.Buhmann、W.Burgard、A.B.Cremers、D.Fox、T.Hofmann、F.Schneider、，J.Strikos和S.Thrun。
移动机器人犀牛。
技术报告IAI-TR-95-2，波恩大学计算机科学，1995年1月1日。

7

Wolfram Burgard、Armin B.Cremers、Dieter Fox、Dirk Hähnel、Gerhard莱克梅耶、德克·舒尔茨、沃尔特·施泰纳和塞巴斯蒂安·特伦。
交互式博物馆导游机器人。
在第十五届全国人工智能大会会议记录情报（AAAI-98）和第十届创新大会人工智能应用（IAAI-98），第11-18页，Menlo公园，1998年7月26日至30日。AAAI出版社。

8

沃尔夫拉姆·伯加德（Wolfram Burgard）、迪特尔·福克斯（Dieter Fox）、丹尼尔·亨尼格（Daniel Hennig）和蒂莫·施密特（Timo Schmidt）。
利用位置估计移动机器人的绝对位置概率网格。
在第十三届全国会议记录人工智能与人工智能的第八个创新应用情报会议第896-901页，门罗公园，1996年8月4-8日。AAAI公司出版社/MIT出版社。

9

Nick Cercone和Gordon I.McCalla。
通过自然语言获取知识。
在编辑马歇尔·C·约维茨（Marshall C.Yovits）的文章中，计算机的进展,第25卷，第00-00页。学术出版社，纽约，1986年。

10

Frank Dylla，Gerhard Lakemeyer。
由golog控制的移动机器人的语音接口。
在第二届国际认知机器人会议录研讨会（CogRob-00），第99-1032000页。

11

Y.以法莲。
一种基于隐式贝叶斯估计的语音增强方法马尔可夫模型。
IEEE信号处理汇刊, 40(4):725, 1992.

12

C.费多尔。
Tcx公司。用于建筑机器人的进程间通信系统体系结构。10.xx版程序员指南。
Pa 15213，卡内基·梅隆大学，匹兹堡，1983年12月。

13

亚历山大·费雷恩。
Möglichkeiten zur MR Steuerung：天顶组件.
Diplorabeit，亚琛RWTH，2000年12月。

14

小G.D.Forney。
维特比算法。
在程序。电气与电子工程师协会第268-278页，1973年3月。

15

K.Foth、W.Menzel和I.Schröder。
具有任意属性的基于转换的解析技术。
在第四届帕森国际研讨会论文集技术，第89-100页，意大利特伦托，2000年。

16

迪特尔·福克斯（Dieter Fox）、沃尔夫拉姆·伯格（Wolfram Burgard）和塞巴斯蒂安·特伦（Sebastian Thrun）。
避免碰撞的动态窗口方法。
波恩大学技术报告IAI-TR-95-13计算机科学，1995年8月1日。

17

M.Franzini、K.-F.Less和A.Waibel。
连接性维特比训练：一种新的混合连续训练方法语音识别。
在IEEE国际会议记录声学、语音和信号处理, 1990.

18

K.Fukunaga。
统计模式识别导论.
波士顿学术出版社，第二版，1990年。
[第一版，1972年]。

19

朱塞佩·德贾科莫（Giuseppe De Giacomo）、伊夫·莱斯佩伦斯（Yves Lespérance）和赫克托尔·莱夫斯克（Hector J.Levesque）。
关于并发执行、优先中断和情境演算中的外生作用。
在第十五届国际联合会议记录人工智能（IJCAI-97），第1221-1226页，旧金山，1997年8月23日至29日。摩根考夫曼出版社。

20

吉塞佩·德贾科莫（Guisepe De Giacomo）和赫克托·列夫斯克（Hector Levesque）。
高级程序的增量解释器，具有感知功能。
在1998年AAAI秋季认知研讨会工作笔记机器人学意大利罗马，1998年。

21

A.R.哈斯。
特定于域的框架公理的情况。
编辑F.M.Brown，人工神经网络中的框架问题情报摩根·考夫曼，1987年。

22

德克·哈内尔。
GOLEX:Ein Laufzeits系统für die AktionsbeschriebangsspracheGOLOG zur Steuerung des mobilen机器人RHINO.
5月，波恩大学莱茵谢·弗里德里希·威廉斯分校文凭1998

23

德克·哈内尔（Dirk Hähnel）、沃尔夫拉姆·伯加德（Wolfram Burgard）和格哈德·莱克梅耶（Gerhard Lakemeyer）。
GOLEX：架起逻辑（GOLOG）和真实机器人之间的桥梁。
在Otthein Herzog和Andreas Günter的编辑中，诉讼第22届德国人工智能进展年会（KI-98），第1504卷，共页LNAI公司，第165-176页，柏林，1998年9月15日至17日。斯普林格。

24

S.Harnad。
符号接地问题。
物理D, 42:335-346, 1990.

25

马修·亨尼西。
程序设计语言的语义：一个基础使用结构操作语义的简介.
约翰·威利父子公司，纽约州纽约市，1990年。

26

吉罗·伊万（Gero Iwan）。
解释动态域中的错误。
在第二届国际认知机器人会议录研讨会（CogRob-00）2000年，第42-48页。

27

F.杰利内克。
用统计方法进行连续语音识别。
IEEE会议记录，64（4）：532-5561976年4月。
杰利内克，F。

28

梅尔·金。
语音识别系统-产品评估.
http://kachina.kennesaw.edu/mking/is425/产品评估/speechrecognition，计算机科学与信息系乔治亚州肯尼索州立大学系统学院，2000年。

29

Gerhard Lakemeyer和Hector J.Levesque。
AOL：一种行为、感知、知道和只知道的逻辑。
在Anthony G.Cohn、Lenhart Schubert和Stuart C.Shapiro的编辑中，KR’98：知识表示和推理原理，页316-327. Morgan Kaufmann，加利福尼亚州旧金山，1998年。

30

道格拉斯·B·莱纳。
CYC：对知识基础设施的大规模投资。
ACM通信，38（11）：33-381995年11月。

31

Y.Lesperance、T.C.Kelley、J.Mylopoulos和E.S.K.Yu。
使用ConGolog对动态域进行建模。
计算机科学课堂讲稿, 1626:365-??, 1999

32

Hector J.Levesque、Raymond Reiter、Ives Lespérance、Fangzhen Lin和理查德·谢尔（Richard B.Scherl）。
GOLOG：一种用于动态域的逻辑编程语言。
逻辑程序设计杂志，31（1-3）：59-83，4月-6月1997

33

Jeusfeld文学硕士。；Jarke M。；日产H.W。；斯塔特·M。
概念库-管理信息系统的概念模型。
., 1998.
国际标准图书编号（ISBN）3-540-64453-9。

34

克劳斯·马切里。
Entwicklung und Implementierung von Konfidenzmaßen für公司沃特格拉芬基础上的kontinuierich gesprochene Sprache.
Diplorabeit，亚琛RWTH，1998年11月。

35

沃尔夫冈·马切里。
实施Vergleich磁盘识别器Verfahren fürSpracherkenung bei kleinem Vokabular公司.
Diplorabeit，亚琛RWTH，1998年11月。

36

约翰·麦卡锡。
情境、行为和因果律。
斯坦福大学人工智能项目备忘录2，加利福尼亚州斯坦福市，1963年。
作为麦卡锡的一部分重印。

37

D.麦克德莫特。
一种被动的计划语言。
技术报告CSD-RR-864，耶鲁大学，1991年。

38

W.门泽尔。
口语稳健处理的约束满足。
在（ECAI-96）非标准约束处理研讨会,匈牙利布达佩斯，1996年。

39

W.Menzel和I.Schröder。
使用分级约束进行依赖分析的决策过程。
在（COLING-ACL-98）车间会议记录-处理基于依赖的语法，加拿大蒙特利尔，1998年。

40

H.P.Moravec和A.Elfes。
广角声纳的高分辨率地图。
在1985年IEEE国际机器人和自动化，第116-121页，密苏里州圣路易斯市，1985年3月。IEEE计算机社会出版社。

41

列夫斯克·H。；Pirri F。；赖特·R。
情境演算基础。
在计算机与信息中的链接与电子文章科学类，第3卷（1998年）：第018号。，1998
网址：www.ep.liu.se/ea/cis/1998/018。

42

L.Rabiner和B.-H.Juang。
语音识别基本原理.
新泽西州Englewood Cliffs：PTR Prentice Hall（信号处理系列），1993
一般介绍：ISBN 0-13-015157-2。

43

L.R.拉宾纳。
中有关隐藏马尔可夫模型和选定应用程序的教程语音识别。
IEEE会议记录，77（2）：257-2851989年2月。

44

R.Reiter。
情境演算中的框架问题：一个简单的解决方案（有时）和目标回归的完整性结果。
编辑弗拉基米尔·利夫希茨（Vladimir Lifschitz），人工智能和计算数学理论：纪念约翰·麦卡锡的论文，页359-380. 学术出版社，纽约，1991年。
R·赖特。

45

雷·雷特。
顺序的、时间性的GOLOG。
安东尼·科恩（Anthony G.Cohn）、伦哈特·舒伯特（Lenhart Schubert）和斯图亚特·夏皮罗（Stuart C.Shapiro），编辑，KR’98：知识表示和推理原理，页547-556. Morgan Kaufmann，加利福尼亚州旧金山，1998年。

46

P.Schefe。
Kuenstlich Intelligenz-Ueberblicke und Grundlagen公司.
书目研究所，曼海姆，1986年。

47

例如舒卡特·塔拉马齐尼。
Automatische Spracherkenung-格兰德拉根，统计模型和有效算法.
昆士利希智能公司。Vieweg，布伦瑞克，1995年。

48

K.Tam、J.Lloyd、Y.Lesperance和H.Levesque。
用GOLOG控制自主机器人。
计算机科学课堂讲稿, 1342:1-11, 1997.

49

史蒂文·塔尼莫托（Steven L.Tanimoto）。
KI：Die Grundlagen公司.
R.Oldenbourg，Muenchen，1990年。

50

Thomas Whalen博士。
计算行为主义应用于自然语言。
在线报告-debra.dgbt.doc.ca/chat/chat.theory.html，通信研究中心（加拿大），加拿大渥太华，1996年4月。

51

S.特龙、D.福克斯和W.伯加德。
移动机器人绘制环境的概率图。
在IEEE国际会议记录机器人与自动化（ICRA-98）第1546-1551页，皮斯卡塔韦，1998年5月16日至20日。IEEE计算机学会。

52

塞巴斯蒂安·特伦（Sebastian Thrun）、阿诺·比肯（Arno Buecken）、沃尔夫拉姆·伯格（Wolfram Burgard）、迪特尔·福克斯（Dieter Fox）、托尔斯滕（Thorsten）弗罗林豪斯、丹尼尔·海宁、托马斯·霍夫曼、迈克尔·克莱尔和蒂莫施密特。
RHINO中的地图学习和高速导航。
波恩大学技术报告IAI-TR-96-3计算机科学，1996年7月15日。

53

H.Ney和A.Eiden。
Mustererkennung和Neuronale Netze.
Vorlesungsmitschrift，亚琛RWTH，1995年9月。

54

G.舒卡特·塔拉马齐尼和H.尼曼。
在连续语音中生成单词假设。
在程序。ICASSP公司第1565-1568页，1986年4月。

55

H.Ney和S.Nießen。
Sprachmodellierung和Suche.
Vorlesungsmitschrift，亚琛RWTH，1995年4月。

56

Ozlem Uzuner、Boris Katz和Deniz Yuret。
信息检索中的词义消歧。
在第六届全国人工智能大会论文集情报（AAAI-99）；第十一届创新大会会议记录人工智能的应用，第985-986页，加利福尼亚州门洛帕克。，1999年7月18日至22日。AAAI/MIT出版社。

57

W.Wahlster。
VerbMobil-Erkennung，分析转移，Generierung und合成von Sponatnsprache.
在线报告-http://verbmobil.dfki.de/vm.info.phase2.html,德国联邦情报局（DFKI），2000年。

58

安德烈亚斯·沃尔特斯。
Möglichkeiten zur MR-Steuerung：Wissensk组件.
Diplorabeit，RWTH Aachen，voraussichtliches Erscheinen Anfang，2001年。