LIDOS BibTeX Database File
monographs.bib

@book{Aczel88,
  AUTHOR = {P. Aczel},
  TITLE = {Non-Well-Founded Sets},
  YEAR = 1988,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Aho:74,
  AUTHOR = {A. V. Aho and J. E. Hopcroft and J. D. Ullman},
  TITLE = {The Design and Analysis of Computer Algorithms},
  YEAR = 1974,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Aho:77,
  AUTHOR = {A. V. Aho and J. D. Ullman}, 
  TITLE = {Principles of Compiler Design},
  YEAR = 1977,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  STATUS = {K},
  KEYWORDS = {info},
  ABSTRACT = {}}

@book{Aho:88,
  AUTHOR = {A. V. Aho and B. W. Kernighan and P. J. Weinberger},
  TITLE = {The AWK Programming Language},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Ahrweiler95,
  AUTHOR = {P. Ahrweiler},
  TITLE = {K\"unstliche Intelligenz-Forschung in Deutschland: Die
           Etablierung eines Hochtechnologie-Fachs},
  YEAR = 1995,
  PUBLISHER = {Waxmann},
  ADDRESS = {M\"unster, New York},
  STATUS = {O},
  KEYWORDS = {ki},
  ABSTRACT = {}}

@book{Albus81,
  AUTHOR = {J. S. Albus},
  TITLE = {Brains, Behavior, and Robotics},
  YEAR = 1981,
  PUBLISHER = {BYTE Books},
  ADDRESS = {Peterborough},
  KEYWORDS = {}}

@book{Aleksander:90,
  AUTHOR = {I. Aleksander and H. Morton},
  TITLE = {An Introduction to Neural Computing},
  YEAR = 1990,
  PUBLISHER = {Chapman and Hall},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Allen87,
  AUTHOR = {J. Allen},
  TITLE = {Natural Language Understanding},
  YEAR = 1987,
  PUBLISHER = {Benjamin/Cummings},
  ADDRESS = {Menlo Park, CA},
  KEYWORDS = {}}

@book{Allen95,
  AUTHOR = {J. Allen},
  TITLE = {Natural Language Understanding},
  YEAR = 1995,
  PUBLISHER = {Benjamin/Cummings},
  ADDRESS = {Menlo Park, CA},
  EDITION = 2,
  KEYWORDS = {nl},
  ABSTRACT = {}}

@book{Allen:91a,
  AUTHOR = {J. F. Allen and H. A. Kautz and R. N. Pelavin and J. D. Tenenberg},
  TITLE = {Reasoning about Plans},
  YEAR = 1991,
  PUBLISHER = {Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Allison86,
  AUTHOR = {L. Allison},
  TITLE = {A Practical Introduction to Denotational Semantics},
  YEAR = 1986,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Amit89,
  AUTHOR = {D. J. Amit},
  TITLE = {Modeling Brain Function: The World of Attractor Neural Networks},
  YEAR = 1989,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Andersen90,
  AUTHOR = {P. B. Andersen},
  TITLE = {A Theory of Computer Semiotics: Semiotic Approaches to Construction and Assessment of Computer Systems},
  YEAR = 1990,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Anderson88,
  AUTHOR = {J. R. Anderson},
  TITLE = {Kognitive Psychologie},
  YEAR = 1988, 
  PUBLISHER = {Spektrum der Wissenschaft},
  ADDRESS = {Heidelberg},
  KEYWORDS = {psych kog},
  ABSTRACT = {}}

@book{Andre95,
  AUTHOR = {E. Andr\'e},
  TITLE = {Ein planbasierter Ansatz zur Generierung multimedialer 
           Pr\"asentationen},
  YEAR = 1995,
  PUBLISHER = {Infix},
  ADDRESS = {St. Augustin},
  KEYWORDS = {multimedia},
  ABSTRACT = {}}

@book{Andrews70,
  AUTHOR = {H. C. Andrews},
  TITLE = {Computer Techniques in Image Processing},
  YEAR = 1970,
  PUBLISHER = {Academic Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Andrews86,
  AUTHOR = {P. B. Andrews},
  TITLE = {An Introduction to Mathematical Logic and Type Theory: To Truth through Proof},
  YEAR = 1986,
  PUBLISHER = {Academic Press},
  ADDRESS = {Orlando, FL},
  KEYWORDS = {}}

@book{Apostol86,
  AUTHOR = {T. M. Apostol},
  TITLE = {Introduction to Analytic Number Theory},
  YEAR = 1986,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Appelrath85,
  AUTHOR = {H.-J. Appelrath},
  TITLE = {Von Datenbanken zu Expertensystemen},
  YEAR = 1985,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {exp-sys}}

@book{Appelt85,
  AUTHOR = {D. E. Appelt},
  TITLE = {Planning English Sentences},
  YEAR = 1985,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {user-mod}}

@book{Arkadjew:66,
  AUTHOR = {A. G. Arkadjew and E. M. Brawerman},
  TITLE = {Zeichenerkennung und maschinelles Lernen},
  YEAR = 1966,
  PUBLISHER = {Oldenbourg},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Asperti:91,
  AUTHOR = {A. Asperti and G. Longo},
  TITLE = {Categories, Types and Structures: An Introduction to Category Theory for the Working Computer Scientist},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Austin62,
  AUTHOR = {J. L. Austin},
  TITLE = {How to do Things with Words},
  YEAR = 1962,
  PUBLISHER = {Oxford University Press},
  ADDRESS = {New York},
  KEYWORDS = {},
  ABSTRACT = {}}

@book{Badler:93,
  AUTHOR = {N. I. Badler and C. B. Phillips and B. L. Webber}, 
  TITLE = {Simulating Humans: Computer Graphics Animation and Control},
  YEAR = 1993,
  PUBLISHER = {Oxford University Press},
  ADDRESS = {New York, NY, Oxford},
  KEYWORDS = {graphics},
  ABSTRACT = {}}

@book{Baeuerle79,
  AUTHOR = {R. B\"auerle},
  TITLE = {Temporale Deixis, temporale Frage: Zum propositionalen Gehalt
           deklarativer und interrogativer S\"atze},
  YEAR = 1979,
  PUBLISHER = {Narr},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {ling temp},
  ABSTRACT = {}}

@book{Baird85,
  AUTHOR = {H. S. Baird},
  TITLE = {Model-Based Image Matching Using Location},
  YEAR = 1985,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Bakker80,
  AUTHOR = {J. de Bakker},
  TITLE = {Mathematical Theory of Program Correctness},
  YEAR = 1980,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  STATUS = {O},
  KEYWORDS = {info theo},
  ABSTRACT = {}}

@book{Ballard:82,
  AUTHOR = {D. H. Ballard and C. M. Brown}, 
  TITLE = {Computer Vision},
  YEAR = 1982,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {vision},
  ABSTRACT = {}}

@book{Ballmer:86,
  AUTHOR = {T. T. Ballmer and W. Brennenstuhl},
  TITLE = {Deutsche Verben: Eine sprachanalytische Untersuchung des Deutschen Verbwortschatzes},
  YEAR = 1986,
  PUBLISHER = {Narr},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {ling, action}}

@book{Ballweg:81,
  AUTHOR = {J. Ballweg and A. Ballweg-Schramm and P. Bourstin and H. Frosch and J. Kubczak and H. Schumacher},
  TITLE = {Konzeption eines W\"orterbuchs deutscher Verben},
  YEAR = 1981,
  PUBLISHER = {Narr},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {}}

@book{Banahan88,
  AUTHOR = {M. Banahan},
  TITLE = {The C Book: Featuring the Draft ANSI C Standard},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England},
  KEYWORDS = {}}

@book{Banerji80,
  AUTHOR = {R. B. Banerji},
  TITLE = {Artificial Intelligence: A Theoretical Approach},
  YEAR = 1980,
  PUBLISHER = {North-Holland},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Bartlett32,
  AUTHOR = {N. V. Bartlett},
  TITLE = {Remembering: A Study in Experimental and Social Psychology},
  YEAR = 1932,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, London},
  KEYWORDS = {psych kog},
  ABSTRACT = {}}

@book{Barton:87,
  AUTHOR = {G. E. Barton and R. C. Berwick and E. S. Ristad},
  TITLE = {Computational Complexity and Natural Language},
  YEAR = 1987,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Barwise89,
  AUTHOR = {J. Barwise},
  TITLE = {The Situation in Logic},
  YEAR = 1989,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Barwise:83,
  AUTHOR = {J. Barwise and J. Perry},
  TITLE = {Situations and Attitudes},
  YEAR = 1983,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {phil, semantics}}

@book{Barwise:87,
  AUTHOR = {J. Barwise and J. Perry}, 
  TITLE = {Situationen und Einstellungen: Grundlagen der Situationssemantik},
  YEAR = 1987,
  PUBLISHER = {de Gruyter},
  ADDRESS = {Berlin, New York},
  KEYWORDS = {phil ling sem},
  ABSTRACT = {}}

@book{Bass:91,
  AUTHOR = {L. Bass and J. Coutaz},
  TITLE = {Developing Software for the User Interface},
  YEAR = 1991,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {ui},
  ABSTRACT = {}}

@book{Beaugrande:81,
  AUTHOR = {R.-A. de Beaugrande and W. U. Dressler}, 
  TITLE = {Einf\"uhrung in die Textlinguistik},
  YEAR = 1981,
  PUBLISHER = {Niemeyer},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {ling text},
  ABSTRACT = {}}

@book{Beckstein88,
  AUTHOR = {C. Beckstein},
  TITLE = {Zur Logik der Logik-Programmierung},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bell:92,
  AUTHOR = {D. Bell and J. Grimson},
  TITLE = {Distributed Database Systems},
  YEAR = 1992,
  PUBLISHER = {Addison Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Belnap:76,
  AUTHOR = {N. D. Belnap and T. B. Steel},
  TITLE = {The Logic of Questions and Answers},
  YEAR = 1976,
  PUBLISHER = {Yale University Press},
  ADDRESS = {New Haven, CT},
  STATUS = {find},
  KEYWORDS = {},
  ABSTRACT = {}}

@book{Bennett75,
  AUTHOR = {D. G. Bennett},
  TITLE = {Spatial and Temporal Uses of English Prepositions.
           An Essay in Stratificational Semantics},
  YEAR = 1975,
  PUBLISHER = {Longman},
  ADDRESS = {London},
  KEYWORDS = {ling raum temp},
  ABSTRACT = {}}

@book{Benthem83,
  AUTHOR = {J. F. A. K. van Benthem},
  TITLE = {The Logic of Time: A Model-Theoretic Investigation into the
           Varieties of Temporal Ontology and Temporal Discourse},
  YEAR = 1983,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {temp logic},
  ABSTRACT = {}}

@book{Benthem86,
  AUTHOR = {J. van Benthem},
  TITLE = {Essays in Logical Semantics},
  YEAR = 1986,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Bentley86,
  AUTHOR = {J. Bentley},
  TITLE = {Programming Pearls},
  YEAR = 1986,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Bentley88,
  AUTHOR = {J. Bentley},
  TITLE = {More Programming Pearls: Confessions of a Coder},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Bergmann:77,
  AUTHOR = {E. Bergmann and H. Noll},
  TITLE = {Mathematische Logik mit Informatik-Anwendungen},
  YEAR = 1977,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Berka:71,
  AUTHOR = {K. Berka and L. Kreiser},
  TITLE = {Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik},
  YEAR = 1971,
  PUBLISHER = {Akademie-Verlag},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Berka:86,
  AUTHOR = {K. Berka and L. Kreiser},
  TITLE = {Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik},
  YEAR = 1986,
  EDITION = 4,
  PUBLISHER = {Akademie-Verlag},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Berwick85,
  AUTHOR = {R. C. Berwick},
  TITLE = {The Acquisition of Syntactic Knowledge},
  YEAR = 1985,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Besnard89,
  AUTHOR = {P. Besnard},
  TITLE = {An Introduction to Default Logic},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bibel87,
  AUTHOR = {W. Bibel},
  TITLE = {Automated Theorem Proving},
  YEAR = 1987,
  EDITION = 2,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Bickenbach:85,
  AUTHOR = {J. Bickenbach and R. Keil-Slawik and M. L\"owe and R. Wilhelm},
  TITLE = {Militarisierte Informatik},
  YEAR = 1985,
  PUBLISHER = {Marbuch},
  ADDRESS = {Marburg},
  KEYWORDS = {}}

@book{Billing61,
  AUTHOR = {H. Billing},
  TITLE = {Lernende Automaten},
  YEAR = 1961,
  PUBLISHER = {Oldenbourg},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}
@book{Biggerstaff:89,
  AUTHOR = {T. J. Biggerstaff and A. J. Perlis and eds},
  TITLE = {Software Reusability - Volume II Applications and Experience},
  YEAR = 1989,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Bird:92,
  AUTHOR = {R. Bird and P. Wadler},
  TITLE = {Einf\"uhrung in die funktionale Programmierung},
  YEAR = 1992,
  PUBLISHER = {Hanser},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Blakemore87,
  AUTHOR = {D. Blakemore},
  TITLE = {Semantic Constraints on Relevance},
  YEAR = 1987,
  PUBLISHER = {Basil Blackwell},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Blanke73,
  AUTHOR = {G. H. Blanke},
  TITLE = {Einf\"uhrung in die semantische Analyse},
  YEAR = 1973,
  PUBLISHER = {Hueber},
  ADDRESS = {M\"unchen},
  KEYWORDS = {ling sem},
  ABSTRACT = {}}

@book{Bocionek90,
  AUTHOR = {S. Bocionek},
  TITLE = {Modulare Regelprogrammierung},
  YEAR = 1990,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Boden87,
  AUTHOR = {M. A. Boden},
  TITLE = {Artificial Intelligence and Natural Man},
  YEAR = 1987,
  PUBLISHER = {MIT Press},
  ADDRESS = {London },
  KEYWORDS = {}}

@book{Boehling:74,
  AUTHOR = {K. H. B\"ohling and B. Braunm\"uhl},
  TITLE = {Komplexit\"at bei Turingmaschinen},
  YEAR = 1974,
  PUBLISHER = {Bibliographisches Institut},
  ADDRESS = {Mannheim},
  KEYWORDS = {}}

@book{Boehringer:88,
  AUTHOR = {B. B\"ohringer and C. Chiopris and I. Futo},
  TITLE = {Wissensbasierte Systeme mit Prolog},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Bonn},
  KEYWORDS = {}}

@book{Boesel77,
  AUTHOR = {R. B\"osel},
  TITLE = {Signalverarbeitung in Nervennetzen},
  YEAR = 1977,
  PUBLISHER = {Ernst Reinhardt Verlag},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Bonse91,
  AUTHOR = {E. Bonse},
  TITLE = {Wissen ist Macht: Modernisierungspolitik am Beispiel der ``K\"unstlichen Intelligenz''},
  YEAR = 1991,
  PUBLISHER = {Dr. Kovac},
  ADDRESS = {Hamburg},
  KEYWORDS = {}}

@book{Booch91,
  AUTHOR = {G. Booch},
  TITLE = {Object Oriented Design with Applications},
  YEAR = 1991,
  PUBLISHER = {Benjamin/Cummings},
  ADDRESS = {Rewood City, CA},
  KEYWORDS = {}}

@book{Boolos:74,
  AUTHOR = {G. Boolos and R. Jeffrey},
  TITLE = {Computability and Logic},
  YEAR = 1974,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Bosch83,
  AUTHOR = {P. Bosch},
  TITLE = {Agreement and Anaphora: A Study of the Role of Pronouns in Syntax and Discourse},
  YEAR = 1983,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Bossel:89,
  AUTHOR = {H. Bossel and B. R. Hornung and K-F. M\"uller-Rei\ss{}mann},
  TITLE = {Wissensdynamik mit DEDUC: Grundlagen und Methoden dynamischer Wissensverarbeitung: Wirkungsanalyse, Folgenabsch\"atzung und Konsequenzenbewertung},
  YEAR = 1989,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Bothner:91,
  AUTHOR = {P. Bothner and W.-M. K\"ahler},
  TITLE = {Programmieren in PROLOG: Eine umfassende und praxisgerechte Einf\"uhrung},
  YEAR = 1991,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Bothner:93,
  AUTHOR = {P. P. Bothner and W. M. K\"ahler},
  TITLE = {Programmieren in LISP: Eine elementare und anwendungsorientierte Einf\"uhrung},
  YEAR = 1993,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Boy91,
  AUTHOR = {G. A. Boy},
  TITLE = {Intelligent Assistant Systems},
  YEAR = 1991,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {know-repr}}

@book{Boyer:79,
  AUTHOR = {R. S. Boyer and J. S. Moore},
  TITLE = {A Computational Logic},
  YEAR = 1979,
  PUBLISHER = {Academic Press},
  ADDRESS = {Orlando},
  KEYWORDS = {}}

@book{Brand84,
  AUTHOR = {M. Brand},
  TITLE = {Intending and Acting: Toward a Naturalized Action Theory},
  YEAR = 1984,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {action, phil}}

@book{Bratko86,
  AUTHOR = {I. Bratko},
  TITLE = {PROLOG: Programmierung f\"ur K\"unstliche Intelligenz},
  YEAR = 1986,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Bonn, Germany},
  KEYWORDS = {}}

@book{Bratman87,
  AUTHOR = {M. E. Bratman},
  TITLE = {Intention, Plans, and Practical Reason},
  YEAR = 1987,
  PUBLISHER = {Harvard University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {plans}}

@book{Brause91,
  AUTHOR = {R. Brause},
  TITLE = {Neuronale Netze},
  YEAR = 1991,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Breutmann:92,
  AUTHOR = {B. Breutmann and R. Burkhardt},
  TITLE = {Objektorientierte Systeme: Grundlagen - Werkzeuge - Einsatz},
  YEAR = 1992,
  PUBLISHER = {Hanser},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Brinker85,
  AUTHOR = {K. Brinker},
  TITLE = {Linguistische Textanalyse},
  YEAR = 1985,
  PUBLISHER = {Schmidt},
  ADDRESS = {Berlin},
  KEYWORDS = {ling text},
  ABSTRACT = {}}

@book{Brown:83,
  AUTHOR = {G. Brown and G. Yule},
  TITLE = {Discourse Analysis},
  YEAR = 1983,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Buehler34,
  AUTHOR = {K. B\"uhler},
  TITLE = "Sprachtheorie",
  YEAR = 1934,
  PUBLISHER = {Fischer},
  ADDRESS = {Jena},
  KEYWORDS = {ling, psych},
  ABSTRACT = {}}

@book{Buenting84,
  AUTHOR = {K.-D. B\"unting},
  TITLE = {Einf\"uhrung in die Linguistik},
  YEAR = 1984,
  PUBLISHER = {Athen\"aum},
  ADDRESS = {K\"onigstein/Ts.},
  KEYWORDS = {ling},
  ABSTRACT = {}}

@book{Buenting:79,
  AUTHOR = {K.-D. B\"unting and H. Bergenholtz}, 
  TITLE = {Einf\"uhrung in die Syntax},
  YEAR = 1979,
  PUBLISHER = {Athen\"aum},
  ADDRESS = {K\"onigstein/Ts.},
  KEYWORDS = {ling gram},
  ABSTRACT = {}}

@book{Buerkert91,
  AUTHOR = {H.-J. B\"urkert},
  TITLE = {A Resolution Principle for a Logic with Restricted Quantifiers},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bundy83,
  AUTHOR = {A. Bundy},
  TITLE = {The Computer Modelling of Mathematical Reasoning},
  YEAR = 1983,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Bundy:78,
  AUTHOR = {A. Bundy and R. M. Burstall and S. Weir and R. M. Young},
  TITLE = {Artificial Intelligence: An Introductory Course},
  YEAR = 1978,
  PUBLISHER = {Edinburgh University Press},
  ADDRESS = {Edinburgh},
  KEYWORDS = {}}

@book{Bunt85,
  AUTHOR = {H. C. Bunt},
  TITLE = {Mass Terms and Model-Theoretic Semantics},
  YEAR = 1985,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Burger:89,
  AUTHOR = {P. Burger and D. Gillies}, 
  TITLE = {Interactive Computer Graphics},
  YEAR = 1989,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {graphik},
  ABSTRACT = {}}

@book{Burns88,
  AUTHOR = {A. Burns},
  TITLE = {Programming in OCCAM 2},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England},
  KEYWORDS = {}}

@book{Burton:87,
  AUTHOR = {M. Burton and N. Shadbolt},
  TITLE = {Pop-11 Programming for Artificial Intelligence},
  YEAR = 1987,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England},
  KEYWORDS = {}}

@book{Busemann92,
  AUTHOR = {S. Busemann},
  TITLE = {Generierung nat\"urlicher Sprache mit generalisierten Phrasenstrukturgrammatiken},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bussmann83,
  AUTHOR = {H. Bu\ss{}mann},
  TITLE = {Lexikon der Sprachwissenschaft},
  YEAR = 1983,
  PUBLISHER = {Kr\"oner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Callatay86,
  AUTHOR = {A. M. de Callatay},
  TITLE = {Natural and Artificial Intelligence},
  YEAR = 1986,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Cao93,
  AUTHOR = {Y. Cao},
  TITLE = {Zur Darstellung und Verarbeitung von Wissen \"uber 
           Himmelsrichtungen: geometrische und kognitionswissenschaftliche
           Aspekte},
  YEAR = 1993,
  PUBLISHER = {Infix},
  ADDRESS = {St. Augustin},
  KEYWORDS = {raum},
  ABSTRACT = {}}

@book{Carberry90,
  AUTHOR = {S. Carberry},
  TITLE = {Plan Recognition in Natural Language Dialogue},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Carlson83,
  AUTHOR = {L. Carlson},
  TITLE = {Dialogue Games: An Approach to Discourse Analysis},
  YEAR = 1983,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Carnap58,
  AUTHOR = {R. Carnap},
  TITLE = {Introduction to Symbolic Logic and its Applications},
  YEAR = 1958,
  PUBLISHER = {Dover Publications},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Carnap:59,
  AUTHOR = {R. Carnap and W. Stegm\"uller},
  TITLE = {Induktive Logik und Wahrscheinlichkeit},
  YEAR = 1959,
  PUBLISHER = {Springer},
  ADDRESS = {Wien},
  KEYWORDS = {}}

@book{Chandy:88,
  AUTHOR = {K. M. Chandy and J. Misra},
  TITLE = {Parallel Program Design: A Foundation},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Chang:73a,
  AUTHOR = {C. C. Chang and H. J. Keisler},
  TITLE = {Model Theory},
  YEAR = 1973,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Chang:73b,
  AUTHOR = {C.-L. Chang and R. C.-T. Lee},
  TITLE = {Symbolic Logic and Mechanical Theorem Proving},
  YEAR = 1973,
  PUBLISHER = {Academic Press},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Chapman91,
  AUTHOR = {D. Chapman},
  TITLE = {Vision, Instruction, and Action},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {event},
  ABSTRACT = {}}

@book{Charniak:80,
  AUTHOR = {E. Charniak and C. R. Riesbeck and D. V. McDermott},
  TITLE = {Artificial Intelligence Programming},
  YEAR = 1980,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Charniak:85,
  AUTHOR = {E. Charniak and D. McDermott},
  TITLE = {Introduction to Artificial Intelligence},
  YEAR = 1985,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Charniak:87,
  AUTHOR = {E. Charniak and C. R. Riesbeck and D. V. McDermott and J. R. Meehan},
  TITLE = {Artificial Intelligence Programming},
  YEAR = 1987,
  EDITION = 2,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Chomsky73,
  AUTHOR = {N. Chomsky},
  TITLE = {Aspekte der Syntax-Theorie},
  YEAR = 1973,
  PUBLISHER = {Suhrkamp},
  ADDRESS = {Frankfurt/Main},
  KEYWORDS = {ling},
  ABSTRACT = {}}

@book{Ci:90,
  AUTHOR = {Y. Ci and C. Zhang and C. Sun},
  TITLE = {New Generation Computing: Recent Research},
  YEAR = 1990,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Clocksin:81,
  AUTHOR = {W. F. Clocksin and C. S. Mellish},
  TITLE = {Programming in Prolog},
  YEAR = 1981,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {progr}}

@book{Clocksin:87,
  AUTHOR = {W. F. Clocksin and C. S. Mellish},
  TITLE = {Programming in Prolog},
  YEAR = 1987,
  EDITION = 3,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Coelho:88,
  AUTHOR = {H. Coelho and J. C. Cotta},
  TITLE = {Prolog by Example: How to Learn, Teach and Use it},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Cohen87,
  AUTHOR = {D. E. Cohen},
  TITLE = {Computability and Logic},
  YEAR = 1987,
  PUBLISHER = {Ellis Horwood},
  ADDRESS = {Chichester},
  KEYWORDS = {}}

@book{Cordes:90,
  AUTHOR = {R. Cordes and R. Kruse and H. Langend\"orfer and H. Rust},
  TITLE = {PROLOG: Eine methodische Einf\"uhrung},
  YEAR = 1990,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Cormen:90,
  AUTHOR = {T. H. Cormen and C. E. Leisersonand R. L. Rivest},
  TITLE = {Introduction to Algorithms},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {prog},
  ABSTRACT = {}}

@book{Cottrell89,
  AUTHOR = {G. W. Cottrell},
  TITLE = {A Connectionist Approach to Word Sense Disambiguation},
  YEAR = 1989,
  PUBLISHER = {Pitman and Kaufmann},
  ADDRESS = {London and San Mateo CA},
  KEYWORDS = {ling, n-l-p}}

@book{Coulouris:88,
  AUTHOR = {G. F. Coulouris and J. Dollimore},
  TITLE = {Distributed Systems: Concepts and Design},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England},
  KEYWORDS = {}}

@book{Cox86,
  AUTHOR = {B. J. Cox},
  TITLE = {Object-Oriented Programming: An Evolutionary Approach},
  YEAR = 1986,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Crangle:94,
  AUTHOR = {C. Crangle and P. Suppes},
  TITLE = {Language and Learning for Robots},
  YEAR = 1994,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  SERIES = {Lecture Notes},
  VOLUME = 41,
  KEYWORDS = {nl robot raum},
  ABSTRACT = {}}

@book{Cunis92,
  AUTHOR = {R. Cunis},
  TITLE = {Das 3-stufige Frame-Repr\"asentationsschema: Eine mehrdimensional modulare Basis f\"ur die Entwicklung von Expertensystemkernen},
  YEAR = 1992,
  PUBLISHER = {Infix},
  ADDRESS = {Sankt Augustin},
  KEYWORDS = {}}

@book{Dahl92,
  AUTHOR = {O.-J. Dahl},
  TITLE = {Verifable Programming},
  YEAR = 1992,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {New Yoek},
  KEYWORDS = {}}

@book{Dahlgren88,
  AUTHOR = {K. Dahlgren},
  TITLE = {Naive Semantics for Natural Language Understanding},
  YEAR = 1988,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Dale92,
  AUTHOR = {R. Dale},
  TITLE = {Generating Referring Expressions: Constructing Descriptions in a Domain of Objects and Processes},
  YEAR = 1992,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Dalen83,
  AUTHOR = {D. van Dalen},
  TITLE = {Logic and Structure},
  YEAR = 1983,
  EDITION = 2,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Dantzig63,
  AUTHOR = {G. B. Dantzig},
  TITLE = {Linear Programming and Extensions},
  YEAR = 1963,
  PUBLISHER = {Princeton University Press},
  ADDRESS = {Princeton, NJ},
  KEYWORDS = {info},
  ABSTRACT = {}}

@book{Dantzig66,
  AUTHOR = {G. B. Dantzig},
  TITLE = {Lineare Programmierung und Erweiterungen},
  YEAR = 1966,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {info},
  ABSTRACT = {}}

@book{Date95,
  AUTHOR = {C. J. Date},
  TITLE = {An Introduction to Database Systems},
  YEAR = 1995,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  EDITION = 6,
  KEYWORDS = {info data},
  ABSTRACT = {}}

@book{Davidson80,
  AUTHOR = {D. Davidson},
  TITLE = {Essays on Actions and Events},
  YEAR = 1980,
  PUBLISHER = {Clarendon},
  ADDRESS = {Oxford},
  KEYWORDS = {phil event},
  ABSTRACT = {}}

@book{Davis86,
  AUTHOR = {E. Davis},
  TITLE = {Representing and Acquiring Geographic Knowledge},
  YEAR = 1986,
  PUBLISHER = {Pitman},
  ADDRESS = {London},
  KEYWORDS = {raum},
  ABSTRACT = {}}

@book{Davis90,
  AUTHOR = {E. Davis},
  TITLE = {Representations of Commonsense Knowledge},
  YEAR = 1990,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Davis:82,
  AUTHOR = {R. Davis and D. B. Lenat},
  TITLE = {Knowledge-Based Systems in Artificial Intelligence},
  YEAR = 1982,
  PUBLISHER = {McGraw},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Davis:83,
  AUTHOR = {M. D. Davis and E. J. Weyuker},
  TITLE = {Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science},
  YEAR = 1983,
  PUBLISHER = {Academic Press},
  ADDRESS = {San Diego, CA},
  KEYWORDS = {}}

@book{Dean:95,
  AUTHOR = {T. Dean and J. F. Allen and Y. Aloimonos},
  TITLE = {Artificial Intelligence: Theory and Practice},
  YEAR = 1995,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Menlo Park, CA},
  KEYWORDS = {ki},
  ABSTRACT = {}}

@book{Dennett91,
  AUTHOR = {D. C. Dennett},
  TITLE = {Consciousness Explained},
  YEAR = 1991,
  PUBLISHER = {Little, Brown and Company},
  ADDRESS = {Boston, New York},
  KEYWORDS = {phil},
  ABSTRACT = {}}

@book{Dershowitz83,
  AUTHOR = {N. Dershowitz},
  TITLE = {The Evolution of Programs},
  YEAR = 1983,
  PUBLISHER = {Birkh\"auser},
  ADDRESS = {Basel},
  KEYWORDS = {}}

@book{Diesing82,
  AUTHOR = {M. Diesing},
  TITLE = {Lokatoren},
  YEAR = 1982,
  PUBLISHER = {K\"ummerle},
  ADDRESS = {G\"oppingen},
  KEYWORDS = {look},
  ABSTRACT = {}}

@book{Dijk80a,
  AUTHOR = {T. A. van Dijk},
  TITLE = {Textwissenschaft},
  YEAR = 1980,
  PUBLISHER = {Niemeyer},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {ling psych text},
  ABSTRACT = {}}

@book{Dijk:83,
  AUTHOR = {T. A. van Dijk and W. Kintsch}, 
  TITLE = {Strategies of Discourse Comprehension},
  YEAR = 1983,
  PUBLISHER = {Academic Press},
  ADDRESS = {New York},
  KEYWORDS = {ling psych text},
  ABSTRACT = {}}

@book{Dorn89,
  AUTHOR = {J. Dorn},
  TITLE = {Wissensbasierte Echtzeitplanung},
  YEAR = 1989,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Downs:77,
  AUTHOR = {R. M. Downs and D. Stea}, 
  TITLE = {Maps in Mind: Reflections on Cognitive Mapping},
  YEAR = 1977,
  PUBLISHER = {Harper \& Row},
  ADDRESS = {New York},
  KEYWORDS = {raum},
  ABSTRACT = {}}

@book{Downs:82,
  AUTHOR = {R. M. Downs and D. Stea}, 
  TITLE = {Kognitive Karten: Die Welt in unseren K\"opfen},
  YEAR = 1982,
  PUBLISHER = {UTB, Harper \& Row},
  ADDRESS = {New York},
  KEYWORDS = {raum},
  ABSTRACT = {}}

@book{Dowty79,
  AUTHOR = {D. Dowty},
  TITLE = {Word Meaning and Montague Grammar},
  YEAR = 1979,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {sem},
  ABSTRACT = {}}

@book{Dowty:81,
  AUTHOR = {D. R. Dowty and R. E. Wall and S. Peters},
  TITLE = {Introduction to Montague Semantics},
  YEAR = 1981,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {phil, semantics}}

@book{Dreyfus72,
  AUTHOR = {H. L. Dreyfus},
  TITLE = {What Computers Can't Do},
  YEAR = 1972,
  PUBLISHER = {Harper \& Row},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Dreyfus79,
  AUTHOR = {H. L. Dreyfus},
  TITLE = {What Computers Can't Do: The Limits of Artificial Intelligence},
  YEAR = 1979,
  PUBLISHER = {Harper \& Row},
  ADDRESS = {New York},
  KEYWORDS = {ai-critic}}

@book{Dreyfus85,
  AUTHOR = {H. L. Dreyfus},
  TITLE = {Die Grenzen k\"unstlicher Intelligenz: Was Computer nicht k\"onnen},
  YEAR = 1985,
  PUBLISHER = {Athen\"aum},
  ADDRESS = {K\"onigstein, Germany},
  KEYWORDS = {}}

@book{Dreyfus:86,
  AUTHOR = {H. L. Dreyfus and S. E. Dreyfus},
  TITLE = {Mind over Machine},
  YEAR = 1986,
  PUBLISHER = {Free Press},
  ADDRESS = {New York},
  KEYWORDS = {ai-critic}}

@book{Dybvig87,
  AUTHOR = {R. K. Dybvig},
  TITLE = {The Scheme Programming Language},
  YEAR = 1987,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {}}

@book{Dyer83,
  AUTHOR = {M. G. Dyer},
  TITLE = {In-Depth Understanding: A Computer Model of Integrated Processing for Narrative Comprehension},
  YEAR = 1983,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {user-mod}}

@book{Eccles79,
  AUTHOR = {J. C. Eccles},
  TITLE = {Das Gehirn des Menschen},
  YEAR = 1979,
  PUBLISHER = {Piper},
  ADDRESS = {M\"unchen},
  KEYWORDS = {phys, connect}}

@book{Eco72,
  AUTHOR = {U. Eco},
  TITLE = {Einf\"uhrung in die Semiotik},
  YEAR = 1972,
  PUBLISHER = {Fink},
  ADDRESS = {M\"unchen},
  KEYWORDS = {ling sem},
  ABSTRACT = {}}

@book{Eder92,
  AUTHOR = {E. Eder},
  TITLE = {Relative Complexities of First Order Calculi},
  YEAR = 1992,
  PUBLISHER = {Vieweg},
  ADDRESS = {Wiesbaden},
  KEYWORDS = {know-repr, infer}}

@book{Ehlich79,
  AUTHOR = {K. Ehlich},
  TITLE = {Verwendung der Deixis beim sprachlichen Handeln},
  YEAR = 1979,
  PUBLISHER = {Lang},
  ADDRESS = {Frankfurt/Main},
  KEYWORDS = {raum},
  ABSTRACT = {}}

@book{Eichler:78,
  AUTHOR = {W. Eichler and K.-D. B\"unting}, 
  TITLE = {Deutsche Grammatik},
  YEAR = 1978,
  PUBLISHER = {Athen\"aum},
  ADDRESS = {K\"onigstein/Ts.},
  EDITION = 2,
  KEYWORDS = {ling gram},
  ABSTRACT = {}}

@book{Eisenberg89,
  AUTHOR = {P. Eisenberg},
  TITLE = {Grundri\ss{} der deutschen Grammatik},
  YEAR = 1989,
  EDITION = 2,
  PUBLISHER = {Metzler},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Ellen:87,
  EDITOR = {R. J. Ellen and C. Thinus-Blanc}, 
  TITLE = {Cognitive Processes and Spatial Orientation in Animal and Man},
  YEAR = 1987,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {raum},
  ABSTRACT = {}}

@book{Emde91,
  AUTHOR = {W. Emde},
  TITLE = {Modellbildung, Wissensrevision und Wissensrepr\"asentation im Maschinellen Lernen},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Encarnacao:88,
  AUTHOR = {J. Encarna\c{}\~{a}o and W. Stra\ss{}er}, 
  TITLE = {Computer Graphics},
  YEAR = 1988,
  PUBLISHER = {Oldenburg},
  ADDRESS = {m\"unchen},
  EDITION = 3,
  KEYWORDS = {info graph},
  ABSTRACT = {}}

@book{Engel82,
  AUTHOR = {U. Engel},
  TITLE = {Syntax der deutschen Gegenwartssprache},
  YEAR = 1982,
  PUBLISHER = {Schmidt},
  ADDRESS = {Berlin},
  KEYWORDS = {ling}}

@book{Engelkamp74,
  AUTHOR = {J. Engelkamp},
  TITLE = {Psycholinguistik},
  YEAR = 1974,
  PUBLISHER = {Fink},
  ADDRESS = {M\"unchen},
  KEYWORDS = {ling psych sem prag},
  ABSTRACT = {}}

@book{Engelien:91,
  AUTHOR = {B. Engelien and R. McBryde},
  TITLE = {Natural Language Markets: Commercial Strategies},
  YEAR = 1991,
  PUBLISHER = {Ovum},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Epstein90,
  AUTHOR = {R. L. Epstein},
  TITLE = {The Semantics Foundations of Logic. Volume 1: Propositional Logics},
  YEAR = 1990,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Esser:89,
  AUTHOR = {R. Esser and E. Feldmar},
  TITLE = {LISP: Fallstudien mit Anwendungen in der K\"unstlichen Intelligenz},
  YEAR = 1989,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Etherington88,
  AUTHOR = {D. W. Etherington},
  TITLE = {Reasoning with Incomplete Information},
  YEAR = 1988,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Los Altos, CA},
  KEYWORDS = {}}

@book{Eusterbrock92,
  AUTHOR = {J. Eusterbrock},
  TITLE = {Wissensbasierte Verfahren zur Synthese Mathematischer Beweise: Eine Kombinatorische Anwendung},
  YEAR = 1992,
  PUBLISHER = {Infix},
  ADDRESS = {Sankt Augustin},
  KEYWORDS = {}}

@book{Fahlman79,
  AUTHOR = {S. E. Fahlman},
  TITLE = {NETL: A System for Representing and Using Real-World Knowledge},
  YEAR = 1979,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Fann70,
  AUTHOR = {K. T. Fann},
  TITLE = {Peirce's Theory of Abduction},
  YEAR = 1970,
  PUBLISHER = {Nijhoff},
  ADDRESS = {The Hague, Holland},
  KEYWORDS = {}}

@book{Faugeras93,
  AUTHOR = {O. D. Faugeras},
  TITLE = {Three-Dimensional Computer Vision},
  YEAR = 1993,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {vision},
  ABSTRACT = {}}

@book{Feigenbaum:83,
  AUTHOR = {E. A. Feigenbaum and P. McCorduck},
  TITLE = {The Fifth Generation: Artificial Intelligence and Japan's Computer Challenge to the World},
  YEAR = 1983,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Feigenbaum:84,
  AUTHOR = {E. A. Feigenbaum and P. McCorduck},
  TITLE = {Die F\"unfte Computer-Generation},
  YEAR = 1984,
  PUBLISHER = {Birkh\"auser},
  ADDRESS = {Basel},
  KEYWORDS = {}}

@book{Fellner88,
  AUTHOR = {W. D. Fellner},
  TITLE = {Computer Grafik},
  YEAR = 1988,
  PUBLISHER = {Bibliographisches Institut},
  ADDRESS = {Mannheim},
  KEYWORDS = {info graph},
  ABSTRACT = {}}

@book{Fenstad:87,
  AUTHOR = {J. E. Fenstad and P.-K. Halvorsen and T. Langholm and J. van Benthem},
  TITLE = {Situations, Language and Logic},
  YEAR = 1987,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Fetzer90,
  AUTHOR = {J. H. Fetzer},
  TITLE = {Artificial Intelligence: Its Scope and Limits},
  YEAR = 1990,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Field:88,
  AUTHOR = {A. J. Field and P. G. Harrison},
  TITLE = {Functional Programming},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England},
  KEYWORDS = {}}

@book{Fine85,
  AUTHOR = {K. Fine},
  TITLE = {Reasoning with Arbitrary Objects},
  YEAR = 1985,
  PUBLISHER = {Basil Blackwell},
  ADDRESS = {Oxford, England},
  KEYWORDS = {}}

@book{Finke89,
  AUTHOR = {R. A. Finke},
  TITLE = {Principles of Mental Imagery},
  YEAR = 1989,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {raum imag},
  ABSTRACT = {}}

@book{Fitting83,
  AUTHOR = {M. Fitting},
  TITLE = {Proof Methods for Modal and Intuitionistic Logics},
  YEAR = 1983,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Fitting90,
  AUTHOR = {M. Fitting},
  TITLE = {First-Order Logic and Automated Theorem Proving},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Flaemig64,
  AUTHOR = {W. Fl\"amig},
  TITLE = {Untersuchungen zum Finalsatz im Deutschen (Synchronie und Diachronie)},
  YEAR = 1964,
  PUBLISHER = {Akademie-Verlag},
  ADDRESS = {Berlin},
  KEYWORDS = {intention, ling, semantics}}

@book{Fodor83,
  AUTHOR = {J. A. Fodor},
  TITLE = {The Modularity of Mind},
  YEAR = 1983,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {look},
  ABSTRACT = {}}

@book{Foith82,
  AUTHOR = {J. P. Foith},
  TITLE = {Intelligente Bildsensoren zum Sichten, Handhaben, Steuern und Regeln},
  YEAR = 1982,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Foley:90,
  AUTHOR = {J. D. Foley and A. van Dam and S. K. Feiner and J._. F. Hughes},
  TITLE = {Computer Graphics: Principles and Practice},
  YEAR = 1990,
  EDITION = 2,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Forsyth:86,
  AUTHOR = {R. Forsyth and R. Rada},
  TITLE = {Machine Learning: Applications in Expert Systems and Information Retrieval},
  YEAR = 1986,
  PUBLISHER = {Ellis Horwood},
  ADDRESS = {Chichester},
  KEYWORDS = {}}

@book{Francez92,
  AUTHOR = {N. Francez},
  TITLE = {Program Verification},
  YEAR = 1992,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham},
  KEYWORDS = {}}

@book{Frawley87,
  AUTHOR = {W. Frawley},
  TITLE = {Text and Epistemology},
  YEAR = 1987,
  PUBLISHER = {Ablex},
  ADDRESS = {Norwood, NJ},
  KEYWORDS = {}}

@book{Frommherz90,
  AUTHOR = {B. J. Frommherz},
  TITLE = {Ein Roboteraktionsplanungssystem},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Frost86,
  AUTHOR = {R. A. Frost},
  TITLE = {Introduction to Knowledge Base Systems},
  YEAR = 1986,
  PUBLISHER = {Collins},
  ADDRESS = {London},
  KEYWORDS = {know-repr, logic, infer}}

@book{Furbach91,
  AUTHOR = {U. Furbach},
  TITLE = {Logische und Funktionale Programmierung: Grundlagen einer Kombination},
  YEAR = 1991,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Gaerdenfors88,
  AUTHOR = {P. G\"ardenfors},
  TITLE = {Knowledge in Flux},
  YEAR = 1988,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {know-repr, infer}}

@book{Gallier86,
  AUTHOR = {J. H. Gallier},
  TITLE = {Logic for Computer Science},
  YEAR = 1986,
  PUBLISHER = {Harper \& Row},
  ADDRESS = {Cambridge, PA},
  KEYWORDS = {}}

@book{Gamma:95,
  AUTHOR = {E. Gamma and R. Helm and R. Johnson and J. Vlissides},
  TITLE = {Design Patterns: Elements of Reusable Object-Oriented Software},
  YEAR = 1995,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {prog},
  ABSTRACT = {}}

@book{Garey:79,
  AUTHOR = {M. R. Garey and D. S. Johnson},
  TITLE = {Computers and Intractability: A Guide to the Theory of NP-Completeness},
  YEAR = 1979,
  PUBLISHER = {Freeman},
  ADDRESS = {San Francisco},
  KEYWORDS = {}}

@book{Garnham85,
  AUTHOR = {A. Garnham},
  TITLE = {Psycholinguistics: Central Topics},
  YEAR = 1985,
  PUBLISHER = {Methuen},
  ADDRESS = {London},
  KEYWORDS = {psych ling},
  ABSTRACT = {}}

@book{Gawron88,
  AUTHOR = {J. M. Gawron},
  TITLE = {Lexical Representations and the Semantics of Complementation},
  YEAR = 1988,
  PUBLISHER = {Garland},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Gawron:90,
  AUTHOR = {J. M. Gawron and S. Peters},
  TITLE = {Anaphora and Quantification in Situation Semantics},
  YEAR = 1990,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Gazdar:85,
  AUTHOR = {G. Gazdar and E. Klein and G. Pullum and I. Sag},
  TITLE = {Generalized Phrase Structure Grammar},
  YEAR = 1985,
  PUBLISHER = {Harvard University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Gazdar:87,
  AUTHOR = {G. Gazdar and A. Franz and K. Osborne and R. Evans},
  TITLE = {Natural Language Processing in the 1908s: A Bibliography},
  YEAR = 1987,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Geffner92,
  AUTHOR = {H. Geffner},
  TITLE = {Default Reasoning: Causal and Conditional Theories},
  YEAR = 1992,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Genesereth:87,
  AUTHOR = {M. R. Genesereth and N. J. Nilsson},
  TITLE = {Logical Foundations of Artificial Intelligence},
  YEAR = 1987,
  PUBLISHER = {Kaufmann},
  ADDRESS = {Los Altos, CA},
  KEYWORDS = {}}

@book{Genesereth:89,
  AUTHOR = {M. R. Genesereth and N. J. Nilsson},
  TITLE = {Logische Grundlagen der K\"unstlichen Intelligenz},
  YEAR = 1989,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {logic}}

@book{Gerling:79,
  AUTHOR = {M. Gerling and N. Orthen},
  TITLE = {Deutsche Zustands- und Bewegungsverben},
  YEAR = 1979,
  PUBLISHER = {Narr},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {}}

@book{Gibson79,
  AUTHOR = {J. J. Gibson},
  TITLE = {The Ecological Approach to Visual Perception},
  YEAR = 1979,
  PUBLISHER = {Mifflin},
  ADDRESS = {Boston},
  KEYWORDS = {psych},
  ABSTRACT = {}}

@book{Gibson82,
  AUTHOR = {J. J. Gibson},
  TITLE = {Wahrnehmung und Umwelt. Der \"okologische Ansatz in der visuellen
	   Wahrnehmung},
  YEAR = 1982,
  PUBLISHER = {Urban \& Schwarzenberg},
  ADDRESS = {M\"unchen},
  KEYWORDS = {psych},
  ABSTRACT = {}}

@book{Gilbert:85,
  AUTHOR = {G. N. Gilbert and C. Heath},
  TITLE = {Social Action and AI},
  YEAR = 1985,
  PUBLISHER = {Gower},
  ADDRESS = {England},
  KEYWORDS = {}}

@book{Girad:89,
  AUTHOR = {J.-Y. Girad and Y. Lafont and P. Taylor},
  TITLE = {Proofs and Types},
  YEAR = 1989,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Girard87,
  AUTHOR = {J.-Y. Girard},
  TITLE = {Proof Theory and Logical Complexity (Volume 1)},
  YEAR = 1987,
  PUBLISHER = {Bibliopolis},
  ADDRESS = {Napoli},
  KEYWORDS = {}}

@book{Goerz88,
  AUTHOR = {G. G\"orz},
  TITLE = {Strukturanalyse nat\"urlicher Sprache},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Bonn, Germany},
  KEYWORDS = {}}

@book{Goldberg89,
  AUTHOR = {D. E. Goldberg},
  TITLE = {GENETIC ALGORITHMS in Search, Optimazation and Machine Learning},
  YEAR = 1989,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Goldberg:83,
  AUTHOR = {A. Goldberg and D. Robson and D. Ingalls}, 
  TITLE = {Smalltalk-80: The Language and it's Implementation},
  YEAR = 1983,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {ki prog},
  ABSTRACT = {}}

@book{Goldblatt87,
  AUTHOR = {R. Goldblatt},
  TITLE = {Logics of Time and Computation},
  YEAR = 1987,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {logic, time}}

@book{Goldman70,
  AUTHOR = {A. Goldman},
  TITLE = {A Theory of Human Action},
  YEAR = 1970,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {phil, intention, action}}

@book{Gonzales:77,
  AUTHOR = {R. C. Gonzales and P. Wintz},
  TITLE = {Digital Image Processing},
  YEAR = 1977,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Gonzales:78,
  AUTHOR = {R. C. Gonzales and M. G. Thomason},
  TITLE = {Syntactic Pattern Recognition: An Introduction},
  YEAR = 1978,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Gonzalez:92,
  AUTHOR = {R. C. Gonzalez and R. E. Woods},
  TITLE = {Digital Image Processing},
  YEAR = 1992,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Goodwin89,
  AUTHOR = {M. Goodwin},
  TITLE = {User Interfaces in C++ and Object-Oriented Programming},
  YEAR = 1989,
  PUBLISHER = {Management Information Source Press},
  ADDRESS = {Portland, OR},
  KEYWORDS = {}}

@book{Gottwald89,
  AUTHOR = {S. Gottwald},
  TITLE = {Mehrwertige Logik: Eine Einf\"uhrung in Theorie und Anwendungen},
  YEAR = 1989,
  PUBLISHER = {Akademie-Verlag},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Graetzer78,
  AUTHOR = {G. Gr\"atzer},
  TITLE = {General Lattice Theory},
  YEAR = 1978,
  PUBLISHER = {Birkha\"user},
  ADDRESS = {Basel},
  KEYWORDS = {}}

@book{Graham83,
  AUTHOR = {N. Graham},
  TITLE = {K\"unstliche Intelligenz},
  YEAR = 1983,
  PUBLISHER = {Luther},
  ADDRESS = {Sprendlingen},
  KEYWORDS = {ki},
  ABSTRACT = {}}

@book{Grahne91,
  AUTHOR = {G. Grahne},
  TITLE = {The Problem of Incomplete Information in Relational Databases},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Green89,
  AUTHOR = {G. M. Green},
  TITLE = {Pragmatics and Natural Language Understanding},
  YEAR = 1989,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Grewendorf:87,
  AUTHOR = {G. Grewendorf and F. Hamm and W. Sternefeld}, 
  TITLE = {Sprachliches Wissen},
  YEAR = 1987,
  PUBLISHER = {Suhrkamp},
  ADDRESS = {Frankfurt/Main},
  KEYWORDS = {ling syn sem prag},
  ABSTRACT = {}}

@book{Gries71,
  AUTHOR = {D. Gries},
  TITLE = {Compiler Construction for Digital Computers},
  YEAR = 1971,
  PUBLISHER = {Wiley},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Grimm:81,
  AUTHOR = {H. Grimm and J. Engelkamp},
  TITLE = {Sprachspychologie},
  YEAR = 1981,
  PUBLISHER = {Schmidt},
  ADDRESS = {Berlin},
  KEYWORDS = {nl psych},
  ABSTRACT = {}}

@book{Grishman86,
  AUTHOR = {R. Grishman},
  TITLE = {Computational Linguistics: An Introduction},
  YEAR = 1986,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Guesgen:92,
  AUTHOR = {H. W. Guesgen and J. Hertzberg},
  TITLE = {A Perspective of Constraint-Based Reasoning: An Introductory Tutorial},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Gunji87,
  AUTHOR = {T. Gunji},
  TITLE = {Japanese Phrase Structure Grammar: A Unification Based Approach},
  YEAR = 1987,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Gunter:94,
  AUTHOR = {C. A. Gunter and J. C. Mitchell},
  TITLE = {Theoretical Aspects of Object-Oriented Prpogramming},
  YEAR = 1994,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Guski89,
  AUTHOR = {R. Guski},
  TITLE = {Wahrnehmung},
  YEAR = 1989,
  PUBLISHER = {Kohlhammer},
  ADDRESS = {Stuttgart},
  KEYWORDS = {psych},
  ABSTRACT = {}}

@book{Haas84,
  AUTHOR = {G. Haas},
  TITLE = {Konstruktive Einf\"uhrung in die formale Logik},
  YEAR = 1984,
  PUBLISHER = {Bibliographisches Institut},
  ADDRESS = {Mannheim, Wien, Z\"urich},
  KEYWORDS = {math logic},
  ABSTRACT = {}}

@book{Habel86,
  AUTHOR = {C. Habel},
  TITLE = {Prinzipien der Referentialit\"at},
  YEAR = 1986,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {nl know},
  ABSTRACT = {}}

@book{Hahn90,
  AUTHOR = {U. Hahn},
  TITLE = {Lexikalisch veteiltes Text-Parsing: Eine objektorientierte Spezifikation eines Wortexpertensystems auf der Grundlage eines Aktorenmodells},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Hamann82,
  AUTHOR = {C.-M. Hamann},
  TITLE = {Einf\"uhrung in das Programmieren in LISP},
  YEAR = 1982,
  PUBLISHER = {de Gruyter},
  ADDRESS = {Berlin},
  KEYWORDS = {progr}}

@book{Hamblin87,
  AUTHOR = {C. L. Hamblin},
  TITLE = {Imperatives},
  YEAR = 1987,
  PUBLISHER = {Basil Blackwell},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Hammond89,
  AUTHOR = {K. J. Hammond},
  TITLE = {Case-Based Planning: Viewing Planning as a Memory Task},
  YEAR = 1989,
  PUBLISHER = {Academic Press},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Hammond:88,
  AUTHOR = {J. L. Hammond and P. J. P. O'Reilly},
  TITLE = {Performance Analysis of Local Computer Networks},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Handke89,
  AUTHOR = {J. Handke},
  TITLE = {Nat\"urliche Sprache: Theorie und Implementierung in LISP},
  YEAR = 1989,
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {Hamburg, New York},
  KEYWORDS = {nl},
  ABSTRACT = {}}

@book{Haralik:92,
  AUTHOR = {R. M. Haralik and L. G. Shapiro}, 
  TITLE = {Computer and Robot Vision. Vol. I},
  YEAR = 1992,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {vision},
  ABSTRACT = {}}

@book{Haralik:93,
  AUTHOR = {R. M. Haralik and L. G. Shapiro}, 
  TITLE = {Computer and Robot Vision. Vol. II},
  YEAR = 1993,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {vision},
  ABSTRACT = {}}

@book{Harmon:89,
  AUTHOR = {P. Harmon and R. Maus and W. Morrissey},
  TITLE = {Expertensysteme: Werkzeuge und Anwendungen},
  YEAR = 1989,
  PUBLISHER = {Oldenbourg},
  ADDRESS = {M\"unchen},
  KEYWORDS = {exp-sys}}

@book{Harras83,
  AUTHOR = {G. Harras},
  TITLE = {Handlungssprache und Sprechhandlung},
  YEAR = 1983,
  PUBLISHER = {de Gruyter},
  ADDRESS = {Berlin, New York},
  KEYWORDS = {ling prag},
  ABSTRACT = {}}

@book{Harris85,
  AUTHOR = {M. D. Harris},
  TITLE = {Introduction to Natural Language Processing},
  YEAR = 1985,
  PUBLISHER = {Reston Publishing},
  ADDRESS = {Reston, VA},
  KEYWORDS = {n-l-p}}

@book{Hasemer:89,
  AUTHOR = {T. Hasemer and J. Dominigue},
  TITLE = {Common LISP Programming for Artificial Intelligence},
  YEAR = 1989,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England},
  KEYWORDS = {}}

@book{Haugeland85,
  AUTHOR = {J. Haugeland},
  TITLE = {Artificial Intelligence: The Very Idea},
  YEAR = 1985,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Hausser89,
  AUTHOR = {R. Hausser},
  TITLE = {Computation of Language: An Essay on Syntax, Semantics and Pragmatics in Natural Man-Machine Communication},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Helbig91,
  AUTHOR = {H. Helbig},
  TITLE = {K\"unstliche Intelligenz und automatische Wissensverarbeitung},
  YEAR = 1991,
  PUBLISHER = {Technik Verlag},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Helbig:81,
  AUTHOR = {G. Helbig and J. Buscha},
  TITLE = {Deutsche Grammatik: Ein Handbuch f\"ur den Ausl\"anderunterricht},
  YEAR = 1981,
  PUBLISHER = {VEB Verlag Enzyklop\"adie},
  ADDRESS = {Leipzig},
  KEYWORDS = {ling, syntax}}

@book{Helbig:83,
  AUTHOR = {G. Helbig and W. Schenkel},
  TITLE = {W\"orterbuch zur Valenz und Distribution deutscher Verben},
  YEAR = 1983,
  PUBLISHER = {Niemeyer},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {}}

@book{Helm91,
  AUTHOR = {G. Helm},
  TITLE = {Symbolische und konnektionistische Modelle der menschlichen Informationsverarbeitung: Eine kritische Gegen\"uberstellung},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Henderson80,
  AUTHOR = {P. Henderson},
  TITLE = {Functional Programming: Application and Implementation},
  YEAR = 1980,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {}}

@book{Hennie77,
  AUTHOR = {F. Hennie},
  TITLE = {Introduction to Computability},
  YEAR = 1977,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Heringer:80,
  AUTHOR = {H.-J. Heringer and B. Strecker and R. Wimmer}, 
  TITLE = {Syntax},
  YEAR = 1980,
  PUBLISHER = {Fink},
  ADDRESS = {M\"unchen},
  KEYWORDS = {ling gram},
  ABSTRACT = {}}

@book{Hermes61,
  AUTHOR = {H. Hermes},
  TITLE = {Aufz\"ahlbarkeit, Entscheidbarkeit, Berechenbarkeit},
  YEAR = 1961,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Hernandez94,
  AUTHOR = {D. Hern\'andez},
  TITLE = {Qualitative Representation of Spatial Knowledge},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Herrmann85,
  AUTHOR = {T. Herrmann},
  TITLE = {Allgemeine Sprachpsychologie: Grundlagen und Probleme},
  YEAR = 1985,
  PUBLISHER = {Urban \& Schwarzenberg},
  ADDRESS = {M\"unchen},
  KEYWORDS = {psych}}

@book{Herrmann:76a,
  AUTHOR = {T. Herrmann and W. Deutsch}, 
  TITLE = {Psychologie der Objektbenennung},
  YEAR = 1976,
  PUBLISHER = {Huber},
  ADDRESS = {Bern, Stuttgart, Wien},
  KEYWORDS = {},
  ABSTRACT = {}}

@book{Herrmann:94,
  AUTHOR = {T. Herrmann and J. Grabowski},
  TITLE = {Sprechen: Psychologie der Sprachproduktion},
  YEAR = 1994,
  PUBLISHER = {Spektrum},
  ADDRESS = {Heidelberg},
  KEYWORDS = {}}

@book{Herskovits86,
  AUTHOR = {A. Herskovits},
  TITLE = {Language and Spatial Cognition: An Interdisciplinary Study of the Prepositions in English},
  YEAR = 1986,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Hertzberg89,
  AUTHOR = {J. Hertzberg},
  TITLE = {Planen: Einf\"uhrung in die Planerstellungsmethoden der K\"unstlichen Intelligenz},
  YEAR = 1989,
  PUBLISHER = {BI-Wissenschaftsverlag},
  ADDRESS = {Mannheim},
  KEYWORDS = {}}

@book{Herweg90,
  AUTHOR = {M. Herweg},
  TITLE = {Zeitaspekte: Die Bedeutung von Tempus, Aspekt und temporalen
           Konjunktionen},
  YEAR = 1990,
  PUBLISHER = {Deutscher Universit\"ats-Verlag},
  ADDRESS = {Wiesbaden},
  KEYWORDS = {ling},
  ABSTRACT = {}}

@book{Heyting71,
  AUTHOR = {A. Heyting},
  TITLE = {Intuitionism: An Introduction},
  YEAR = 1971,
  EDITION = 3,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Hillis85,
  AUTHOR = {W. D. Hillis},
  TITLE = {The Connection Machine},
  YEAR = 1985,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Hinderlang83,
  AUTHOR = {G. Hinderlang},
  TITLE = {Einf\"uhrung in die Sprechakttheorie},
  YEAR = 1983,
  PUBLISHER = {Niemeyer},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {}}

@book{Hirst81,
  AUTHOR = {G. Hirst},
  TITLE = {Anaphora in Natural Language Understanding: A Survey},
  YEAR = 1981,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {ling parse},
  ABSTRACT = {}}

@book{Hjorth:87,
  AUTHOR = {E. Hjorth and B. N. Madsen and O. Norling-Christensen and J. R. Jacobsen and H. Ruus},
  TITLE = {Descriptive Tools for Electronic Processing of Dictionary Data: Studies in Computational Lexicography},
  YEAR = 1987,
  PUBLISHER = {Niemeyer},
  ADDRESS = {T\"ubingen, Germany},
  KEYWORDS = {}}

@book{Hoare90,
  AUTHOR = {C. A. R. Hoare},
  TITLE = {Developments in Concurreny and Communication},
  YEAR = 1990,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Hopcroft:79,
  AUTHOR = {J. E. Hopcroft and J. D. Ullman}, 
  TITLE = {Introduction to Automata Theory, Languages, and Computation},
  YEAR = 1979,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {info theo},
  ABSTRACT = {}}

@book{Hirst87,
  AUTHOR = {G. Hirst},
  TITLE = {Semantic Interpretation and the Resolution of Ambiguity},
  YEAR = 1987,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {}}

@book{Hofbauer:89,
  AUTHOR = {D. Hofbauer and R.-D. Kutsche},
  TITLE = {Grundlagen des maschinellen Beweisens: Eine Einf\"uhrung f\"ur Informatiker und Mathematiker},
  YEAR = 1989,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Hoffmann91,
  AUTHOR = {N. Hoffmann},
  TITLE = {Simulation Neuronaler Netze: Grundlagen, Modelle, Programme in Turbo-Pascal},
  YEAR = 1991,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Hoffmann82,
  AUTHOR = {C. M. Hoffmann},
  TITLE = {Group-Theoretic Algorithms and Graph Isomorphism},
  YEAR = 1982,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Hogger84,
  AUTHOR = {C. J. Hogger},
  TITLE = {Introduction to Logic Programming},
  YEAR = 1984,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Hogger90,
  AUTHOR = {C. J. Hogger},
  TITLE = {Essentials of Logic Programming},
  YEAR = 1990,
  PUBLISHER = {Clarendon Press},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Horowitz:81,
  AUTHOR = {E. Horowitz and S. Sahni}, 
  TITLE = {Algorithmen: Entwurf und Analyse},
  YEAR = 1981,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {info prog},
  ABSTRACT = {}}

@book{Hotz90,
  AUTHOR = {G. Hotz},
  TITLE = {Was ist K\"unstliche Intelligenz?},
  YEAR = 1990,
  PUBLISHER = {Akademie der Wissenschaften und der Literatur},
  ADDRESS = {Mainz},
  KEYWORDS = {}}

@book{Hovy88,
  AUTHOR = {E. H. Hovy},
  TITLE = {Generating Natural Language under Pragmatic Constraints},
  YEAR = 1988,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Huet90,
  EDITOR = {G. Huet},
  TITLE = {Logical Foundations of Functional Programming},
  YEAR = 1990,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Hughes:78,
  AUTHOR = {G. E. Hughes and M. J. Cresswell},
  TITLE = {Einf\"uhrung in die Modallogik},
  YEAR = 1978,
  PUBLISHER = {de Gruyter},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Hughes:84,
  AUTHOR = {G. E. Hughes and M. J. Cresswell},
  TITLE = {A Companion to Modal Logic},
  YEAR = 1984,
  PUBLISHER = {Methuen},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Ichiishi:90,
  AUTHOR = {T. Ichiishi and A. Neyman and Y. Tauman},
  TITLE = {Game Theory and Applications},
  YEAR = 1990,
  PUBLISHER = {Academic Press},
  ADDRESS = {San Diego, CA},
  KEYWORDS = {}}

@book{Itzinger76,
  AUTHOR = {O. Itzinger},
  TITLE = {Methoden der maschinellen Intelligenz: Eine Einf\"uhrung},
  YEAR = 1976,
  PUBLISHER = {Hanser},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Jackendoff72,
  AUTHOR = {R. Jackendoff},
  TITLE = {Semantic Interpretation in Generative Grammar},
  YEAR = 1972,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {},
  ABSTRACT = {}}

@book{Jackendoff83,
  AUTHOR = {R. Jackendoff},
  TITLE = {Semantics and Cognition},
  YEAR = 1983,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {semantics, cognition}}

@book{Jackendoff87,
  AUTHOR = {R. Jackendoff},
  TITLE = {Consciousness and the Computational Mind},
  YEAR = 1987,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Jackendoff90,
  AUTHOR = {R. Jackendoff},
  TITLE = {Semantic Structures},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {nl sem},
  ABSTRACT = {}}

@book{Jackendoff92,
  AUTHOR = {R. Jackendoff},
  TITLE = {Languages of the Mind. Essays on Mental Representation},
  YEAR = 1992,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {nl sem},
  ABSTRACT = {}}

@book{Jacquet91,
  AUTHOR = {J.-M. Jacquet},
  TITLE = {Conclog: A Methodological Approach to Concurrent Logic Programming},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Jameson90,
  AUTHOR = {A. Jameson},
  TITLE = {Knowing What Others Know: Studies in Intuitive Psychometrics},
  YEAR = 1990,
  PUBLISHER = {Druk \& Vorm},
  ADDRESS = {Nijmegen, Netherlands},
  KEYWORDS = {}}

@book{Jensen:75,
  AUTHOR = {K. Jensen and N. Wirth},
  TITLE = {User Manual and Report},
  YEAR = 1975,
  EDITION = 2,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Johnson87,
  AUTHOR = {M. Johnson},
  TITLE = {The BODY in the MIND: The Bodily Basis of Meaning, Imagination, and Reason},
  YEAR = 1987,
  PUBLISHER = {University of Chicago Press},
  ADDRESS = {Chicago},
  KEYWORDS = {}}

@book{Johnson88,
  AUTHOR = {M. Johnson},
  TITLE = {Attribute-Value Logic and the Theory of Grammar},
  YEAR = 1988,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Johnson-Laird83,
  AUTHOR = {P. N. Johnson-Laird},
  TITLE = {Mental Models},
  YEAR = 1983,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {psych ling},
  ABSTRACT = {}}

@book{Jonas84,
  AUTHOR = {H. Jonas},
  TITLE = {Das Prinzip Verantwortung. Versuch einer Ethik f\"ur die
           technologische Zivilisation},
  YEAR = 1984,
  PUBLISHER = {Suhrkamp},
  ADDRESS = {Frankfurt/Main},
  KEYWORDS = {},
  ABSTRACT = {}}

@book{Jones73,
  AUTHOR = {N. D. Jones},
  TITLE = {Computability Theory: An Introduction},
  YEAR = 1973,
  PUBLISHER = {Academic Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Kaemmerer90,
  AUTHOR = {B. R. K\"ammerer},
  TITLE = {Sprecherunabh\"angigkeit und Sprecheradaption: L\"osungsans\"atze f\"ur das Problem des Sprecherwechsels bei der automatischen Spracherkennung},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kamlah:73,
  AUTHOR = {W. Kamlah and P. Lorenzen},
  TITLE = {Logische Prop\"adeutik: Vorschule des vern\"unftigen Redens},
  YEAR = 1973,
  PUBLISHER = {BI-Wissenschaftsverlag},
  ADDRESS = {Mannheim},
  KEYWORDS = {}}

@book{Kamp:93,
  AUTHOR = {H. Kamp and U. Reyle},
  TITLE = {From Discourse to Logic: Introduction to Modeltheoretic 
           Semantics of Natural Language, Formal Logic and Discourse 
           Representation Theory},
  YEAR = 1993,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {nl},
  ABSTRACT = {}}

@book{Kasturi:91,
  AUTHOR = {R. Kasturi and R. C. Jain},
  TITLE = {Computer Vision: Principles},
  YEAR = 1991,
  PUBLISHER = {IEEE Computer Society Press},
  ADDRESS = {Los Alamitos, CA},
  KEYWORDS = {}}

@book{Katz72,
  AUTHOR = {J. J. Katz},
  TITLE = {Semantic Theory},
  YEAR = 1972,
  PUBLISHER = {Harper and Row},
  ADDRESS = {New York},
  KEYWORDS = {},
  ABSTRACT = {}}

@book{Keene89,
  AUTHOR = {S. E. Keene},
  TITLE = {Object-Oriented Programming in COMMON LISP: A Programmer's Guide to CLOS},
  YEAR = 1989,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Kemper92,
  AUTHOR = {A. Kemper},
  TITLE = {Zuverl\"assigkeit und Leistungsf\"ahigkeit objekt-orientierter Datenbanksysteme},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kenny63,
  AUTHOR = {A. Kenny},
  TITLE = {Action, Emotion and Will},
  YEAR = 1963,
  PUBLISHER = {Humanities},
  ADDRESS = {New York},
  KEYWORDS = {},
  ABSTRACT = {}}

@book{Kernighan:77,
  AUTHOR = {B. W. Kernighan and D. M. Ritchie}, 
  TITLE = {The C Programming Language},
  YEAR = 1977,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {info prog},
  ABSTRACT = {}}

@book{Kiczales:91,
  AUTHOR = {G. Kiczales and J. des Rivieres and D. G. Bobrow},
  TITLE = {The Art of the Metaobject Protocol},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Kintsch70,
  AUTHOR = {W. Kintsch},
  TITLE = {Learning Memory and Conceptual Processes},
  YEAR = 1970,
  PUBLISHER = {Wiley},
  ADDRESS = {New York},
  KEYWORDS = {psych kog},
  ABSTRACT = {}}

@book{Kintsch82,
  AUTHOR = {W. Kintsch},
  TITLE = {Ged\"achtnis und Kognition},
  YEAR = 1982,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {psych kog},
  ABSTRACT = {}}

@book{Klaeren83,
  AUTHOR = {H. A. Klaeren},
  TITLE = {Algebraische Spezifikation: Eine Einf\"uhrung},
  YEAR = 1983,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kleene71,
  AUTHOR = {S. C. Kleene},
  TITLE = {Introduction to Metamathematics},
  YEAR = 1971,
  PUBLISHER = {Wolters-Noordhoff},
  ADDRESS = {Groningen},
  KEYWORDS = {}}

@book{Knuth73a,
  AUTHOR = {D. E. Knuth},
  TITLE = {The Art of Computer Programming (Volume I): Fundamental Algorithms},
  YEAR = 1973,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Knuth73b,
  AUTHOR = {D. E. Knuth},
  TITLE = {The Art of Computer Programming (Volume III): Sorting and Searching},
  YEAR = 1973,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Knuth81,
  AUTHOR = {D. E. Knuth},
  TITLE = {The Art of Computer Programming (Volume II): Seminumerical Algorithms},
  YEAR = 1981,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Knuth84,
  AUTHOR = {D. E. Knuth},
  TITLE = {The TEXbook},
  YEAR = 1984,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Knuth86a,
  AUTHOR = {D. E. Knuth},
  TITLE = {Computer Modern Typefaces},
  YEAR = 1986,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Knuth86b,
  AUTHOR = {D. E. Knuth},
  TITLE = {METAFONT: The Program},
  YEAR = 1986,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Knuth86c,
  AUTHOR = {D. E. Knuth},
  TITLE = {TEX: The Program},
  YEAR = 1986,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Knuth86d,
  AUTHOR = {D. E. Knuth},
  TITLE = {The METAFONTbook},
  YEAR = 1986,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Kobsa85,
  AUTHOR = {A. Kobsa},
  TITLE = {Benutzermodellierung in Dialogsystemen},
  YEAR = 1985,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {user-mod}}

@book{Koch85,
  AUTHOR = {J. Koch},
  TITLE = {Relationale Anfragen: Zerlegung und Optimierung},
  YEAR = 1985,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kohonen77,
  AUTHOR = {T. Kohonen},
  TITLE = {Associative Memory: A System-Theoretical Approach},
  YEAR = 1977,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kohonen89,
  AUTHOR = {T. Kohonen},
  TITLE = {Self-Organization and Associative Memory (Third Edition)},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Koller92,
  AUTHOR = {D. Koller},
  TITLE = {Detektion, Verfolgung und Klassifikation bewegter Objekte in
           monokularen Bildfolgen am Beispiel von Stra\ss{}enverkehrsszenen},
  YEAR = 1992,
  PUBLISHER = {Infix},
  ADDRESS = {St. Augustin},
  KEYWORDS = {vision},
  ABSTRACT = {}}

@book{Kollnig95,
  AUTHOR = {H. W. Kollnig},
  TITLE = {Ermittlung von Verkehrsgeschehen durch Bildfolgenauswertung}, 
  YEAR = 1995,
  PUBLISHER = {Infix},
  ADDRESS = {St. Augustin},
  KEYWORDS = {vision},
  ABSTRACT = {}}

@book{Konolige86,
  AUTHOR = {K. Konolige},
  TITLE = {A Deduction Model of Belief},
  YEAR = 1986,
  PUBLISHER = {Pitman},
  ADDRESS = {London},
  KEYWORDS = {user-mod}}

@book{Korn82,
  AUTHOR = {A. Korn},
  TITLE = {Bildverarbeitung durch das visuelle System},
  YEAR = 1982,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kosslyn80,
  AUTHOR = {S. M. Kosslyn},
  TITLE = {Image and Mind},
  YEAR = 1980,
  PUBLISHER = {Harvard University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {vision}}

@book{Kosslyn94,
  AUTHOR = {S. M. Kosslyn},
  TITLE = {Image and Brain: The Resolution of the Imagery Debate},
  YEAR = 1994,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {imag psych},
  ABSTRACT = {}}

@book{Kovalevsky80,
  AUTHOR = {V. A. Kovalevsky},
  TITLE = {Image Pattern Recognition},
  YEAR = 1980,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Kowalski79,
  AUTHOR = {R. Kowalski},
  TITLE = {Logic for Problem Solving},
  YEAR = 1979,
  PUBLISHER = {North-Holland},
  ADDRESS = {New York},
  KEYWORDS = {user-mod}}

@book{Kreisel:72,
  AUTHOR = {G. Kreisel and J. L. Krivine},
  TITLE = {Modelltheorie: Eine Einf\"uhrung in die mathematische Logik und Grundlagentheorie},
  YEAR = 1972,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kreiser:90,
  AUTHOR = {L. Kreiser and S. Gottwald and W. Stelzner},
  TITLE = {Nichtklassische Logik: Eine Einf\"uhrung},
  YEAR = 1990,
  EDITION = 2,
  PUBLISHER = {Akademie-Verlag},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Krifka89,
  AUTHOR = {M. Krifka},
  TITLE = {Nominalreferenz und Zeitkonstitution. Zur Semantik von
           Massentermen, Pluraltermen und Aspektklassen},
  YEAR = 1989,
  PUBLISHER = {Fink},
  ADDRESS = {M\"unchen},
  KEYWORDS = {ling},
  ABSTRACT = {}}

@book{Kroeger87,
  AUTHOR = {F. Kr\"oger},
  TITLE = {Temporal Logic of Programs},
  YEAR = 1987,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kronfeld90,
  AUTHOR = {A. Kronfeld},
  TITLE = {Reference and Computation: An Essay in Applied Philosophy of Language},
  YEAR = 1990,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {}}

@book{Krueger83,
  AUTHOR = {M. W. Krueger},
  TITLE = {Artificial Reality},
  YEAR = 1983,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Krueger92,
  AUTHOR = {W. Kr\"uger},
  TITLE = {Situationsmodellierung in der Bildfolgenauswertung},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  STATUS = {O},
  KEYWORDS = {event},
  ABSTRACT = {}}

@book{Kruse74,
  AUTHOR = {L. Kruse},
  TITLE = {R\"aumliche Umwelt. Die Ph\"anomenologie des r\"aumlichen
           Verhaltens als Beitrag zu einer psychologischen Umwelttheorie},
  YEAR = 1974,
  PUBLISHER = {Berlin, New York},
  ADDRESS = {de Gruyter},
  KEYWORDS = {raum},
  ABSTRACT = {}}

@book{Kubinski80,
  AUTHOR = {T. Kubinski},
  TITLE = {An Outline of the Logical Theory of Questions},
  YEAR = 1980,
  PUBLISHER = {Akademie-Verlag},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Kueng67,
  AUTHOR = {G. K\"ung},
  TITLE = {Ontology and the Logistic Analysis of Language},
  YEAR = 1967,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht, Holland},
  KEYWORDS = {}}

@book{Kuhn78,
  AUTHOR = {T. S. Kuhn},
  TITLE = {Die Entstehung des Neuen},
  YEAR = 1978,
  PUBLISHER = {Suhrkamp},
  ADDRESS = {Frankfurt},
  KEYWORDS = {phil}}

@book{Kuipers94,
  AUTHOR = {B. J. Kuipers},
  TITLE = {Qualitative Reasoning: Modeling and Simulation with Incomplete
           Knowledge},
  YEAR = 1994,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {know raum},
  ABSTRACT = {}}

@book{Kummert92,
  AUTHOR = {F. Kummert},
  TITLE = {Flexible Steuerung eines Sprachverstehenden Systems mit homogener Wissensbasis},
  YEAR = 1992,
  PUBLISHER = {Infix},
  ADDRESS = {Sankt Augustin},
  KEYWORDS = {}}

@book{Kurfess91,
  AUTHOR = {F. Kurfe\ss{}},
  TITLE = {Parallelism in Logic: Its Potential for Performance and Program Development},
  YEAR = 1991,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Kutschera75,
  AUTHOR = {F. von Kutschera},
  TITLE = {Sprachphilosophie},
  YEAR = 1975,
  PUBLISHER = {Fink},
  ADDRESS = {M\"unchen},
  KEYWORDS = {phil, ling}}

@book{Lakoff87,
  AUTHOR = {G. Lakoff},
  TITLE = {Woman, Fire, and Dangerous Things: What Categories Reveal about the Mind},
  YEAR = 1987,
  PUBLISHER = {University of Chicago Press},
  ADDRESS = {Chicago},
  KEYWORDS = {}}

@book{Lakoff:80,
  AUTHOR = {G. Lakoff and M. Johnson},
  TITLE = {Metaphors We Live By},
  YEAR = 1980,
  PUBLISHER = {University of Chicago Press},
  ADDRESS = {Chicago},
  KEYWORDS = {}}

@book{Lambek:86,
  AUTHOR = {J. Lambek and P. J. Scott},
  TITLE = {Introduction to Higher Order Categorical Logic},
  YEAR = 1986,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Lambek:89,
  AUTHOR = {J. Lambek and P. J. Scott},
  TITLE = {Introduction to Higher Order Categorical Logic},
  YEAR = 1989,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Lamersdorf85,
  AUTHOR = {W. Lamersdorf},
  TITLE = {Semantische Repr\"asentation komplexer Objektstrukturen: Modelle f\"ur nichtkonventionelle Datenbankanwendungen},
  YEAR = 1985,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {know-repr}}

@book{Lamport86,
  AUTHOR = {L. Lamport},
  TITLE = {LATEX: A Document Preparation System},
  YEAR = 1986,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Lang:91,
  AUTHOR = {E. Lang and K.-U. Carstensen and G. Simmons},
  TITLE = {Modelling Spatial Knowledge on a Linguistic Basis: Theory-Prototype-Integration},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Langacker90,
  AUTHOR = {R. W. Langacker},
  TITLE = {Concept, Image, and Symbol: The Cognitive Basis of Grammar},
  YEAR = 1990,
  PUBLISHER = {Mouton de Gruyter},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Langholm88,
  AUTHOR = {T. Langholm},
  TITLE = {Partiality, Truth and Persistence},
  YEAR = 1988,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Lawless:91,
  AUTHOR = {J. A. Lawless and M. M. Miller},
  TITLE = {Understanding CLOS. The Common Lisp Object System},
  YEAR = 1991,
  PUBLISHER = {Digital Press},
  ADDRESS = {Bedford, MA},
  KEYWORDS = {prog},
  ABSTRACT = {}}

@book{Leech81,
  AUTHOR = {G. Leech},
  TITLE = {Semantics},
  YEAR = 1981,
  PUBLISHER = {Penguin},
  ADDRESS = {Harmondsworth, England},
  EDITION = 2,
  KEYWORDS = {ling sem},
  ABSTRACT = {}}

@book{Lehner90,
  AUTHOR = {C. Lehner},
  TITLE = {Prolog und Linguistik},
  YEAR = 1990,
  PUBLISHER = {Oldenbourg},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Lenat:90,
  AUTHOR = {D. B. Lenat and R. V. Guha},
  TITLE = {Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project},
  YEAR = 1990,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {know-repr}}

@book{Lenerz77,
  AUTHOR = {J. Lenerz},
  TITLE = {Zur Abfolge nominaler Satzglieder im Deutschen},
  YEAR = 1977,
  PUBLISHER = {Narr},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {}}

@book{Levelt89,
  AUTHOR = {W. J. M. Levelt},
  TITLE = {Speaking: From Intention to Articulation},
  YEAR = 1989,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Levene92,
  AUTHOR = {M. Levene},
  TITLE = {The Nested Universal Relation Database Model},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Levi88,
  AUTHOR = {P. Levi},
  TITLE = {Planen f\"ur autonome Montageroboter},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Levine85,
  AUTHOR = {M. D. Levine},
  TITLE = {Vision in Man and Machine},
  YEAR = 1985,
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {New York, NY},
  KEYWORDS = {vision},
  ABSTRACT = {}}

@book{Lewis:76,
  AUTHOR = {P. M. Lewis and D. J. Rosenkrantz and R. E. Stearns},
  TITLE = {Compiler Design Theory},
  YEAR = 1976,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Lewis69,
  AUTHOR = {D. K. Lewis},
  TITLE = {Convention: A Philosophical Study},
  YEAR = 1969,
  PUBLISHER = {Harvard University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {},
  ABSTRACT = {}}

@book{Lewis:81,
  AUTHOR = {H. R. Lewis and C. H. Papadimitriou},
  TITLE = {Elements of the Theory of Computation},
  YEAR = 1981,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Lightstone78,
  AUTHOR = {A. H. Lightstone},
  TITLE = {Mathematical Logic: An Introduction to Model Theory},
  YEAR = 1978,
  PUBLISHER = {Plenum Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Lippman89,
  AUTHOR = {S. B. Lippman},
  TITLE = {C++PRIMER},
  YEAR = 1989,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Lloyd84,
  AUTHOR = {J. W. Lloyd},
  TITLE = {Foundations of Logic Programming},
  YEAR = 1984,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Lloyd87,
  AUTHOR = {J. W. Lloyd},
  TITLE = {Foundations of Logic Programming},
  YEAR = 1987,
  EDITION = 2,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Loeckx:84,
  AUTHOR = {J. Loeckx and K. Sieber},
  TITLE = {The Foundations of Program Verification},
  YEAR = 1984,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Lombard86,
  AUTHOR = {L. B. Lombard},
  TITLE = {Events. A Metaphysical Study},
  YEAR = 1986,
  PUBLISHER = {Routledge and Kegan Paul},
  ADDRESS = {London},
  KEYWORDS = {phil event},
  ABSTRACT = {}}

@book{Lombardo87,
  AUTHOR = {T. J. Lombardo},
  TITLE = {The Reciprocity of Perceiver and Enviroment: The Evolution of James J. Gibson's Ecological Psychology},
  YEAR = 1987,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Loveland78,
  AUTHOR = {D. W. Loveland},
  TITLE = {Automated Theorem Proving: A Logical Basis},
  YEAR = 1978,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Lunze:90,
  AUTHOR = {J. Lunze and W. Schwarz},
  TITLE = {K\"unstliche Intelligenz: Einf\"uhrung und technische Anwendungen},
  YEAR = 1990,
  PUBLISHER = {Technik Verlag},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Luria76,
  AUTHOR = {A. R. Luria},
  TITLE = {Basic Problems of Neurolinguistics},
  YEAR = 1976,
  PUBLISHER = {Mouton},
  ADDRESS = {Paris},
  KEYWORDS = {connect, ling}}

@book{Lycan84,
  AUTHOR = {W. G. Lycan},
  TITLE = {Logical Form in Natural Language},
  YEAR = 1984,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {logic, n-l-p}}

@book{Lynch60,
  AUTHOR = {K. Lynch},
  TITLE = {The Image of the City},
  YEAR = 1960,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {raum},
  ABSTRACT = {}}

@book{Lyons71,
  AUTHOR = {J. Lyons},
  TITLE = {Einf\"uhrung in die moderne Linguistik},
  YEAR = 1971,
  PUBLISHER = {Beck},
  ADDRESS = {M\"unchen},
  KEYWORDS = {ling},
  ABSTRACT = {}}

@book{McCawley93,
  AUTHOR = {McCawley},
  TITLE = {Everything that Linguists have Always Wanted to Know about
           Logic but were Ashamed to Ask},
  YEAR = 1993,
  PUBLISHER = {University of Chicago Press},
  ADDRESS = {Chicago, London},
  EDITION = 2,
  KEYWORDS = {look},
  ABSTRACT = {}}

@book{MacKay87,
  AUTHOR = {D. G. MacKay},
  TITLE = {The Organization of Perception and Action: The Theory for Language and Other Cognitive Skills},
  YEAR = 1987,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {psych, action}}

@book{MacLennan90,
  AUTHOR = {B. J. MacLennan},
  TITLE = {Functional Programming: Practice and Theory},
  YEAR = 1990,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Magnenat-Thalmann:85,
  AUTHOR = {N. Magnenat-Thalmann and D. Thalmann},
  TITLE = {Computer Animation: Theory and Practice},
  YEAR = 1985,
  PUBLISHER = {Springer},
  ADDRESS = {Tokyo},
  KEYWORDS = {}}

@book{Magnenat-Thalmann:90,
  AUTHOR = {N. Magnenat-Thalmann and D. Thalmann},
  TITLE = {Synthetic Actors in Computer-Generated 3D Films},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Maier:88,
  AUTHOR = {D. Maier and D. S. Warren},
  TITLE = {Computing with Logic: Logic Programming with Prolog},
  YEAR = 1988,
  PUBLISHER = {Benjamin/Cummings},
  ADDRESS = {Menlo Park, CA},
  KEYWORDS = {}}

@book{Malmberg63,
  AUTHOR = {B. Malmberg},
  TITLE = {Structural Linguistics and Human Communication},
  YEAR = 1963,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Malotki79,
  AUTHOR = {E. Malotki},
  TITLE = {Hopi-Raum. Eine sprachwissenschaftliche Analyse der 
           Raumvorstellungen in der Hopi-Sprache},
  YEAR = 1979,
  PUBLISHER = {Narr},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {raum},
  ABSTRACT = {}}

@book{Mangold86,
  AUTHOR = {R. Mangold},
  TITLE = {Sensorische Faktoren beim Verstehen \"uberspezifizierter Objektbenennungen},
  YEAR = 1986,
  PUBLISHER = {Lang},
  ADDRESS = {Frankfurt a. M.},
  KEYWORDS = {psych, ref-id}}

@book{Manna:85,
  AUTHOR = {Z. Manna and R. Waldinger},
  TITLE = {The Logical Basis for Computer Programming. Volume 1: Deductive Reasoning},
  YEAR = 1985,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Manna:90,
  AUTHOR = {Z. Manna and R. Waldinger},
  TITLE = {The Logical Basis for Computer Programming. Volume 2: Deductive Systems},
  YEAR = 1990,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Manna:92,
  AUTHOR = {Z. Manna and A. Pnueli},
  TITLE = {The Temporal Logic of Reactive and Concurrent Systems: Specification},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Manna:93,
  AUTHOR = {Z. Manna and R. Waldinger},
  TITLE = {The Deductive Foundations of Computer Programming: A One-Volume Version of ``The Logical Basis for Computer Programming''},
  YEAR = 1993,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Marcus80,
  AUTHOR = {M. P. Marcus},
  TITLE = {A Theory of Syntactic Recognition for Natural Language},
  YEAR = 1980,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Marr82,
  AUTHOR = {D. Marr},
  TITLE = {Vision: A Computational Investigation into the Human 
           Representation and processing of Visual Information},
  YEAR = 1982,
  PUBLISHER = {Freemann},
  ADDRESS = {San Francisco, CA},
  KEYWORDS = {vision},
  ABSTRACT = {}}

@book{Martial92,
  AUTHOR = {F. von Martial},
  TITLE = {Coordinating Plans of Autonomous Agents},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Martin86,
  AUTHOR = {D. Martin},
  TITLE = {Advanced Database Techniques},
  YEAR = 1986,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Martin89,
  AUTHOR = {N. M. Martin},
  TITLE = {Systems of Logic},
  YEAR = 1989,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Masini:91,
  AUTHOR = {G. Masini and A. Napoli and D. Colnet and D. Leonard and K. Tombre},
  TITLE = {Object Oriented Languages},
  YEAR = 1991,
  PUBLISHER = {Academic Press},
  ADDRESS = {San Diego, CA},
  KEYWORDS = {progr}}

@book{Maslov87,
  AUTHOR = {S. Y. Maslov},
  TITLE = {Theory of Deductive Systems and its Applications},
  YEAR = 1987,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Mason86,
  AUTHOR = {I. A. Mason},
  TITLE = {The Semantics of Destructive LISP},
  YEAR = 1986,
  PUBLISHER = {csli},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Mater65,
  AUTHOR = {E. Mater},
  TITLE = {R\"uckl\"aufiges W\"orterbuch der deutschen Gegenwartssprache},
  YEAR = 1965,
  PUBLISHER = {Finken},
  ADDRESS = {Oberursel am Taunus},
  KEYWORDS = {}}

@book{Mates78,
  AUTHOR = {B. Mates},
  TITLE = {Elementare Logik: Pr\"adikatenlogik der ersten Stufe},
  YEAR = 1978,
  PUBLISHER = {Vandenhoeck \& Ruprecht},
  ADDRESS = {G\"ottingen},
  KEYWORDS = {}}

@book{Mattos91,
  AUTHOR = {N. M. Mattos},
  TITLE = {An Approach to Knowledge Base Management},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{McAllester89,
  AUTHOR = {D. A. McAllester},
  TITLE = {ONTIC: A Knowledge Representation System for Mathematics},
  YEAR = 1989,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{McCloy:89,
  AUTHOR = {D. McCloy and D. M. J. Harris},
  TITLE = {Robotertechnik: Einf\"uhrung},
  YEAR = 1989,
  PUBLISHER = {VCH},
  ADDRESS = {Weinheim, Deutschland},
  KEYWORDS = {}}

@book{McKeown85,
  AUTHOR = {K. R. McKeown},
  TITLE = {Text Generation},
  YEAR = 1985,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Mehlhorn84a,
  AUTHOR = {K. Mehlhorn},
  TITLE = {Data Structures and Algorithms 1: Sorting and Searching},
  YEAR = 1984,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {info},
  ABSTRACT = {}}

@book{Mehlhorn84b,
  AUTHOR = {K. Mehlhorn},
  TITLE = {Data Structures and Algorithms 2: Graph Algorithms and
           NP-Completeness},
  YEAR = 1984,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {info},
  ABSTRACT = {}}

@book{Mehlhorn84c,
  AUTHOR = {K. Mehlhorn},
  TITLE = {Data Structures and Algorithms 3: Multi-dimensional Searching and
           Computational Geometry},
  YEAR = 1984,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {info},
  ABSTRACT = {}}

@book{Menzel70,
  AUTHOR = {W. Menzel},
  TITLE = {Theorie der Lernsysteme},
  YEAR = 1970,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Metzing81,
  AUTHOR = {D. Metzing},
  TITLE = {Dialogmuster und Dialogprozesse},
  YEAR = 1981,
  PUBLISHER = {Buske},
  ADDRESS = {Hamburg},
  KEYWORDS = {ling}}

@book{Meyer88,
  AUTHOR = {B. Meyer},
  TITLE = {Object-oriented Software Construction},
  YEAR = 1988,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {New York, London},
  KEYWORDS = {prog},
  ABSTRACT = {}}

@book{Meyer90,
  AUTHOR = {B. Meyer},
  TITLE = {Introduction to the Theory of Programming Languages},
  YEAR = 1990,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Michaelson89,
  AUTHOR = {G. Michaelson},
  TITLE = {An Introduction to Functional Programming through Lambda Calculus},
  YEAR = 1989,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England},
  KEYWORDS = {}}

@book{Miller:76,
  AUTHOR = {G. A. Miller and P. N. Johnson-Laird},
  TITLE = {Language and Perception},
  YEAR = 1976,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {psych}}

@book{Miller:90,
  AUTHOR = {M. M. Miller and E. Benson},
  TITLE = {Lisp Style \& Design},
  YEAR = 1990,
  PUBLISHER = {Digital Press},
  ADDRESS = {Bedford, MA},
  KEYWORDS = {}}

@book{Mohnhaupt92,
  AUTHOR = {M. Mohnhaupt},
  TITLE = {Prinzipien piktorieller Repr\"asentationssysteme: Untersuchungen zur bildhaften Repr\"asentation von Wissen in informationsverarbeitenden Systemen},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Moilanen79,
  AUTHOR = {M. Moilanen},
  TITLE = {Statische lokative Pr\"apositionen im heutigen Deutsch. Wahrheits-
           und Gebrauchsbedingungen},
  YEAR = 1979,
  PUBLISHER = {Niemeyer},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {raum},
  ABSTRACT = {}}

@book{Morik82,
  AUTHOR = {K. Morik},
  TITLE = {\"Uberzeugungssysteme der K\"unstlichen Intelligenz: Validierung vor dem Hintergrund linguistischer Theorien \"uber implizite \"Ausserungen},
  YEAR = 1982,
  PUBLISHER = {Niemeyer},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {beliefs}}

@book{Moszkowski86,
  AUTHOR = {B. C. Moszkowski},
  TITLE = {Executing Temporal Logic Programs},
  YEAR = 1986,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Moyne85,
  AUTHOR = {J. A. Moyne},
  TITLE = {Understanding Language: Man or Machine},
  YEAR = 1985,
  PUBLISHER = {Plenum},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Mueller-Reissmann89,
  AUTHOR = {K.-F. M\"uller-Rei\ss{}mann},
  TITLE = {Expertensystemshell DEDUC: Software zur Unterst\"utzung dynamischer Wissensverarbeitung mit Benutzerhandbuch},
  YEAR = 1989,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Mullin89,
  AUTHOR = {M. Mullin},
  TITLE = {Object-Oriented Program Design: With Examples in C++},
  YEAR = 1989,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Murch:78,
  AUTHOR = {G. M. Murch and G. L. Woodworth},
  TITLE = {Wahrnehmung},
  YEAR = 1978,
  PUBLISHER = {Kohlhammer},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Murdoch:90,
  AUTHOR = {S. Murdoch and L. Johnson},
  TITLE = {Intelligent Data Handling},
  YEAR = 1990,
  PUBLISHER = {Chapman and Hall},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Neapolitan90,
  AUTHOR = {R. E. Neapolitan},
  TITLE = {Probabilistic Reasoning in Expert Systems: Theory and Algorithms},
  YEAR = 1990,
  PUBLISHER = {Wiley},
  ADDRESS = {New York},
  KEYWORDS = {know},
  ABSTRACT = {}}

@book{Nebel90,
  AUTHOR = {B. Nebel},
  TITLE = {Reasoning and Revision in Hybrid Representation Systems},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {know-repr, know-acq, infer}}

@book{Negoita85,
  AUTHOR = {C. V. Negoita},
  TITLE = {Expert Systems and Fuzzy Systems},
  YEAR = 1985,
  PUBLISHER = {Benjamin/Cummings},
  ADDRESS = {Menlo Park, CA},
  KEYWORDS = {}}

@book{Negroponte95,
  AUTHOR = {N. Negroponte},
  TITLE = {Total Digital: Die Welt zwischen 0 und 1 oder Die Zukunft der 
           Kommunikation},
  YEAR = 1995,
  PUBLISHER = {Bertelsmann},
  ADDRESS = {M\"unchen},
  KEYWORDS = {multimedia},
  ABSTRACT = {}}

@book{Nerbonne85,
  AUTHOR = {J. A. Nerbonne},
  TITLE = {German Temporal Semantics: Three-Dimensional Tense Logic and a GPSG Fragment},
  YEAR = 1985,
  PUBLISHER = {Garland},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Neugebauer92,
  AUTHOR = {G. Neugebauer},
  TITLE = {Pragmatische Programmsynthese},
  YEAR = 1992,
  PUBLISHER = {Infix},
  ADDRESS = {Sankt Augustin},
  KEYWORDS = {}}

@book{Neumann58,
  AUTHOR = {J. von Neumann},
  TITLE = {The Computer and the Brain},
  YEAR = 1958,
  PUBLISHER = {Yale University Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Neumann60,
  AUTHOR = {J. von Neumann},
  TITLE = {Die Rechenmaschine und das Gehirn},
  YEAR = 1960,
  PUBLISHER = {Oldenbourg},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Neumann87,
  AUTHOR = {D. Neumann},
  TITLE = {Objects and Spaces: A Study in the Syntax and Semantics of the German Case System},
  YEAR = 1987,
  PUBLISHER = {Narr},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {semantics, syntax}}

@book{Neumann88,
  AUTHOR = {G. Neumann},
  TITLE = {Meta-Programmierung und Prolog},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Bonn},
  KEYWORDS = {}}

@book{Newborn75,
  AUTHOR = {M. Newborn},
  TITLE = {Computer Chess},
  YEAR = 1975,
  PUBLISHER = {Academic Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Newell:72,
  AUTHOR = {A. Newell and H. A. Simon},
  TITLE = {Human Problem Solving},
  YEAR = 1972,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {psych}}

@book{Newman:86,
  AUTHOR = {W. M. Newman and
		  R. F. Sproull}, 
  TITLE = {Grundz\"uge der interaktiven Computergraphik},
  YEAR = 1986,
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {Hamburg, New York},
  KEYWORDS = {info graph},
  ABSTRACT = {}}

@book{Newton-Smith80,
  AUTHOR = {W. H. Newton-Smith},
  TITLE = {The Structure of Time},
  YEAR = 1980,
  PUBLISHER = {Routledge and Kegan Paul},
  ADDRESS = {London},
  KEYWORDS = {temp},
  ABSTRACT = {}}

@book{Niemann74,
  AUTHOR = {H. Niemann},
  TITLE = {Methoden der Mustererkennung},
  YEAR = 1974,
  PUBLISHER = {Akademische Verlagsgesellschaft},
  ADDRESS = {Frankfurt am Main},
  KEYWORDS = {}}

@book{Niemann:87,
  AUTHOR = {H. Niemann and H. Bunke},
  TITLE = {K\"unstliche Intelligenz in Bild- und Sprachanalyse},
  YEAR = 1987,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Nilsson71,
  AUTHOR = {N. J. Nilsson},
  TITLE = {Problem-Solving Methods in Artificial Intelligence},
  YEAR = 1971,
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Nilsson82,
  AUTHOR = {N. J. Nilsson},
  TITLE = {Principles of Artificial Intelligence},
  YEAR = 1982,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Nirenburg:92,
  AUTHOR = {S. Nirenburg and J. Carbonell and M. Tomita and K. Goodman},
  TITLE = {Machine Tranlation: A Knowledge-Based Approach},
  YEAR = 1992,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Nissenbaum85,
  AUTHOR = {H. F. Nissenbaum},
  TITLE = {Emotion and Focus},
  YEAR = 1985,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Noble88,
  AUTHOR = {H. M. Noble},
  TITLE = {Natural Language Processing},
  YEAR = 1988,
  PUBLISHER = {Blackwell Scientific Publications},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Noekel91,
  AUTHOR = {K. N\"okel},
  TITLE = {Temporally Distributed Symptons in Technical Diagnosis},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {temp},
  ABSTRACT = {}}

@book{Noeth85,
  AUTHOR = {W. N\"oth},
  TITLE = {Handbuch der Semiotik},
  YEAR = 1985,
  PUBLISHER = {Metzlersche},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Norman:78,
  AUTHOR = {D. A. Norman and D. E. Rumelhart}, 
  TITLE = {Strukturen des Wissens: Wege der Kognitionsforschung},
  YEAR = 1978,
  PUBLISHER = {Klett-Cotta},
  ADDRESS = {Stuttgart},
  KEYWORDS = {},
  ABSTRACT = {}}

@book{Norvig92,
  AUTHOR = {P. Norvig},
  TITLE = {Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp},
  YEAR = 1992,
  PUBLISHER = {Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Novak87,
  AUTHOR = {H.-J. Novak},
  TITLE = {Textgenerierung aus visuellen Daten: Beschreibungen von Stra\ss{}enszenen},
  YEAR = 1987,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Nowakowska73,
  AUTHOR = {M. Nowakowska},
  TITLE = {Language of Motivation and Language of Actions},
  YEAR = 1973,
  PUBLISHER = {Mouton},
  ADDRESS = {Paris},
  KEYWORDS = {plans, know-repr, logic}}

@book{Oconnor73,
  AUTHOR = {J. D. O'Connor},
  TITLE = {Phonetics},
  YEAR = 1973,
  PUBLISHER = {Penguin},
  ADDRESS = {Harmondsworth, England},
  KEYWORDS = {ling phono},
  ABSTRACT = {}}

@book{O-Keefe90,
  AUTHOR = {R. A. O'Keefe},
  TITLE = {The Craft of Prolog},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Okabe:92,
  AUTHOR = {A. Okabe and B. Boots and K. Sugihara},
  TITLE = {Spatial Tessellations: Concepts and Applications of Voronoi 
           Diagrams},
  YEAR = 1992,
  PUBLISHER = {Wiley},
  ADDRESS = {New York},
  STATUS = {MPII},
  KEYWORDS = {raum},
  ABSTRACT = {}}

@book{Olsen92,
  AUTHOR = {D. R. Olsen},
  TITLE = {User Interface Management Systems: Models and Algorithms},
  YEAR = 1992,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {prog},
  ABSTRACT = {}}

@book{Olson87,
  AUTHOR = {K. R. Olson},
  TITLE = {An Essay on Facts},
  YEAR = 1987,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Oneil94,
  AUTHOR = {P. O'Neil},
  TITLE = {Database---Principles, Programming, Performance},
  YEAR = 1994,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Francisco, CA},
  KEYWORDS = {info},
  ABSTRACT = {}}

@book{Ousterhout94,
  AUTHOR = {J. K. Ousterhout},
  TITLE = {TCL and the TK Toolkit},
  YEAR = 1994,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  STATUS = {O},
  KEYWORDS = {prog},
  ABSTRACT = {}}

@book{Padawitz88,
  AUTHOR = {P. Padawitz},
  TITLE = {Computing in Horn Clause Theories},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Paepcke93,
  AUTHOR = {A. Paepcke},
  TITLE = {Object-oriented Programming: The CLOS Perspective},
  YEAR = 1993,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {prog},
  ABSTRACT = {}}

@book{Paivio71,
  AUTHOR = {A. Paivio},
  TITLE = {Imagery and Verbal Processes},
  YEAR = 1971,
  PUBLISHER = {Holt, Rinehart and Winston},
  ADDRESS = {New York},
  KEYWORDS = {raum imag},
  ABSTRACT = {}}

@book{Paivio91,
  AUTHOR = {A. Paivio},
  TITLE = {Images in Mind: The Evolution of a Theory},
  YEAR = 1991,
  PUBLISHER = {Harvester Wheatsheaf},
  ADDRESS = {New York},
  KEYWORDS = {raum imag},
  ABSTRACT = {}}

@book{Palmer71,
  AUTHOR = {F. Palmer},
  TITLE = {Grammar},
  YEAR = 1971,
  PUBLISHER = {Penguin},
  ADDRESS = {Harmondsworth, England},
  KEYWORDS = {ling gram},
  ABSTRACT = {}}

@book{Palmer81,
  AUTHOR = {F. R. Palmer},
  TITLE = {Semantics},
  YEAR = 1981,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, London},
  EDITION = 2,
  KEYWORDS = {ling sem},
  ABSTRACT = {}}

@book{Papadimitriou:82,
  AUTHOR = {C. H. Papadimitriou and K. Steiglitz}, 
  TITLE = {Combinational Optimization: Algorithms and Complexity},
  YEAR = 1982,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {info},
  ABSTRACT = {}}

@book{Papadimitriou94,
  AUTHOR = {C. H. Papadimitriou}, 
  TITLE = {Computational Complexity},
  YEAR = 1994,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {info},
  ABSTRACT = {}}

@book{Parsons90,
  AUTHOR = {T. Parsons},
  TITLE = {Events in the Semantics of English: A Study in Subatomic Semantics},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {event ling},
  ABSTRACT = {}}

@book{Partee:90,
  AUTHOR = {B. H. Partee and A. ter Meulen and R. E. Wall},
  TITLE = {Mathematical Methods in Linguistics},
  YEAR = 1990,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Patten88,
  AUTHOR = {T. Patten},
  TITLE = {Systemic Text Generation as Problem Solving},
  YEAR = 1988,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Paulson87,
  AUTHOR = {L. C. Paulson},
  TITLE = {Logic and Computation: Interactive Proof with Cambridge LCF},
  YEAR = 1987,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Pearl88,
  AUTHOR = {J. Pearl},
  TITLE = {Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference},
  YEAR = 1988,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Pereira:87,
  AUTHOR = {F. C. N. Pereira and S. M. Shieber},
  TITLE = {Prolog and Natural-Language Analysis},
  YEAR = 1987,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Piaget:71,
  AUTHOR = {J. Piaget and B. Inhelder}, 
  TITLE = {Die Entwicklung des r\"aumlichen Denkens beim Kinde},
  YEAR = 1971,
  PUBLISHER = {Klett},
  ADDRESS = {Stuttgart},
  KEYWORDS = {raum},
  ABSTRACT = {}}

@book{Piaget:74,
  AUTHOR = {J. Piaget and B. Inhelder and A. Szeminska}, 
  TITLE = {Die nat\"urliche Geometrie des Kindes},
  YEAR = 1974,
  PUBLISHER = {Klett},
  ADDRESS = {Stuttgart},
  KEYWORDS = {psych raum},
  ABSTRACT = {}}

@book{Piaget:75,
  AUTHOR = {J. Piaget and B. Inhelder},
  TITLE = {Die Entwicklung des r\"aumlichen Denkens beim Kinde},
  YEAR = 1975,
  PUBLISHER = {Klett},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Plastock:87,
  AUTHOR = {R. A. Plastock and G. Kalley},
  TITLE = {Computergrafik},
  YEAR = 1987,
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {Hamburg, New York},
  KEYWORDS = {info graph},
  ABSTRACT = {}}

@book{Polenz85,
  AUTHOR = {P. von Polenz},
  TITLE = {Deutsche Satzsemantik: Grundbegriffe des Zwischen-den-Zeilen-Lesens},
  YEAR = 1985,
  PUBLISHER = {de Gruyter},
  ADDRESS = {Berlin},
  KEYWORDS = {ling, semantics}}

@book{Politakis85,
  AUTHOR = {P. G. Politakis},
  TITLE = {Empirical Analysis for Expert Systems},
  YEAR = 1985,
  PUBLISHER = {Pitman},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Pollard:87,
  AUTHOR = {C. Pollard and I. A. Sag},
  TITLE = {Information-Based Theory of Syntax and Semantics. Vol. 1: Fundamentals},
  YEAR = 1987,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Popp90,
  AUTHOR = {C. Popp},
  TITLE = {Eine Erkl\"arungskomponente f\"ur ein Blackboard-System},
  YEAR = 1990,
  PUBLISHER = {VDI-Verlag},
  ADDRESS = {D\"usseldorf},
  KEYWORDS = {infer, exp-sys}}

@book{Powell90,
  AUTHOR = {J. E. Powell},
  TITLE = {Designing User Interfaces},
  YEAR = 1990,
  PUBLISHER = {Microtrend},
  ADDRESS = {San Marcos, CA},
  KEYWORDS = {}}

@book{Pree95,
  AUTHOR = {W. Pree},
  TITLE = {Design Patterns for Object-Oriented Software Development},
  YEAR = 1995,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England, Reading, MA},
  KEYWORDS = {prog},
  ABSTRACT = {}}

@book{Preparata:85,
  AUTHOR = {F. P. Preparata and M. I. Shamos},
  TITLE = {Computational Geometry: An Introduction},
  YEAR = 1985,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {prog},
  ABSTRACT = {}}

@book{Prinz83,
  AUTHOR = {W. Prinz},
  TITLE = {Wahrnehmung und T\"atigkeitssteuerung},
  YEAR = 1983,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {psych vision},
  ABSTRACT = {}}

@book{Prior57,
  AUTHOR = {A. N. Prior},
  TITLE = {Time and Modality},
  YEAR = 1957,
  PUBLISHER = {Clarendon},
  ADDRESS = {Oxford},
  KEYWORDS = {temp logic},
  ABSTRACT = {}}

@book{Prior67,
  AUTHOR = {A. N. Prior},
  TITLE = {Past, Present and Future},
  YEAR = 1967,
  PUBLISHER = {Clarendon},
  ADDRESS = {Oxford},
  KEYWORDS = {temp logic},
  ABSTRACT = {}}

@book{Puppe87,
  AUTHOR = {F. Puppe},
  TITLE = {Diagnostisches Probleml\"osen mit Expertensystemen},
  YEAR = 1987,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Pylyshyn84,
  AUTHOR = {Z. W. Pylyshyn},
  TITLE = {Computation and Cognition: Toward a Foundation for Cognitive Science},
  YEAR = 1984,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Quarterman90,
  AUTHOR = {J. S. Quarterman},
  TITLE = {The Matrix: Computer Networks and Conferencing Systems Worldwide},
  YEAR = 1990,
  PUBLISHER = {Digital Press},
  ADDRESS = {Bedford, MA},
  KEYWORDS = {}}

@book{Quercia:90,
  AUTHOR = {V. Quercia and T. O'Reilly},
  TITLE = {X Window System User's Guide},
  YEAR = 1990,
  EDITION = 3,
  PUBLISHER = {O'Reilly},
  ADDRESS = {Sebastopol, CA},
  KEYWORDS = {}}

@book{Quine69,
  AUTHOR = {W. V. Quine},
  TITLE = {Grundz\"uge der Logik},
  YEAR = 1969, 
  PUBLISHER = {Suhrkamp},
  ADDRESS = {Frankfurt/Main},
  KEYWORDS = {logic},
  ABSTRACT = {}}

@book{Radford82,
  AUTHOR = {A. Radford},
  TITLE = {Transformational Syntax: A Student's Guide to Chomsky's Extended Standard Theory},
  YEAR = 1982,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {ling, syntax}}

@book{Ramberg89,
  AUTHOR = {B. T. Ramberg},
  TITLE = {Donald Davidson's Philosophy of Language: An Introduction},
  YEAR = 1989,
  PUBLISHER = {Basil Blackwell},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Ramsay88,
  AUTHOR = {A. Ramsay},
  TITLE = {Formal Methodds in Artificial Intelligence},
  YEAR = 1988,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {know-repr, infer}}

@book{Raphael76,
  AUTHOR = {B. Raphael},
  TITLE = {The Thinking Computer: Mind Inside Matter},
  YEAR = 1976,
  PUBLISHER = {Freeman},
  ADDRESS = {San Francisco},
  KEYWORDS = {}}

@book{Rath79,
  AUTHOR = {R. Rath},
  TITLE = {Kommunikationspraxis},
  YEAR = 1979,
  PUBLISHER = {Vandenhoeck \& Ruprecht},
  ADDRESS = {G\"ottingen},
  KEYWORDS = {}}

@book{Rauh91,
  AUTHOR = {G. Rauh},
  TITLE = {Approaches to Prepositions},
  YEAR = 1991,
  PUBLISHER = {Narr},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {}}

@book{Rayner83,
  EDITOR = {K. Rayner},
  TITLE = {Eye Movements in Reading},
  YEAR = 1983,
  PUBLISHER = {Academic Press},
  ADDRESS = {New York},
  KEYWORDS = {psych},
  ABSTRACT = {}}

@book{Read88,
  AUTHOR = {S. Read},
  TITLE = {Relevant Logic},
  YEAR = 1988,
  PUBLISHER = {Basil Blackwell},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Reichenbach47,
  AUTHOR = {H. Reichenbach},
  TITLE = {Elements of Symbolic Logic},
  YEAR = 1947,
  PUBLISHER = {McMillan},
  ADDRESS = {New York},
  KEYWORDS = {},
  ABSTRACT = {}}

@book{Reichman86,
  AUTHOR = {R. Reichman},
  TITLE = {Getting Computers to Talk Like You and Me},
  YEAR = 1986,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Reimer91,
  AUTHOR = {U. Reimer},
  TITLE = {Einf\"uhrung in die Wissensrepr\"asentation: Netzartige und schema-basierte Repr\"asentationsformate},
  YEAR = 1991,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {know-repr}}

@book{Reinefeld89,
  AUTHOR = {A. Reinefeld},
  TITLE = {Spielbaum-Suchverfahren},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Reithinger92,
  AUTHOR = {N. Reithinger},
  TITLE = {Eine parallele Architektur zur inkrementellen Generierung multimodaler Dialogbeitr\"age},
  YEAR = 1992,
  PUBLISHER = {Infix},
  ADDRESS = {Sankt Augustin},
  KEYWORDS = {}}

@book{Rescher:71,
  AUTHOR = {N. Rescher and A. Urquhart},
  TITLE = {Temporal Logic},
  YEAR = 1971,
  PUBLISHER = {Springer},
  ADDRESS = {Wien},
  KEYWORDS = {}}

@book{Retti86,
  AUTHOR = {J. Retti},
  TITLE = {Artificial Intelligence: Eine Einf\"uhrung},
  YEAR = 1986,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Retz-Schmidt92,
  AUTHOR = {G. Retz-Schmidt},
  TITLE = {Die Interpretation des Verhaltens mehrerer Akteure in Szenenfolgen},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Rich:91,
  AUTHOR = {E. Rich and K. Knight},
  TITLE = {Artificial Intelligence},
  YEAR = 1991,
  EDITION = 2,
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Richards:89,
  AUTHOR = {B. Richards and I. Bethke and J. van der Does and J. Oberlander},
  TITLE = {Temporal Representation and Inference},
  YEAR = 1989,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Richter78,
  AUTHOR = {M. M. Richter},
  TITLE = {Logikkalk\"ule},
  YEAR = 1978,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Richter92,
  AUTHOR = {M. M. Richter},
  TITLE = {Prinzipien der K\"unstlichen Intelligenz},
  YEAR = 1992,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Riesbeck:89,
  AUTHOR = {C. K. Riesbeck and R. C. Schank},
  TITLE = {Inside Case-Based Reasoning},
  YEAR = 1989,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Ritter:90,
  AUTHOR = {H. Ritter and T. Martinetz and K. Schulten},
  TITLE = {Neuronale Netze: Eine Einf\"uhrung in die Neuroinformatik selbstorganisierender Netzwerke},
  YEAR = 1990,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Bonn},
  KEYWORDS = {}}

@book{Robinson74,
  AUTHOR = {A. Robinson},
  TITLE = {Introduction to Model Theory and to the Metamathematics of Algebra},
  YEAR = 1974,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Rock73,
  AUTHOR = {I. Rock},
  TITLE = {Orientation and Form},
  YEAR = 1973,
  PUBLISHER = {Academic Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Ros89,
  AUTHOR = {A. Ros},
  TITLE = {Begr\"undung und Begriff: Wandlungen des Verst\"andnisses begrifflicher Argumentationen - Band I: Antike, Sp\"atantike und Mittelalter},
  YEAR = 1989,
  PUBLISHER = {Meiner},
  ADDRESS = {Hamburg},
  KEYWORDS = {}}

@book{Ros90,
  AUTHOR = {A. Ros},
  TITLE = {Begr\"undung und Begriff: Wandlungen des Verst\"andnisses begrifflicher Argumentationen - Band II: Moderne},
  YEAR = 1990,
  PUBLISHER = {Meiner},
  ADDRESS = {Hamburg},
  KEYWORDS = {}}

@book{Ross92,
  AUTHOR = {P. Ross},
  TITLE = {Advanced Prolog: Techniques and Examples},
  YEAR = 1992,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England},
  KEYWORDS = {progr}}

@book{Ross-Ashby60,
  AUTHOR = {W. {Ross Ashby}},
  TITLE = {Design for a Brain},
  YEAR = 1960,
  PUBLISHER = {Chapman \& Hall},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Rost77,
  AUTHOR = {D. H. Rost},
  TITLE = {Raumvorstellung. Psychologische und p\"adagogische Aspekte},
  YEAR = 1977,
  PUBLISHER = {Beltz},
  ADDRESS = {Weinheim},
  KEYWORDS = {raum},
  ABSTRACT = {}}

@book{Rothacker:86,
  AUTHOR = {E. Rothacker and G. Saile},
  TITLE = {Ich wei\ss{} nicht, was soll es bedeuten},
  YEAR = 1986,
  PUBLISHER = {Westdeutscher Verlag},
  ADDRESS = {Opladen},
  KEYWORDS = {ling, semantics}}

@book{Ruoff90,
  AUTHOR = {A. Ruoff},
  TITLE = {H\"aufigkeitsw\"orterbuch gesprochener Sprache},
  YEAR = 1990,
  PUBLISHER = {Niemeyer},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {}}

@book{Russell:91,
  AUTHOR = {S. Russell and E. Wefald},
  TITLE = {Do the Right Thing},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Russell:95,
  AUTHOR = {S. J. Russell and P. Norvig},
  TITLE = {Artificial Intelligence: A Modern Approach},
  YEAR = 1995,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {ki},
  ABSTRACT = {}}

@book{Saake83,
  AUTHOR = {G. Saake},
  TITLE = {Objektorientierte Spezifikation von Informationssystemen},
  YEAR = 1983,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Sachs72,
  AUTHOR = {H. Sachs},
  TITLE = {Einf\"uhrung in die Theorie der endlichen Graphen: Teil II},
  YEAR = 1972,
  PUBLISHER = {Teubner},
  ADDRESS = {Leipzig},
  KEYWORDS = {}}

@book{Sagerer85,
  AUTHOR = {G. Sagerer},
  TITLE = {Darstellung und Nutzung von Expertenwissen f\"ur ein Bildanalysesystem},
  YEAR = 1985,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {vision}}

@book{Sagerer90,
  AUTHOR = {G. Sagerer},
  TITLE = {Automatisches Verstehen gesprochener Sprache},
  YEAR = 1990,
  PUBLISHER = {BI-Wissenschaftsverlag},
  ADDRESS = {Mannheim},
  KEYWORDS = {}}

@book{Saile84,
  AUTHOR = {G. Saile},
  TITLE = {Sprache und Handlung},
  YEAR = 1984,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {ling}}

@book{Salmon:87,
  AUTHOR = {R. Salmon and M. Slater}, 
  TITLE = {Computer Graphics: Systems and Concepts},
  YEAR = 1987,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England, Reading, MA},
  KEYWORDS = {info graph},
  ABSTRACT = {}}

@book{Salton75,
  AUTHOR = {G. Salton},
  TITLE = {Dynamic Information and Library Processing},
  YEAR = 1975,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {}}

@book{Scha83,
  AUTHOR = {R. J. H. Scha},
  TITLE = {Logical Foundations for Question Answering},
  YEAR = 1983,
  PUBLISHER = {Philips Research Laboratories},
  ADDRESS = {Eindhoven, the Netherlands},
  KEYWORDS = {}}

@book{Schank82,
  AUTHOR = {R. C. Schank},
  TITLE = {Dynamic Memory: A Theory of Reminding and Learning in Computers and People},
  YEAR = 1982,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {user-mod}}

@book{Schank84,
  AUTHOR = {R. C. Schank},
  TITLE = {The Cognitive Computer},
  YEAR = 1984,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {psych nl know},
  ABSTRACT = {}}

@book{Schank:77,
  AUTHOR = {R. C. Schank and R. P. Abelson}, 
  TITLE = {Scripts, Plans, Goals and Understanding},
  YEAR = 1977,
  PUBLISHER = {Lawrence Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {psych know},
  ABSTRACT = {}}

@book{Schank:81,
  AUTHOR = {R. C. Schank and C. K. Riesbeck},
  TITLE = {Inside Computer Understanding: Five Programs Plus Miniatures},
  YEAR = 1981,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Schank:84,
  AUTHOR = {R. C. Schank and P. G. Childers},
  TITLE = {The Cognitive Computer},
  YEAR = 1984,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Schefe86,
  AUTHOR = {P. Schefe},
  TITLE = {K\"unstliche Intelligenz: \"Uberblick und Grundlagen - Grundlegende Konzepte und Methoden zur Realisierung von Systemen der k\"unstlichen Intelligenz},
  YEAR = 1986,
  PUBLISHER = {Bibliographisches Institut},
  ADDRESS = {Mannheim},
  KEYWORDS = {}}

@book{Scheifler:88,
  AUTHOR = {R. W. Scheifler and J. Gettys and R. Newman},
  TITLE = {X Window System: C Library and Protocol Reference},
  YEAR = 1988,
  PUBLISHER = {Digital Press},
  ADDRESS = {Bedford, MA},
  KEYWORDS = {}}

@book{Schildt87,
  AUTHOR = {H. Schildt},
  TITLE = {Artificial Intelligence Using C},
  YEAR = 1987,
  PUBLISHER = {McCraw-Hill},
  ADDRESS = {Berkeley, CA},
  KEYWORDS = {}}

@book{Schmauks91,
  AUTHOR = {D. Schmauks},
  TITLE = {Deixis in der Mensch-Maschinensprache: Multimediale Referentenidentifikation durch nat\"urliche und simulierte Zeigegesten},
  YEAR = 1991,
  PUBLISHER = {Niemeyer},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {}}

@book{Schmidt76,
  AUTHOR = {S. J. Schmidt},
  TITLE = {Texttheorie},
  YEAR = 1976,
  PUBLISHER = {Fink},
  ADDRESS = {M\"unchen},
  KEYWORDS = {ling text},
  ABSTRACT = {}}

@book{Schnorr74,
  AUTHOR = {C. P. Schnorr},
  TITLE = {Rekursive Funktionen und ihre Komplexit\"at},
  YEAR = 1974,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Scholz59,
  AUTHOR = {H. Scholz},
  TITLE = {Abri\ss{} der Geschichte der Logik},
  YEAR = 1959,
  EDITION = 3,
  PUBLISHER = {Alber},
  ADDRESS = {Freiburg},
  KEYWORDS = {}}

@book{Scholz91,
  AUTHOR = {O. R. Scholz},
  TITLE = {Bild, Darstellung, Zeichen: Philosophische Theorien bildhafter Darstellung},
  YEAR = 1991,
  PUBLISHER = {Alber},
  ADDRESS = {Freiburg},
  KEYWORDS = {}}

@book{Schroeder86,
  AUTHOR = {J. Schr\"oder},
  TITLE = {Lexikon deutscher Pr\"apositionen},
  YEAR = 1986,
  PUBLISHER = {Verlag Enziklop\"adie},
  ADDRESS = {Leipzig},
  KEYWORDS = {ling raum},
  ABSTRACT = {}}

@book{Schwichtenberg93,
  AUTHOR = {H. Schwichtenberg},
  TITLE = {Proof and Computation},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Searle69,
  AUTHOR = {J. R. Searle},
  TITLE = {Speech Acts: An Essay in the Philosophy of Language},
  YEAR = 1969,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, London},
  KEYWORDS = {phil ling prag},
  ABSTRACT = {}}

@book{Searle83,
  AUTHOR = {J. R. Searle},
  TITLE = {Sprechakte: Ein Sprachphilosophischer Essay},
  YEAR = 1983,
  PUBLISHER = {Suhrkamp},
  ADDRESS = {Frankfurt},
  KEYWORDS = {phil}}

@book{Searle84,
  AUTHOR = {J. R. Searle},
  TITLE = {Geist, Hirn und Wissenschaft},
  YEAR = 1984,
  PUBLISHER = {Suhrkamp},
  ADDRESS = {Frankfurt},
  KEYWORDS = {}}

@book{Searle87,
  AUTHOR = {J. R. Searle},
  TITLE = {Intentionalit\"at: Eine Abhandlung zur Philosophie des Geistes},
  YEAR = 1987,
  PUBLISHER = {Suhrkamp},
  ADDRESS = {Frankfurt},
  KEYWORDS = {plans}}

@book{Searle:85,
  AUTHOR = {J. R. Searle and D. Vanderveken},
  TITLE = {Foundations of Illocutionary Logic},
  YEAR = 1985,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Sebeok79,
  AUTHOR = {T. A. Sebeok},
  TITLE = {Theorie und Geschichte der Semiotik},
  YEAR = 1979,
  PUBLISHER = {Rowohlt},
  ADDRESS = {Reinbek bei Hamburg},
  KEYWORDS = {phil}}

@book{Sedgewick88,
  AUTHOR = {R. Sedgewick},
  TITLE = {Algorithms},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Segeth73,
  AUTHOR = {W. Segeth},
  TITLE = {Elementare Logik},
  YEAR = 1973,
  PUBLISHER = {VEB Deutscher Verlag der Wissenschaften},
  ADDRESS = {Berlin},
  KEYWORDS = {logic, phil}}

@book{Sells85,
  AUTHOR = {P. Sells},
  TITLE = {Lectures on Contemporary Syntactic Theories: An Introduction to Government-Binding Theory, Generalized Phrase Structure Grammar, and Lexical-Functional Grammar},
  YEAR = 1985,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {ling, n-l-p}}

@book{Sennholz85,
  AUTHOR = {K. Sennholz},
  TITLE = {Grundz\"uge der Deixis},
  YEAR = 1985,
  PUBLISHER = {Brockmeyer},
  ADDRESS = {Bochum},
  KEYWORDS = {}}

@book{Shieber86,
  AUTHOR = {S. M. Shieber},
  TITLE = {An Introduction to Unification-Based Approaches to Grammar},
  YEAR = 1986,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA },
  KEYWORDS = {ling, n-l-p}}

@book{Shneiderman92,
  AUTHOR = {B. Shneiderman},
  TITLE = {Designing the User Interface: Strategies for Effective Human-Computer Interaction},
  YEAR = 1992,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England},
  KEYWORDS = {}}

@book{Shoham88,
  AUTHOR = {Y. Shoham},
  TITLE = {Reasoning about Change},
  YEAR = 1988,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Sidhu:89,
  AUTHOR = {G. S. Sidhu and R. F. Andrews and A. B. Oppenheimer},
  TITLE = {Inside AppleTalk},
  YEAR = 1989,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Simon81,
  AUTHOR = {H. A. Simon},
  TITLE = {The sciences of the Artificial},
  YEAR = 1981,
  EDITION = 2,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Simons83,
  AUTHOR = {G. L. Simons},
  TITLE = {Towards Fifth-Generation Computers},
  YEAR = 1983,
  PUBLISHER = {NCC},
  ADDRESS = {Manchester, England},
  KEYWORDS = {}}

@book{Slagle71,
  AUTHOR = {J. R. Slagle},
  TITLE = {Artificial Intelligence: The Heuristic Programming Approach},
  YEAR = 1971,
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Smith77,
  AUTHOR = {D. C. Smith},
  TITLE = {Pygmalion},
  YEAR = 1977,
  PUBLISHER = {Birkh\"auser},
  ADDRESS = {Basel},
  KEYWORDS = {}}

@book{Smith82,
  AUTHOR = {N. V. Smith},
  TITLE = {Mutual Knowledge},
  YEAR = 1982,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Smorynski85,
  AUTHOR = {C. Smorynski},
  TITLE = {Self-Reference and Modal Logic},
  YEAR = 1985,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Sokolowsky78,
  AUTHOR = {P. Sokolowsky},
  TITLE = {Grundlagen der Rechnertechnik mit einer Einf\"uhrung in Mikroprozessoren},
  YEAR = 1978,
  PUBLISHER = {Birkh\"auser},
  ADDRESS = {Basel},
  KEYWORDS = {}}

@book{Sombe92,
  AUTHOR = {L. Sombe},
  TITLE = {Schlie\ss{}en bei unsicherem Wissen in der K\"unstlichen Intelligenz: Vergleich von Formalismen anhand eines Beispiels},
  YEAR = 1992,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Sommerfeldt:83a,
  AUTHOR = {K.-E. Sommerfeldt and H. Schreiber},
  TITLE = {W\"orterbuch zur Valenz und Distribution der Substantive},
  YEAR = 1983,
  PUBLISHER = {VEB Bibliographisches Institut Leipzig},
  ADDRESS = {Leipzig},
  KEYWORDS = {}}

@book{Sommerfeldt:83b,
  AUTHOR = {K.-E. Sommerfeldt and H. Schreiber},
  TITLE = {W\"orterbuch zur Valenz und Distribution deutscher Adjektive},
  YEAR = 1983,
  PUBLISHER = {VEB Bibliographisches Institut Leipzig},
  ADDRESS = {Leipzig},
  KEYWORDS = {}}

@book{Sommerville95,
  AUTHOR = {I. Sommerville},
  TITLE = {Software Engineering},
  YEAR = 1996,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  EDITION = 5,
  STATUS = {O},
  KEYWORDS = {prog},
  ABSTRACT = {}}

@book{Sowa84,
  AUTHOR = {J. F. Sowa},
  TITLE = {Conceptual Structures: Information Processing in Mind and Machine},
  YEAR = 1984,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Spivak82,
  AUTHOR = {M. D. Spivak},
  TITLE = {The Joy of TEX: A Gourmet Guide to Typesetting with the AMS-TEX Macro Package},
  YEAR = 1982,
  PUBLISHER = {American Mathematical Society},
  ADDRESS = {Providence, Rhode Island},
  KEYWORDS = {}}

@book{Springer:89,
  AUTHOR = {G. Springer and D. P. Friedman}, 
  TITLE = {Scheme and the Art of Programming},
  YEAR = 1989,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {prog},
  ABSTRACT = {}}

@book{Stadler91,
  AUTHOR = {R. Stadler},
  TITLE = {Ausf\"uhrbare Spezifikation von Directory-Systemen in einer logischen Sprache},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Steele84,
  AUTHOR = {G. L. Steele},
  TITLE = {Common LISP},
  YEAR = 1984,
  PUBLISHER = {Digital Press},
  ADDRESS = {Burlington, MA},
  KEYWORDS = {}}

@book{Steele89,
  AUTHOR = {G.-L. Steele},
  TITLE = {Lisp Programming for AI. A Common Lisp Tutorial. Vol. 1},
  YEAR = 1989,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {ki prog},
  ABSTRACT = {}}

@book{Stelzner84,
  AUTHOR = {W. Stelzner},
  TITLE = {Epistemische Logik: Zur logischen Analyse von Akzeptationsformen},
  YEAR = 1984,
  PUBLISHER = {Akademie-Verlag},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Sterling:86,
  AUTHOR = {L. Sterling and E. Shapiro},
  TITLE = {The Art of Prolog: Advanced Programming Techniques},
  YEAR = 1986,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Sterling:88,
  AUTHOR = {L. Sterling and E. Shapiro},
  TITLE = {PROLOG: Fortgeschrittene Programmiertechniken},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Bonn, Germany},
  KEYWORDS = {}}

@book{Stern88,
  AUTHOR = {A. Stern},
  TITLE = {Matrix Logic},
  YEAR = 1988,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Stillings:87,
  AUTHOR = {N. A. Stillings and M. H. Feinstein and J. L. Garfield and E. L. Rissland and D. A. Rosenbaum and S. E. Weisler and L. Baker-Ward},
  TITLE = {Cognitive Science: An Introduction},
  YEAR = 1987,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {psych}}

@book{Stoy77,
  AUTHOR = {J. E. Stoy},
  TITLE = {Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory},
  YEAR = 1977,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Stoyan88,
  AUTHOR = {H. Stoyan},
  TITLE = {Programmiermethoden der K\"unstlichecn Intelligenz (Band 1)},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {progr}}

@book{Stoyan91,
  AUTHOR = {H. Stoyan},
  TITLE = {Programmiermethoden der K\"unstlichecn Intelligenz (Band 2)},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {progr}}

@book{Stoyan:84,
  AUTHOR = {H. Stoyan and G. G\"orz},
  TITLE = {LISP: Eine Einf\"uhrung in die Programmierung},
  YEAR = 1984,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {progr}}

@book{Strasser92,
  AUTHOR = {A. Strasser},
  TITLE = {Generierung dom\"anenspezifischer Wissensrepr\"asentationssysteme und Transformation von Wissensbasen mit einer Anwendung in Rechtsinformatik},
  YEAR = 1992,
  PUBLISHER = {Infix},
  ADDRESS = {Sankt Augustin},
  KEYWORDS = {}}

@book{Strohner90,
  AUTHOR = {H. Strohner},
  TITLE = {Textverstehen: Kognitive und Kommunikative Grundlagen der Sprachverarbeitung},
  YEAR = 1990,
  PUBLISHER = {wv},
  ADDRESS = {Opladen},
  KEYWORDS = {}}

@book{Stroustrup86,
  AUTHOR = {B. Stroustrup},
  TITLE = {The C++ Programming Language},
  YEAR = 1986,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Suchman87,
  AUTHOR = {L. A. Suchman},
  TITLE = {Plans and Situated Actions: The Problem of Human-Machine Communication},
  YEAR = 1987,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {plans, action}}

@book{Syska92,
  AUTHOR = {I. Syska},
  TITLE = {Modulare Probleml\"osungsarchitekturen f\"ur Konstruktionssysteme},
  YEAR = 1992,
  PUBLISHER = {Infix},
  ADDRESS = {Sankt Augustin},
  KEYWORDS = {}}

@book{Tank92,
  AUTHOR = {W. Tank},
  TITLE = {Modellierung von Expertise \"uber Konfigurierungsaufgaben},
  YEAR = 1992,
  PUBLISHER = {Infix},
  ADDRESS = {Sankt Augustin},
  KEYWORDS = {}}

@book{Tarski77,
  AUTHOR = {A. Tarski},
  TITLE = {Einf\"uhrung in die Mathematische Logik},
  YEAR = 1977,
  EDITION = 5,
  PUBLISHER = {Vandenhoeck \& Ruprecht},
  ADDRESS = {G\"ottingen},
  KEYWORDS = {}}

@book{Taylor92,
  AUTHOR = {D. A. Taylor},
  TITLE = {Object-Oriented Technology: A Manager's Guide},
  YEAR = 1992,
  PUBLISHER = {Addison Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {progr}}

@book{Tello89,
  AUTHOR = {E. R. Tello},
  TITLE = {Object-Oriented Programming for Artificial Intelligence: A Guide to Tools and System Design},
  YEAR = 1989,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Tennant81a,
  AUTHOR = {H. Tennant},
  TITLE = {Natural Language Processing},
  YEAR = 1981,
  PUBLISHER = {Petrocelli},
  ADDRESS = {New York},
  KEYWORDS = {ling, n-l-p}}

@book{Tennent81b,
  AUTHOR = {R. D. Tennent},
  TITLE = {Principles of Programming Languages},
  YEAR = 1981,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {}}

@book{Thimbleby90,
  AUTHOR = {H. Thimbleby},
  TITLE = {User Interface Design},
  YEAR = 1990,
  PUBLISHER = {acm Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Thompson91,
  AUTHOR = {S. Thompson},
  TITLE = {Type Theory and Functional Programming},
  YEAR = 1991,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England},
  KEYWORDS = {}}

@book{Touretzky86,
  AUTHOR = {D. S. Touretzky},
  TITLE = {The Mathematics of Inheritance Systems},
  YEAR = 1986,
  PUBLISHER = {Pitman},
  ADDRESS = {London},
  KEYWORDS = {user-mod}}

@book{Tourlakis84,
  AUTHOR = {G. J. Tourlakis},
  TITLE = {Computability},
  YEAR = 1984,
  PUBLISHER = {Reston Publishing Company},
  ADDRESS = {Reston},
  KEYWORDS = {}}

@book{Travis91,
  AUTHOR = {D. Travis},
  TITLE = {Effective Color Displays: Theory and Practice},
  YEAR = 1991,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Tugendhat:83,
  AUTHOR = {E. Tugendhat and U. Wolf},
  TITLE = {Logisch-semantische Prop\"adeutik},
  YEAR = 1983,
  PUBLISHER = {Reclam},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Turner84,
  AUTHOR = {R. Turner},
  TITLE = {Logics for Artificial Intelligence},
  YEAR = 1984,
  PUBLISHER = {Ellis Horwood},
  ADDRESS = {Chichester},
  KEYWORDS = {}}

@book{Turner90,
  AUTHOR = {R. Turner},
  TITLE = {Truth and Modality for Knowledge Representation},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Ulichney87,
  AUTHOR = {R. Ulichney},
  TITLE = {Digital Halftoning},
  YEAR = 1987,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {graphik},
  ABSTRACT = {}}

@book{Ullman79,
  AUTHOR = {S. Ullman},
  TITLE = {The Interpretation of Visual Motion},
  YEAR = 1979,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {vision},
  ABSTRACT = {}}

@book{Unseld90,
  AUTHOR = {S. Unseld},
  TITLE = {K\"unstliche Intelligenz und Simulation in der Unternehmung},
  YEAR = 1990,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Use:86,
  AUTHOR = {R. C. Use and A. S. Weinberg},
  TITLE = {The Grammatical Basis of Linguistic Performance: Language Use and Acquisition},
  YEAR = 1986,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {ling}}

@book{Uszkoreit87,
  AUTHOR = {H. Uszkoreit},
  TITLE = {Word-Order and Constituent Structure in German},
  YEAR = 1987,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Van-Benthem85,
  AUTHOR = {J. {Van Benthem}},
  TITLE = {A Manual of Intensional Logic},
  YEAR = 1985,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Van-Benthem88,
  AUTHOR = {J. {Van Benthem}},
  TITLE = {A Manual of Intensional Logic},
  YEAR = 1988,
  EDITION = 2,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Van-Hentenryck89,
  AUTHOR = {P. {Van Hentenryck}},
  TITLE = {Constraint Satisfaction in Logic Programming},
  YEAR = 1989,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Van-der-Sandt88,
  AUTHOR = {R. A. {Van der Sandt}},
  TITLE = {Context and Presupposition},
  YEAR = 1988,
  PUBLISHER = {Croom Helm},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Vendler67,
  AUTHOR = {Z. Vendler},
  TITLE = {Linguistics in Philosophy},
  YEAR = 1967,
  PUBLISHER = {Cornell University Press},
  ADDRESS = {Ithaca, NY},
  KEYWORDS = {phil event},
  ABSTRACT = {}}

@book{Verkuyl93,
  AUTHOR = {H. J. Verkuyl},
  TITLE = {A Theory of Aspectuality. The Interaction between Temporal and
           Atemporal Structure},
  YEAR = 1993,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {ling},
  ABSTRACT = {}}

@book{Wahlster81,
  AUTHOR = {W. Wahlster},
  TITLE = {Nat\"urlichsprachliche Argumentation in Dialogsystemen: KI-Verfahren zur Rekonstruktion und Erkl\"arung approximativer Inferenzprozesse},
  YEAR = 1981,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Walter89,
  AUTHOR = {I. Walter},
  TITLE = {Datenbankgest\"utzte Repr\"asentation und Extraktion von
	   Episodenbeschreibungen aus Bildfolgen},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {event},
  ABSTRACT = {}}

@book{Wahrig86,
  AUTHOR = {G. Wahrig},
  TITLE = {Deutsches W\"orterbuch},
  YEAR = 1986,
  PUBLISHER = {Mosaik},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Walker87,
  AUTHOR = {A. Walker},
  TITLE = {Knowledge Systems and Prolog},
  YEAR = 1987,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {user-mod}}

@book{Wallen90,
  AUTHOR = {L. A. Wallen},
  TITLE = {Automated Deduction in Non-Classical Logics},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {infer}}

@book{Walther91,
  AUTHOR = {C. Walther},
  TITLE = {Automatisierung von Terminierungsbeweisen},
  YEAR = 1991,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Waterman86,
  AUTHOR = {D. A. Waterman},
  TITLE = {A Guide to Expert Systems},
  YEAR = 1986,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Wechsler90,
  AUTHOR = {H. Wechsler},
  TITLE = {Computational Vision},
  YEAR = 1990,
  PUBLISHER = {Academic Press},
  ADDRESS = {Boston},
  KEYWORDS = {vision},
  ABSTRACT = {}}

@book{Weichselberger:90,
  AUTHOR = {K. Weichselberger and S. P\"ohlmann},
  TITLE = {A Methodology for Uncertainty in Knowledge-Based Systems},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Weihrauch87,
  AUTHOR = {K. Weihrauch},
  TITLE = {Computability},
  YEAR = 1987,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Weizenbaum76,
  AUTHOR = {J. Weizenbaum},
  TITLE = {Computer Power and Human Reason: From Judgement to Calculation},
  YEAR = 1976,
  PUBLISHER = {Freeman},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Weizenbaum78,
  AUTHOR = {J. Weizenbaum},
  TITLE = {Die Macht der Computer und die Ohnmacht der Vernunft},
  YEAR = 1978,
  PUBLISHER = {Suhrkamp},
  ADDRESS = {Frankfurt},
  KEYWORDS = {ai-critic}}

@book{Wellman90,
  AUTHOR = {M. P. Wellman},
  TITLE = {Formulation of Tradeoffs in Planning Under Uncertainty},
  YEAR = 1990,
  PUBLISHER = {Pitman},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Weng:92,
  AUTHOR = {J. Weng and T. S. Huang and N. Ahuja}, 
  TITLE = {Motion and Structure from Image Sequences},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {vision},
  ABSTRACT = {}}

@book{Werth84,
  AUTHOR = {P. Werth},
  TITLE = {Focus, Coherence and Emphasis},
  YEAR = 1984,
  PUBLISHER = {Croom Helm},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Wesells82,
  AUTHOR = {M. G. Wesells},
  TITLE = {Cognitive Psychology},
  YEAR = 1982,
  PUBLISHER = {Harper and Row},
  ADDRESS = {New York},
  KEYWORDS = {psych kog},
  ABSTRACT = {}}

@book{White90,
  AUTHOR = {A. R. White},
  TITLE = {The Language of Imagination},
  YEAR = 1990,
  PUBLISHER = {Basil Blackwell},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Whitelock:87,
  AUTHOR = {P. Whitelock and M. M. Wood and H. L. Somers and R. Johnson and P. Bennett},
  TITLE = {Linguistic Theory and Computer Applications},
  YEAR = 1987,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {ling}}

@book{Widom:96,
  AUTHOR = {J. Widom and S. Ceri},
  TITLE = {Active Database Systems - Triggers and Rules for Advanced Database Processing},
  YEAR = 1996,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Francisco, CA},
  KEYWORDS = {}}

@book{Wikstroem87,
  AUTHOR = {A. Wikstr\"om},
  TITLE = {Functional Programming Using Standard ML},
  YEAR = 1987,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Wilensky83,
  AUTHOR = {R. Wilensky},
  TITLE = {Planning and Understanding: A Computational Approach to Human Reasoning},
  YEAR = 1983,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Wilensky86,
  AUTHOR = {R. Wilensky},
  TITLE = {CommonLisp Craft},
  YEAR = 1986,
  PUBLISHER = {Norton},
  ADDRESS = {New York},
  KEYWORDS = {ki prog},
  ABSTRACT = {}}

@book{Wilhelm:95,
  AUTHOR = {R. Wilhelm and D. Maurer},
  TITLE = {Compiler Design},
  YEAR = 1995,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England, Reading, MA},
  STATUS = {O},
  KEYWORDS = {info},
  ABSTRACT = {}}

@book{Wilkins88,
  AUTHOR = {D. E. Wilkins},
  TITLE = {Practical Planning: Extending the Classical AI Planning Paradigm},
  YEAR = 1988,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Williams91,
  AUTHOR = {J. G. Williams},
  TITLE = {Instantiation Theory: On The Foundations of Automated Deduction},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Winograd83,
  AUTHOR = {T. Winograd},
  TITLE = {Language as a Cognitive Process. Volume I: Syntax},
  YEAR = 1983,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {n-l-p}}

@book{Winograd:86,
  AUTHOR = {T. Winograd and F. Flores},
  TITLE = {Understanding Computers and Cognition: A New Foundation for Design},
  YEAR = 1986,
  PUBLISHER = {Ablex Publishing Corporation},
  ADDRESS = {Norwood, NJ},
  KEYWORDS = {}}

@book{Winston77,
  AUTHOR = {P. H. Winston},
  TITLE = {Artificial Intelligence},
  YEAR = 1977,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Winston84,
  AUTHOR = {P. H. Winston},
  TITLE = {Artificial Intelligence},
  YEAR = 1984,
  EDITION = 2,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Winston87,
  AUTHOR = {P. H. Winston},
  TITLE = {K\"unstliche Intelligenz},
  YEAR = 1987,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Bonn, Germany},
  KEYWORDS = {}}

@book{Winston92,
  EDITOR = {P. H. Winston},
  TITLE = {Artificial Intelligence},
  YEAR = 1992,
  EDITION = 3,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Winston:81,
  AUTHOR = {P. H. Winston and B. K. P. Horn},
  TITLE = {LISP},
  YEAR = 1981,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {progr}}

@book{Winston:84,
  AUTHOR = {P. H. Winston and B. K. P. Horn},
  TITLE = {LISP},
  YEAR = 1984,
  EDITION = 2,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Winston:89,
  AUTHOR = {P. H. Winston and B. K. P. Horn},
  TITLE = {LISP},
  YEAR = 1989,
  EDITION = 3,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {progr}}

@book{Wirfs-Brock:90,
  AUTHOR = {R. Wirfs-Brock and B. Wilkerson and L. Wiener},
  TITLE = {Designing Object-Oriented Software},
  YEAR = 1990,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {}}

@book{Wisskirchen90,
  AUTHOR = {P. Wisskirchen},
  TITLE = {Object-Oriented Graphics: From GKS and PHIGS to Object-Oriented Systems},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Wos88,
  AUTHOR = {L. Wos},
  TITLE = {Automated Reasoning: 33 Basic Research Problems},
  YEAR = 1988,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {}}

@book{Wos:84,
  AUTHOR = {L. Wos and R. Overbeek and E. Lusk and J. Boyle},
  TITLE = {Automated Reasoning: Introduction and Applications},
  YEAR = 1984,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {}}

@book{Wright77,
  AUTHOR = {G. H. von Wright},
  TITLE = {Handlung, Norm und Intention: Untersuchungen zur deontischen Logik},
  YEAR = 1977,
  PUBLISHER = {de Gruyter},
  ADDRESS = {Berlin},
  KEYWORDS = {action, logic, phil, plans}}

@book{Wunderlich70,
  AUTHOR = {D. Wunderlich},
  TITLE = {Tempus und Zeitreferenz im Deutschen},
  YEAR = 1970,
  PUBLISHER = {Hueber},
  ADDRESS = {M\"unchen},
  KEYWORDS = {ling temp},
  ABSTRACT = {}}

@book{Wurzel89,
  AUTHOR = {W. U. Wurzel},
  TITLE = {Inflectional Morphology and Naturalness},
  YEAR = 1989,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Yazdani:84,
  AUTHOR = {M. Yazdani and A. Narayanan},
  TITLE = {Artificial Intelligence: Human Effects},
  YEAR = 1984,
  PUBLISHER = {Ellis Horwood},
  ADDRESS = {Chichester},
  KEYWORDS = {ai-critic}}

@book{Yonezawa:87,
  AUTHOR = {A. Yonezawa and M. Tokaro},
  TITLE = {Object-Oriented Concurrent Programming},
  YEAR = 1987,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {progr}}

@book{Zahedi93,
  AUTHOR = {F. Zahedi},
  TITLE = {Intelligent Systems for Business: Expert Systems with Neural Networks},
  YEAR = 1993 ,
  PUBLISHER = {Wadsworth},
  ADDRESS = {Belmont, CA},
  KEYWORDS = {}}

@book{Zercher92,
  AUTHOR = {K. Zercher},
  TITLE = {Wissensintensives Lernen f\"ur zeitkritische technische Diagnoseaufgaben},
  YEAR = 1992,
  PUBLISHER = {Infix},
  ADDRESS = {Sankt Augustin},
  KEYWORDS = {}}

@book{Zhang92,
  AUTHOR = {B.-T. Zhang},
  TITLE = {Lernen durch Genetisch-Neuronale Evolution: Aktive Anpassung an unbekannte Umgebungen mit selbstentwickelnden parallelen Netzwerken},
  YEAR = 1992,
  PUBLISHER = {Infix},
  ADDRESS = {Sankt Augustin},
  KEYWORDS = {}}