Literatur

1

James S. Aitken and Dimitrios Sklavakis.
Integrating problem-solving methods into CYC.
In Dean Thomas, editor, Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99-Vol1), pages 627-633, S.F., July 31-August 6 1999. Morgan Kaufmann Publishers.

2

Gregory R. Andrews and Fred B. Schneider.
Concepts and notations for concurrent programming.
Computing Surveys, 15(1):3-43, March 1983.
133 REFS. Treatment BIBLIOGRAPHIC SURVEY, PRACTICAL CS Dept. TR 82-12 Sept. 1982.

3

Fahiem Bacchus, Joseph Y. Halpern, and Hector J. Levesque.
Reasoning about noisy sensors in the situation calculus.
In Chris Mellish, editor, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 1933-1940, San Francisco, 1995. Morgan Kaufmann.

4

L. R. Bahl, J. K. Baker, F. Jelinek, and R. L. Mercer.
Perplexity - a measure of the difficulty of speech recognition tasks.
Program of the 94th Meeting of the Acoustical Society of America J. Acoust. Soc. Am., 62:S63, 1977.
Suppl. no. 1.

5

J. S. Bridle.
Neural networks or hidden markov models for automatic speech recognition: Is there a choice?
In P. Laface, editor, Speech Recognition and Understanding: Recent Advances, Trends and Applications. Springer-Verlag, 1991.

6

J. Buhmann, W. Burgard, A. B. Cremers, D. Fox, T. Hofmann, F. Schneider, J. Strikos, and S. Thrun.
The mobile robot rhino.
Technical Report IAI-TR-95-2, University of Bonn, Department of Computer Science, January 1, 1995.

7

Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, and Sebastian Thrun.
The interactive museum tour-guide robot.
In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98) and of the 10th Conference on Innovative Applications of Artificial Intelligence (IAAI-98), pages 11-18, Menlo Park, July 26-30 1998. AAAI Press.

8

Wolfram Burgard, Dieter Fox, Daniel Hennig, and Timo Schmidt.
Estimating the absolute position of a mobile robot using position probability grids.
In Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference, pages 896-901, Menlo Park, August 4-8 1996. AAAI Press / MIT Press.

9

Nick Cercone and Gordon I. McCalla.
Accessing knowledge through natural language.
In Marshall C. Yovits, editor, Advances in Computers, volume 25, pages 00-00. Academic Press, New York, 1986.

10

Frank Dylla, Gerhard Lakemeyer.
A speech interface for a mobile robot controlled by golog.
In Proceedings of the Second International Cognitive Robotics Workshop (CogRob-00), pages 99-103, 2000.

11

Y. Ephraim.
A bayesian estimation approach for speech enhancement using hidden markov models.
IEEE Transactions on Signal Processing, 40(4):725, 1992.

12

C. Fedor.
Tcx. an interprocess communication system for building robotic architectures. programmer's guide to version 10.xx.
Pa 15213, Carnegie Mellon University, Pittsburgh, December 1983.

13

Alexander Ferrein.
Möglichkeiten zur MR-Steuerung: Die Zentralkomponente.
Diplomarbeit, RWTH Aachen, December 2000.

14

Jr. G. D. Forney.
The viterbi algorithm.
In Proc. IEEE, pages 268-278, Mar., 1973.

15

K. Foth, W. Menzel, and I. Schröder.
A transformation-based parsing technique with anytime properties.
In Proceedings of the 4th International Workshop on Parsin Technologies, pages pp. 89-100, Trento, Italy, 2000.

16

Dieter Fox, Wolfram Burgard, and Sebastian Thrun.
The dynamic window approach to collision avoidance.
Technical Report IAI-TR-95-13, University of Bonn, Department of Computer Science, August 1, 1995.

17

M. Franzini, K.-F. Less, and A. Waibel.
Connectionist viterbi training: A new hybrid method for continuous speech recognition.
In Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, 1990.

18

K. Fukunaga.
Introduction to Statistical Pattern Recognition.
Academic Press, Boston, second edition, 1990.
[First edition, 1972].

19

Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque.
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus.
In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97), pages 1221-1226, San Francisco, August 23-29 1997. Morgan Kaufmann Publishers.

20

Guiseppe De Giacomo and Hector Levesque.
An incremental interpreter for high-level programs with sensing.
In Working Notes of the 1998 AAAI Fall Symposium on Cognitive Robotics, Rome, Italy, 1998.

21

A. R. Haas.
The case for domain-specific frame axioms.
In F. M. Brown, editor, The Frame Problem in Artificial Intelligence. Morgan Kaufmann, 1987.

22

Dirk Häehnel.
GOLEX: Ein Laufzeitsystem für die Aktionsbeschreibungssprache GOLOG zur Steuerung des mobilen Roboters RHINO.
Diplomarbeit, Rheinische Friedrich-Wilhelms-Universität Bonn, May 1998.

23

Dirk Hähnel, Wolfram Burgard, and Gerhard Lakemeyer.
GOLEX: Bridging the gap between logic (GOLOG) and a real robot.
In Otthein Herzog and Andreas Günter, editors, Proceedings of the 22nd Annual German Conference on Advances in Artificial Intelligence (KI-98), volume 1504 of LNAI, pages 165-176, Berlin, September 15-17 1998. Springer.

24

S. Harnad.
The symbol grounding problem.
Physica D, 42:335-346, 1990.

25

Matthew Hennessy.
The Semantics of Programming Languages: an Elementary Introduction using Structural Operational Semantics.
John Wiley and Sons, New York, NY, 1990.

26

Gero Iwan.
Explaining what went wrong in dynamic domains.
In Proceedings of the Second International Cognitive Robotics Workshop (CogRob-00), pages 42-48, 2000.

27

F. Jelinek.
Continuous speech recognition by statistical methods.
Proceedings of the IEEE, 64(4):532-556, April 1976.
Jelinek, F.

28

Merle S. King.
Speech Recognition System - Product Evaluation.
http://kachina.kennesaw.edu/ mking/is425/ productevals/ speechrecognition/, Department of Computer Science and Information Systems,Kennesaw State University, Georgia, 2000.

29

Gerhard Lakemeyer and Hector J. Levesque.
AOL: A logic of acting, sensing, knowing, and only knowing.
In Anthony G. Cohn, Lenhart Schubert, and Stuart C. Shapiro, editors, KR'98: Principles of Knowledge Representation and Reasoning, pages 316-327. Morgan Kaufmann, San Francisco, California, 1998.

30

Douglas B. Lenat.
CYC: A large-scale investment in knowledge infrastructure.
Communications of the ACM, 38(11):33-38, November 1995.

31

Y. Lesperance, T. C. Kelley, J. Mylopoulos, and E. S. K. Yu.
Modeling dynamic domains with ConGolog.
Lecture Notes in Computer Science, 1626:365-??, 1999.

32

Hector J. Levesque, Raymond Reiter, Ives Lespérance, Fangzhen Lin, and Richard B. Scherl.
GOLOG: A logic programming language for dynamic domains.
Journal of Logic Programming, 31(1-3):59-83, April-June 1997.

33

Jeusfeld M.A.; Jarke M.; Nissen H.W.; Staudt M.
Conceptbase - managing conceptual models about information systems.
., 1998.
ISBN 3-540-64453-9.

34

Klaus Macherey.
Entwicklung und Implementierung von Konfidenzmaßen für kontinuierlich gesprochene Sprache auf der Basis von Wortgraphen.
Diplomarbeit, RWTH Aachen, November 1998.

35

Wolfgang Macherey.
Implementierung und Vergleich diskriminativer Verfahren für Spracherkennung bei kleinem Vokabular.
Diplomarbeit, RWTH Aachen, November 1998.

36

John McCarthy.
Situations, actions, and causal laws.
Memo 2, Stanford University Artificial Intelligence Project, Stanford, California, 1963.
Reprinted as part of McCarthy.

37

D. McDermott.
A reactive plan language.
Technical Report CSD-RR-864, Yale University, 1991.

38

W. Menzel.
Constraint satisfaction for robust processing of spoken language.
In (ECAI-96) Workshop on Non-Standard Constraint Processing, Budapest, Hungary, 1996.

39

W. Menzel and I. Schröder.
Decision procedures for dependency parsing using graded constraints.
In Proceedings of the (COLING-ACL-98) Workshop - Processing of Dependency-based Grammars, Montreal, Canada, 1998.

40

H. P. Moravec and A. Elfes.
High resolution maps from wide angle sonar.
In 1985 IEEE International Conference on Robotics and Automation, pages 116-121, St. Louis, Missouri, March 1985. IEEE Computer Society Press.

41

Levesque H.; Pirri F.; Reiter R.
Foundations for the situation calculus.
In Linköping Electronic Articles in Computer and Information Science, volume 3(1998): nr 018. ., 1998.
URL: www.ep.liu.se/ea/cis/1998/018.

42

L. Rabiner and B.-H. Juang.
Fundamentals of Speech Recognition.
Englewood Cliffs NJ: PTR Prentice Hall (Signal Processing Series), 1993.
General Intro : ISBN 0-13-015157-2.

43

L. R. Rabiner.
A tutorial on hidden Markov models and selected applications in speech recognition.
Proceedings of the IEEE, 77(2):257-285, February 1989.

44

R. Reiter.
The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression.
In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380. Academic Press, New York, 1991.
Reiter, R.

45

Ray Reiter.
Sequential, temporal GOLOG.
In Anthony G. Cohn, Lenhart Schubert, and Stuart C. Shapiro, editors, KR'98: Principles of Knowledge Representation and Reasoning, pages 547-556. Morgan Kaufmann, San Francisco, California, 1998.

46

P. Schefe.
Kuenstliche Intelligenz - Ueberblicke und Grundlagen.
Bibliographisches Institut, Mannheim, 1986.

47

E.G. Schukat-Talamazzini.
Automatische Spracherkennung - Grundlagen, statistische Modelle und effiziente Algorithmen.
Künstliche Intelligenz. Vieweg, Braunschweig, 1995.

48

K. Tam, J. Lloyd, Y. Lesperance, and H. Levesque.
Controlling autonomous robots with GOLOG.
Lecture Notes in Computer Science, 1342:1-11, 1997.

49

Steven L. Tanimoto.
KI: Die Grundlagen.
R. Oldenbourg, Muenchen, 1990.

50

Ph.D Thomas Whalen.
Computational behaviorism applied to natural language.
Online report - debra.dgbt.doc.ca/chat/chat.theory.html, Communication Research Centre (Canada), Ottawa, Canada, April 1996.

51

S. Thrun, D. Fox, and W. Burgard.
Probabilistic mapping of an environment by a mobile robot.
In Proceedings of the IEEE International Conference on Robotics and Automation (ICRA-98), pages 1546-1551, Piscataway, May 16-20 1998. IEEE Computer Society.

52

Sebastian Thrun, Arno Buecken, Wolfram Burgard, Dieter Fox, Thorsten Froehlinghaus, Daniel Hennig, Thomas Hofmann, Michael Krell, and Timo Schmidt.
Map learning and high-speed navigation in RHINO.
Technical Report IAI-TR-96-3, University of Bonn, Department of Computer Science, July 15, 1996.

53

H. Ney und A. Eiden.
Mustererkennung und Neuronale Netze.
Vorlesungsmitschrift, RWTH Aachen, September 1995.

54

G. SchukatTalamazzini und H. Niemann.
Generating word hypotheses in continuous speech.
In Proc. ICASSP, pages 1565-1568, April 1986.

55

H. Ney und S. Nießen.
Sprachmodellierung und Suche.
Vorlesungsmitschrift, RWTH Aachen, April 1995.

56

Ozlem Uzuner, Boris Katz, and Deniz Yuret.
Word sense disambiguation for information retrieval.
In Proceedings of the 6th National Conference on Artificial Intelligence (AAAI-99); Proceedings of the 11th Conference on Innovative Applications of Artificial Intelligence, pages 985-986, Menlo Park, Cal., July 18-22 1999. AAAI/MIT Press.

57

W. Wahlster.
VerbMobil - Erkennung, Analyse Transfer, Generierung und Synthese von Sponatnsprache.
Online report - http://verbmobil.dfki.de/vm.info.phase2.html, Deutsches Forschzngszentrum für Künstliche Intelligenz (DFKI), 2000.

58

Andreas Walters.
Möglichkeiten zur MR-Steuerung: Die Wissenskomponente.
Diplomarbeit, RWTH Aachen, voraussichtliches Erscheinen Anfang 2001.