LIDOS BibTeX Database File
collections.bib

@book{Abramson:89,
  EDITOR = {H. Abramson and M. H. Rogers},
  TITLE = {Meta-Programming in Logic Programming},
  YEAR = 1989,
  PUBLISHER = {MIT Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Aczel:92,
  EDITOR = {P. Aczel and S. S. Wainer and H. Simmons},
  TITLE = {Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990},
  YEAR = 1992,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {}}

@book{Agha86,
  EDITOR = {G. A. Agha},
  TITLE = {ACTORS: A Model of Concurrent Computation in Distributed Systems},
  YEAR = 1986,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Agha:93,
  EDITOR = {G. Agha and P. Wegner and A. Yonezawa},
  TITLE = {Research Directions in Concurrent Object-Oriented Programming},
  YEAR = 1993,
  PUBLISHER = {MIT Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Ait-Kaci91,
  EDITOR = {H. Ait-Kaci},
  TITLE = {Warren's Abstract Machine: A Tutorial Reconstruction},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Ait-Kaci:89a,
  EDITOR = {H. Ait-Kaci and M. Nivat},
  TITLE = {Resolution of Equations in Algebraic Structures (Volume I): Algebraic Techniques},
  YEAR = 1989,
  PUBLISHER = {Academic Press},
  ADDRESS = {Boston, MA},
  KEYWORDS = {}}

@book{Ait-Kaci:89b,
  EDITOR = {H. Ait-Kaci and M. Nivat},
  TITLE = {Resolution of Equations in Algebraic Structures (Volume II): Rewriting Techniques},
  YEAR = 1989,
  PUBLISHER = {Academic Press},
  ADDRESS = {Boston, MA},
  KEYWORDS = {}}

@book{Akl:95,
  EDITOR = {S. G. Akl and F. Dehne and J and-R. Sack and N. Santoro},
  TITLE = {Algorithms and Data Structures},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Allen:90,
  EDITOR = {J. Allen and J. Hendler and A. Tate},
  TITLE = {Readings in Planning},
  YEAR = 1990,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {plans}}

@book{Allen:91b,
  EDITOR = {J. Allen and R. Fikes and E. Sandewall},
  TITLE = {Principles of Knowledge Representation and Reasoning: Proc. of the Second International Conference (KR'91)},
  YEAR = 1991,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Alshawi92,
  EDITOR = {H. Alshawi},
  TITLE = {The Core Language Engine},
  YEAR = 1992,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Altmann88,
  EDITOR = {H. Altmann},
  TITLE = {Intonationsforschungen},
  YEAR = 1988,
  PUBLISHER = {Max Niemeyer Verlag},
  ADDRESS = {T\"ubingen },
  KEYWORDS = {}}

@book{Altmann90,
  EDITOR = {G. T. M. Altmann},
  TITLE = {Cognitive Models of Speech Processing: Psycholinguistic and Computational Perspectives},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Alvarado90,
  EDITOR = {S. J. Alvarado},
  TITLE = {Understanding Editorial Text: A Computer Model of Argument Comprehension},
  YEAR = 1990,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Anderson89,
  EDITOR = {D. Anderson},
  TITLE = {Artificial Intelligence and Intelligent Systems: The Implications},
  YEAR = 1989,
  PUBLISHER = {Wiley},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Andriole:92,
  EDITOR = {S. Andriole and G. W. Hopple},
  TITLE = {Artificial Intelligence: A Sourcebook},
  YEAR = 1992,
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Ankersmit:93,
  EDITOR = {F. R. Ankersmit and J. J. A. Mooij},
  TITLE = {Knowledge and Language (Vol. III): Metaphor and Knowledge},
  YEAR = 1993,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Antsaklis:93,
  EDITOR = {P. J. Antsaklis and K. M. Passino},
  TITLE = {An Introduction to Intelligent and Autonomous Control},
  YEAR = 1993,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Arbib:82,
  EDITOR = {M. A. Arbib and D. Caplan and J. C. Marshall},
  TITLE = {Neural Models of Language Processes},
  YEAR = 1982,
  PUBLISHER = {Academic Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Arbib:87,
  EDITOR = {M. A. Arbib and A. R. Hanson},
  TITLE = {Vision, Brain, and Cooperative Computation},
  YEAR = 1987,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Arbib:90,
  EDITOR = {M. A. Arbib and J. A. Robinson},
  TITLE = {Natural and Artificial Parallel Computation},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Ardizzone:91,
  EDITOR = {E. Ardizzone and S. Gaglio and F. Sorbello},
  TITLE = {Trends in Artificial Intelligence: Proc. of the 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Arikawa:94,
  EDITOR = {S. Arikawa and K. P. Jantke},
  TITLE = {Algorithmic Learning Theory(AII'94)},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Arms88,
  EDITOR = {C. Arms},
  TITLE = {Campus Networking Strategies: EDUCOM Strategies Series on Information Technology},
  YEAR = 1988,
  PUBLISHER = {Digital Press},
  ADDRESS = {Bedford, MA},
  KEYWORDS = {}}

@book{Assman92,
  EDITOR = {U. A\ss{}man},
  TITLE = {Parallele Modelle f\"ur Deduktionssysteme},
  YEAR = 1992,
  PUBLISHER = {Infix},
  ADDRESS = {Sankt Augustin},
  KEYWORDS = {}}

@book{Atkinson:88,
  EDITOR = {M. P. Atkinson and P. Buneman and R. Morrison},
  TITLE = {Data Types and Persistence},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Atkinson:94,
  EDITOR = {M. Atkinson and D. Maier and V. Benzaken},
  TITLE = {Persistent Object Systems},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Aussenac:93,
  EDITOR = {N. Aussenac and G. Boy and B. Gaines and M. Linster and J.-G. Ganascia and Y. Kodratoff},
  TITLE = {Knowledge Acquisition for Knowledge-Based Systems: Proc. of the 7th European Workshop EKAW'93},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Avouris:92,
  EDITOR = {N. M. Avouris and L. Gasser},
  TITLE = {Distributed Artificial Intelligence: Theory and Praxis},
  YEAR = 1992,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Ayyub:92,
  EDITOR = {B. M. Ayyub and M. M. Gupta and L. N. Kanal},
  TITLE = {Analysis and Management of Uncertainty: Theory and Applications},
  YEAR = 1992,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Bach:79,
  AUTHOR = {K. Bach and R. M. Harnish},
  TITLE = {Linguistic Communication and Speech Acts},
  YEAR = 1979,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Badler:90,
  EDITOR = {N. I. Badler and B. A. Barsky and D. Zeltzer},
  TITLE = {Making Them Move: Mechanics, Control, and Animation of Articulated Figures},
  YEAR = 1990,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Baeten:90,
  EDITOR = {J. C. M. Baeten and J. W. Klop},
  TITLE = {CONCUR'90: Theories of Concurrency - Unification and Extension - Proc.},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Baeten:91,
  EDITOR = {J. C. M. Baeten and J. F. Groote},
  TITLE = {CONCUR'91: Proc. of the 2nd International Conference on Concurrency Theory},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Baeza-Yates:95,
  EDITOR = {R. Baeza-Yates and E. Goles and P. V. Poblete},
  TITLE = {LATIN'95: Theoretical Informatics},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bakker:91,
  EDITOR = {J. W. de Bakker and W. P. de Roever and G. Rozenberg},
  TITLE = {Foundations of Object-Oriented Languages},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bakker:92,
  EDITOR = {J. W. de Bakker and J. J. M. Rutten},
  TITLE = {Ten Years of Concurrency Semantics: Selected Papers of the Amsterdam Concurrency Group},
  YEAR = 1992,
  PUBLISHER = {World Scientific},
  ADDRESS = {Singapore},
  KEYWORDS = {}}

@book{Bakker:93,
  EDITOR = {J. W. de Bakker and W.-P. de Roever and G. Rozenberg},
  TITLE = {Semantics: Foundations and Applications - Proc. of the REX Workshop},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Balas:95,
  EDITOR = {E. Balas and J. Clausen},
  TITLE = {Integer Programming and Combinatorial Optimization},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Bancilhon:90a,
  EDITOR = {F. Bancilhon and C. Thanos and D. Tsichritzis},
  TITLE = {EDBT'90: Advances in Database Technology - Proc. of the International Conference on Extending Database Technology},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bancilhon:90b,
  EDITOR = {F. Bancilhon and P. Buneman},
  TITLE = {Advances in Database Programming Languages},
  YEAR = 1990,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Bancilhon:92,
  EDITOR = {F. Bancilhon and C. Delobel and P. Kanellakis},
  TITLE = {Building an Object-Oriented Database System: The Story of O-2},
  YEAR = 1992,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Banerji90,
  EDITOR = {R. B. Banerji},
  TITLE = {Formal Techniques in Artificial Intelligence: A Sourcebook},
  YEAR = 1990,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Bara:84,
  EDITOR = {B. G. Bara and G. Guida},
  TITLE = {Computational Models of Natural Language Processing},
  YEAR = 1984,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {n-l-p}}

@book{Barahona:91,
  EDITOR = {P. Barahona and L. {Moniz Pereira} and A. Porto},
  TITLE = {EPIA 91: Proc. of the 5th Portuguese Conference on Artificial Intelligence},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Barahona:95,
  EDITOR = {P. Barahona and M. Stefanelli and J. Wyatt},
  TITLE = {Artificial Intelligence in Medicine (AIME'95)},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Barendregt:93,
  EDITOR = {H. Barendregt and T. Nipkow},
  TITLE = {Types for Proofs and Programs},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Barker:92,
  EDITOR = {C. Barker and D. Dowty},
  TITLE = {Proceedings of the Second Conference on Semantics and Linguistic Theory},
  YEAR = 1992,
  PUBLISHER = {The Ohio State University},
  ADDRESS = {Columbus, OH},
  KEYWORDS = {}}

@book{Barlow:88,
  EDITOR = {M. Barlow and C. A. Ferguson},
  TITLE = {Agreement in Natural Language: Approaches, Theories, Descriptions},
  YEAR = 1988,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Barnden:91,
  EDITOR = {J. A. Barnden and J. B. Pollack},
  TITLE = {Advances in Connectionist and Neural Computation Theory: High Level Connectionist Models},
  YEAR = 1991,
  PUBLISHER = {Ablex},
  ADDRESS = {Norwood, NJ},
  KEYWORDS = {}}

@book{Barodin:75,
  AUTHOR = {A. Barodin and I. Munro},
  TITLE = {The Computational Complexity of Algebraic and Numeric Problems},
  YEAR = 1975,
  PUBLISHER = {Elsevier},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Barr:81,
  EDITOR = {A. Barr and E. A. Feigenbaum},
  TITLE = {The Handbook of Artificial Intelligence (Volume I)},
  YEAR = 1981,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Los Altos, CA},
  KEYWORDS = {}}

@book{Barr:82,
  EDITOR = {A. Barr and E. A. Feigenbaum},
  TITLE = {The Handbook of Artificial Intelligence (Volume II)},
  YEAR = 1982,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Los Altos, Ca},
  KEYWORDS = {}}

@book{Barstow:84,
  EDITOR = {D. R. Barstow and H. E. Shrobe and E. Sandewall},
  TITLE = {Interactive Programming Environments},
  YEAR = 1984,
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Barter:90,
  EDITOR = {C. J. Barter and M. J. Brooks},
  TITLE = {AI'88: Proc. of the 2nd Australian Joint Artificial Intelligence Conference},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Barwise77,
  EDITOR = {J. Barwise},
  TITLE = {Handbook of Mathematical Logic},
  YEAR = 1977,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Barwise:85,
  EDITOR = {J. Barwise and S. Feferman},
  TITLE = {Model-Theoretic Logics},
  YEAR = 1985,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Barwise:91,
  EDITOR = {J. Barwise and J. M. Gawron and G. Plotkin and S. Tutiya},
  TITLE = {Situation Theory and Its Applications (Volume 2)},
  YEAR = 1991,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Barwise:93,
  EDITOR = {J. Barwise and J. Etchemendy},
  TITLE = {Turing's World 3.0 for the Macintosh: An Introduction to Computability Theory},
  YEAR = 1993,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Batchelor78,
  EDITOR = {B. G. Batchelor},
  TITLE = {Pattern Recognition: Ideas in Practise},
  YEAR = 1978,
  PUBLISHER = {Plenum Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Bates:93,
  EDITOR = {M. Bates and R. M. Weischedel},
  TITLE = {Challenges in Natural Language Processing},
  YEAR = 1993,
  PUBLISHER = {University Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {}}

@book{Batini:92,
  EDITOR = {C. Batini and S. Ceri and S. B. Navathe},
  TITLE = {Conceptual Database Design: An Entity-Relationship Approach },
  YEAR = 1992,
  PUBLISHER = {Benjamin/Cummings},
  ADDRESS = {Redwood City, CA},
  KEYWORDS = {}}

@book{Batori:88,
  EDITOR = {I. S. Batori and U. Hahn and M. Pinkal and W. Wahlster},
  TITLE = {Computerlinguistik und ihre theoretischen Grundlagen (Symposium, Saarbr\"ucken)},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {ling, n-l-p}}

@book{Batori:89,
  EDITOR = {I. S. Batori and W. Lenders and W. Putschke},
  TITLE = {Computational Linguistics - Computerlinguistik},
  YEAR = 1989,
  PUBLISHER = {de Gruyter},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Bauer91,
  EDITOR = {F. L. Bauer},
  TITLE = {Logic,Algebra, and Computation},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bauer:76,
  EDITOR = {F. L. Bauer and J. Eickel},
  TITLE = {Compiler Construction: An Advanced Course},
  YEAR = 1976,
  EDITION = 2,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Bauer:93,
  EDITOR = {F. L. Bauer and W. Brauer and H. Schwichtenberg},
  TITLE = {Logic and Algebra of Specifiation},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bauersfeld:92,
  EDITOR = {P. Bauersfeld and J. Bennett and G. Lynch},
  TITLE = {CHI-92: ``Striking a Balance''},
  YEAR = 1992,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Baumgartner:95,
  EDITOR = {P. Baumgartner and R. H\"ahnle and J. Posegga},
  TITLE = {Theorem Proving with Analytic Tableaux and Related Methods: Proc. of the 4th International Workshop TABLEAUX'95},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Beardon89,
  EDITOR = {C. Beardon},
  TITLE = {Artificial Intelligence Terminology: A Reference Guide},
  YEAR = 1989,
  PUBLISHER = {Wiley},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Beaumont:91,
  EDITOR = {A. Beaumont and G. Gupta},
  TITLE = {Parallel Execution of Logic Programs: Proc. of the ICLP'91 Pre-Conference},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Becker:91,
  EDITOR = {J. D. Becker and I. Eisele and F. W. M\"undemann},
  TITLE = {Parallelism, Learning, Evolution: Proc. of the Workshop on Evolutionary Models and Strategies and Proc. of the Workshop on Parallel Processing - Logic, Organization, and Technologies},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Beeri:88,
  AUTHOR = {C. Beeri and J. W. Schmidt and U. Dayal},
  TITLE = {Proc. of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness},
  YEAR = 1988,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Matheo, CA},
  KEYWORDS = {know-repr}}

@book{Beilner:95,
  EDITOR = {H. Beilner and F. Bause},
  TITLE = {Quantitative Evaluation of Computing and Communication Systems},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Belew:91,
  EDITOR = {R. K. Belew and L. B. Booker},
  TITLE = {Proc. of the Fourth International Conference on Genetic Algorithms},
  YEAR = 1991,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Belli:92,
  EDITOR = {F. Belli and F. J. Radermacher},
  TITLE = {Industrial and Enineering Applications of Artificial Intelligence and Expert Systems: Proc. of the 5th International Conference, IEA/AIE-92},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Benhamou:93,
  EDITOR = {F. Benhamou and A. Colmerauer},
  TITLE = {Constraint Logic Programming Selected Research},
  YEAR = 1993,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Benson86,
  EDITOR = {I. Benson},
  TITLE = {Intelligent Machinery: Theory and Practice},
  YEAR = 1986,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Benthem:85,
  EDITOR = {J. van Benthem and A. ter Meulen},
  TITLE = {Generalized Quantifiers in Natural Language},
  YEAR = 1985,
  PUBLISHER = {Foris},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Bergadano:94,
  EDITOR = {F. Bergadano and L. {De Raedt}},
  TITLE = {Machine Learning: ECML-94 - Proc. of the European Conference on Machine Learning},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bergman:90,
  EDITOR = {C. H. Bergman and R. D. Maddux and D. L. Pigozzi},
  TITLE = {Algebraic Logic and Universal Algebra in Computer Science: Proc. of the Conference},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Berwick:91,
  EDITOR = {R. C. Berwick and S. P. Abney and C. Tenny},
  TITLE = {Principle-Based Parsing: Computation and Psycholinguistics},
  YEAR = 1991,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Best93,
  EDITOR = {E. Best},
  TITLE = {CONCUR'93: Proc. of the 4th International Conference on Concurrency Theory},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bibel92,
  EDITOR = {W. Bibel},
  TITLE = {Deduktion: Automatisierung der Logik},
  YEAR = 1992,
  PUBLISHER = {Oldenbourg},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Bibel:82,
  EDITOR = {W. Bibel and J. H. Siekmann},
  TITLE = {K\"unstliche Intelligenz. Fr\"uhjahrsschule Teisendorf, M\"arz 1982},
  YEAR = 1982,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bibel:85,
  EDITOR = {W. Bibel and B. Petkoff},
  TITLE = {Artificial Intelligence: Methodology, Systems, Applications},
  YEAR = 1985,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Bibel:87a,
  EDITOR = {W. Bibel and J. H. Siekmann and N. Eisinger and J. Schneeberger},
  TITLE = {K\"unstliche Intelligenz: Studien- und Forschungsf\"uhrer},
  YEAR = 1987,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bibel:87b,
  EDITOR = {W. Bibel and P. Jorrand},
  TITLE = {Fundamentals of Artificial Intelligence: An Advanced Course},
  YEAR = 1987,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bibel:93,
  EDITOR = {W. Bibel and S. H\"olldobler and T. Schaub},
  TITLE = {Wissensrepr\"asentation und Inferenz: Eine grundlegende Einf\"uhrung},
  YEAR = 1993,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Bice:89,
  EDITOR = {K. Bice and C. Lewis},
  TITLE = {CHI-89: ``Wings for the Mind''},
  YEAR = 1989,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {iReading, MA},
  KEYWORDS = {}}

@book{Bidoit:93,
  EDITOR = {M. Bidoit and C. Choppy},
  TITLE = {Recent Trends in Data Type Specification: Selected Papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Biermann:83,
  EDITOR = {A. W. Biermann and G. Guiho},
  TITLE = {Computer Program Synthesis Methodologies},
  YEAR = 1983,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Biermann:84,
  EDITOR = {A. W. Biermann and G. Guiho and Y. Kodratoff},
  TITLE = {Automatic Program Construction Techniques},
  YEAR = 1984,
  PUBLISHER = {Macmillan},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Bierwisch:88,
  EDITOR = {M. Bierwisch and W. Motsch and I. Zimmermann},
  TITLE = {Syntax, Semantik und Lexikon},
  YEAR = 1988,
  PUBLISHER = {Akademie-Verlag},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Biesold:77,
  EDITOR = {D. Biesold and H. Matthies},
  TITLE = {Neurobiologie},
  YEAR = 1977,
  PUBLISHER = {Fischer},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Birnbaum:91,
  EDITOR = {A. Birnbaum and G. C. Collins},
  TITLE = {Proc. of the Eighth International Workshop on Machine Learning},
  YEAR = 1991,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Biswas:91,
  EDITOR = {S. Biswas and K. V. Nori},
  TITLE = {Foundations of Software Technology anf Theoretical Computer Science: Proc. of the 11th Conference},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Biundo92,
  EDITOR = {S. Biundo},
  TITLE = {Automatische Synthese rekursiver Programme als Beweisverfahren},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Blaesius:87,
  EDITOR = {K. H. Bl\"asius and H.-J. B\"urckert},
  TITLE = {Deduktions-Systeme: Automatisierung des logischen Denkens},
  YEAR = 1987,
  PUBLISHER = {Oldenbourg},
  ADDRESS = {M\"unchen},
  KEYWORDS = {th-prov, logic}}

@book{Blaesius:90,
  EDITOR = {K. H. Bl\"asius and U. Hedtst\"uck and C. R. Rollinger},
  TITLE = {Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Blaesius:92,
  EDITOR = {K. H. Bl\"asius and H.-J. B\"urckert},
  TITLE = {Deduktions-Systeme: Automatisierung des logischen Denkens},
  YEAR = 1992,
  EDITION = 2,
  PUBLISHER = {Oldenbourg},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Bledsoe:84,
  EDITOR = {W. W. Bledsoe and D. W. Loveland},
  TITLE = {Contemporary Mathematics: Automated Theorem Proving - After 25 Years},
  YEAR = 1984,
  PUBLISHER = {American Mathematical Society},
  ADDRESS = {Providence, RI},
  KEYWORDS = {}}

@book{Bobaljik:91,
  EDITOR = {J. D. Bobaljik and T. Bures},
  TITLE = {Papers from the Third Student Conference in Linguistics 1991},
  YEAR = 1991,
  PUBLISHER = {MIT},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Block81,
  EDITOR = {N. Block},
  TITLE = {Imagery},
  YEAR = 1981,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {psych imag},
  ABSTRACT = {}}

@book{Bobrow:75,
  EDITOR = {D. G. Bobrow and A. Collins},
  TITLE = {Representation and Understanding: Studies in Cognitive Science},
  YEAR = 1975,
  PUBLISHER = {Academic Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Bochmann:93,
  EDITOR = {G. von Bochmann and D. K. Probst},
  TITLE = {Computer Aided Verification: Proc. of the Fourth International Workshop CAV'92},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Boecker95,
  EDITOR = {H. D. B\"ocker},
  TITLE = {Software-Ergonomie '95},
  YEAR = 1995,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Boecker:93,
  EDITOR = {H.-D. B\"ocker and W. Glatthaar and T. Strothotte},
  TITLE = {Mensch-Computer-Kommunikation: Benutzergerechte Systeme auf dem Weg in die Praxis},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Boerger:90,
  EDITOR = {E. B\"orger and H. {Kleine B}\"uning and M. M. Richter},
  TITLE = {CSL-89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Boerger:91,
  EDITOR = {E. B\"orger and H. {Kleine B\"uning} and M. M. Richter and W. Sch\"onfeld},
  TITLE = {Computer Science Logic: Proc. of the 4th Workshop CSL-90},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Boerger:92,
  EDITOR = {E. B\"orger and G. J\"ager and H. {Kleine B\"uning} and M. M. Richter},
  TITLE = {Computer Science Logic: Proc. of the 5th Workshop CSL'91},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Boerger:93,
  EDITOR = {E. B\"orger and G. J\"ager and H. {Kleine B\"uning} and S. Martini and M. M. Richter},
  TITLE = {Computer Science Logic: Proc. of the 6th Workshop CSL'92},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bogdan:73,
  EDITOR = {R. J. Bogdan and I. Niiniluoto},
  TITLE = {Logic, Language, and Probability},
  YEAR = 1973,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Bolc78,
  EDITOR = {L. Bolc},
  TITLE = {Speech Communication with Computers},
  YEAR = 1978,
  PUBLISHER = {Hanser},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Bolc83,
  EDITOR = {L. Bolc},
  TITLE = {The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks},
  YEAR = 1983,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bolc84,
  EDITOR = {L. Bolc},
  TITLE = {Natural Language Communication with Pictorial Information Systems},
  YEAR = 1984,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bolc87a,
  EDITOR = {L. Bolc},
  TITLE = {Computational Models of Learning},
  YEAR = 1987,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bolc87b,
  EDITOR = {L. Bolc},
  TITLE = {Natural Language Parsing Systems},
  YEAR = 1987,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bolc:81,
  EDITOR = {L. Bolc and Z. Kulpa},
  TITLE = {Digital Image Processing Systems},
  YEAR = 1981,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bolc:86,
  EDITOR = {L. Bolc and M. Jarke},
  TITLE = {Cooperative Interfaces to Information Systems},
  YEAR = 1986,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bolc:88,
  EDITOR = {L. Bolc and M. J. Coombs},
  TITLE = {Expert System Applications},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Boley:91,
  EDITOR = {H. Boley and M. M. Richter},
  TITLE = {Processing Declarative Knowledge: Proc. of the International Workshop PDK'91},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bond:88,
  EDITOR = {A. H. Bond and L. Gasser},
  TITLE = {Readings in Distributed Artificial Intelligence},
  YEAR = 1988,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Bonissone:91,
  EDITOR = {P. P. Bonissone and M. Henrion and L. N. Kanal and J. F. Lemmer},
  TITLE = {Uncertainty in Artificial Intelligence 6},
  YEAR = 1991,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Book91,
  EDITOR = {R. V. Book},
  TITLE = {Rewriting Techniques and Applications: Proc. of the 4th International Conference RTA-91},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bookstein:91,
  EDITOR = {A. Bookstein and Y. Chiaramella and G. Salton and V. V. Raghavan},
  TITLE = {Proc. of the Fourteenth Annual International ACM/SIGIR Conference on Research and Development in Information Retrieval},
  YEAR = 1991,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Boose:88,
  EDITOR = {J. Boose and B. Gaines and M. Linster},
  TITLE = {Proc. of the European Knowledge Acquisition Workshop (EKAW'88)},
  YEAR = 1988,
  PUBLISHER = {Gesellschaft f\"ur Mathematik und Datenverarbeitung mbH},
  ADDRESS = {Sankt Augustin, Germany},
  KEYWORDS = {know-acq}}

@book{Booth67,
  EDITOR = {A. D. Booth},
  TITLE = {Machine Translation},
  YEAR = 1967,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Born87,
  EDITOR = {R. Born},
  TITLE = {Artificial Intelligence: The Case Against},
  YEAR = 1987,
  PUBLISHER = {Croom Helm},
  ADDRESS = {London},
  KEYWORDS = {phil, psych}}

@book{Borning94,
  EDITOR = {A. Borning},
  TITLE = {Principles and Practice of Constraint Programming},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bouchon-Meunier:91,
  EDITOR = {B. Bouchon-Meunier and R. R. Yager and L. A. Zadeh},
  TITLE = {Uncertainty in Knowledge Bases: Proc. of the 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU'90},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bouchon-Meunier:93,
  EDITOR = {B. Bouchon-Meunier and L. Valverde and R. R. Yager},
  TITLE = {IPMU'92: Advanced Methods in Artificial Intelligence - Proc. of the 4th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bouchon-Meunier:94,
  EDITOR = {B. Bouchon-Meunier and R. R. Yager and L. A. Zadeh},
  TITLE = {Advances in Intelligent Computing - IPMU'94},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Boyer91,
  EDITOR = {R. S. Boyer},
  TITLE = {Automated Reasoning: Essays in Honor of Woody Bledsoe},
  YEAR = 1991,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

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

@book{Braccini:95,
  EDITOR = {C. Braccini and L. DeFloriani and G. Vernazza},
  TITLE = {Image Analysis and Processing},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Brachman:85,
  EDITOR = {R. J. Brachman and H. J. Levesque},
  TITLE = {Readings in Knowledge Representation},
  YEAR = 1985,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Los Altos, CA},
  KEYWORDS = {know-repr}}

@book{Brachman:89,
  EDITOR = {R. J. Brachman and H. J. Levesque and R. Reiter},
  TITLE = {KR'89: Proc. of the First International Conference on Principles of Knowledge Representation and Reasoning},
  YEAR = 1989,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {know-repr}}

@book{Brachman:91,
  EDITOR = {R. J. Brachman and H. J. Levesque and R. Reiter},
  TITLE = {Knowledge Representation},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Brady:83,
  EDITOR = {M. Brady and R. C. Berwick},
  TITLE = {Computational Models of Discourse},
  YEAR = 1983,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Brand:76,
  EDITOR = {M. Brand and D. Walton}, 
  TITLE = {Action Theory},
  YEAR = 1976,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {event phil ling},
  ABSTRACT = {}}

@book{Brandenburg96,
  EDITOR = {F. J. Brandenburg},
  TITLE = {Graph Drawing},
  YEAR = 1996,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Branigan:89,
  EDITOR = {P. Branigan and J. Gaulding and M. Kubo and K. Murasugi},
  TITLE = {Student Conference in Linguistics 1989},
  YEAR = 1989,
  PUBLISHER = {MIT},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Brauer:87,
  EDITOR = {W. Brauer and W. Wahlster},
  TITLE = {Wissensbasierte Systeme},
  YEAR = 1987,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {know-repr}}

@book{Brauer:89,
  EDITOR = {W. Brauer and C. Freksa},
  TITLE = {Wissensbasierte Systeme (3. Internationaler GI-Kongre\ss{}, M\"unchen)},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Brauer:91,
  EDITOR = {W. Brauer and D. Hernandez},
  TITLE = {Verteilte K\"unstliche Intelligenz und kooperatives Arbeiten: 4. Internationaler GI-Kongre\ss\ Wissensbasierte Systeme, Proceedings},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Brazdil93,
  EDITOR = {P. B. Brazdil},
  TITLE = {Machine Learning: ECML-93 - Proc. of the European Conference on Machine Learning},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bresnan82,
  EDITOR = {J. Bresnan},
  TITLE = {The Mental Representation of Grammatical Relations},
  YEAR = 1982,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Brewka:93,
  EDITOR = {G. Brewka and K. P. Jantke and P. H. Schmitt},
  TITLE = {Nonmonotonic and Inductive Logic: Proc. of the Second International Workshop},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Briscoe:93,
  EDITOR = {T. Briscoe and V. de Paiva and A. Copestake},
  TITLE = {Inheritance, Defaults, and the Lexicon},
  YEAR = 1993,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {}}

@book{Broda93,
  EDITOR = {K. Broda},
  TITLE = {4th UK Conference on Logic Programming, London 1992},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Brodie:84,
  EDITOR = {M. L. Brodie and J. Mylopoulos and J. W. Schmidt},
  TITLE = {On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages},
  YEAR = 1984,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Brodie:86,
  EDITOR = {M. L. Brodie and J. Mylopoulos},
  TITLE = {On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies},
  YEAR = 1986,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Brown87,
  EDITOR = {F. M. Brown},
  TITLE = {The Frame Problem in Artificial Intelligence (Proc. of the 1987 Workshop)},
  YEAR = 1987,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Los Altos, CA},
  KEYWORDS = {}}

@book{Brown:90,
  EDITOR = {D. E. Brown and C. C. White III},
  TITLE = {Operations Research and Artificial Intelligence: The Integration of Problem-Solving Strategies},
  YEAR = 1990,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Brown:91,
  EDITOR = {C. G. Brown and G. Koch},
  TITLE = {Natural Language Understanding and Logic Programming, III: Proc. of the Third International Workshop},
  YEAR = 1991,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Browne:90,
  EDITOR = {D. Browne and P. Totterdell and M. Norman},
  TITLE = {Adaptive User Interfaces},
  YEAR = 1990,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Brownston:85,
  AUTHOR = {L. Brownston and R. Farrell and E. Kant and N. Martin},
  TITLE = {Programming Expert Systems in OPS5},
  YEAR = 1985,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Broy87,
  EDITOR = {M. Broy},
  TITLE = {Logic of Programming and Calculi of Discrete Design},
  YEAR = 1987,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Broy92,
  EDITOR = {M. Broy},
  TITLE = {Programming and Mathematical Method},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bruynooghe94,
  EDITOR = {M. Bruynooghe},
  TITLE = {Logic Programming: Proc. of the 1994 International Symposium},
  YEAR = 1994,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Bruynooghe:92,
  EDITOR = {M. Bruynooghe and M. Wirsing},
  TITLE = {Programming Language Implementation and Logic Programming: Proc. of the Fourth International Symposium PLILP'92},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Buchanan:93,
  EDITOR = {B. G. Buchanan and D. C. Wilkins},
  TITLE = {Readings in Knowledge Acquisition and Learning: Automating the Construction and Improvement of Expert Systems},
  YEAR = 1993,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Buchberger:87,
  EDITOR = {E. Buchberger and J. Retti},
  TITLE = {3. \"Osterreichische Artificial-Intelligence-Tagung},
  YEAR = 1987,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bullinger:87,
  EDITOR = {H. J. Bullinger and B. Shackel},
  TITLE = {Human-Computer Interaction: INTERACT'87},
  YEAR = 1987,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {tutor-sys, intell-interf}}

@book{Bundy84,
  EDITOR = {A. Bundy},
  TITLE = {Catalogue of Artificial Intelligence Tools},
  YEAR = 1984,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bundy86,
  EDITOR = {A. Bundy},
  TITLE = {Catalogue of Artificial Intelligence Tools},
  YEAR = 1986,
  EDITION = 2,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Bundy94,
  EDITOR = {A. Bundy},
  TITLE = {Automated Deduction-CADE-12: Proc. of the 12th International Conference on Automated Deduction},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Buneman:93,
  EDITOR = {P. Buneman and S. Jajodia},
  TITLE = {Proc. of the 1993 ACM SIGMOD International Conference on Management of Data SIGMOD'93, Washington, DC},
  YEAR = 1993,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Bunke92,
  EDITOR = {H. Bunke},
  TITLE = {Advances in Structural and Syntactic Pattern Recognition: Proc. of the International Workshop},
  YEAR = 1992,
  PUBLISHER = {World Scientific},
  ADDRESS = {Singapore},
  KEYWORDS = {}}

@book{Burn:93,
  EDITOR = {G. Burn and S. Gay and M. Ryan},
  TITLE = {Theory and Formal Methods 1993: Proc. of the First Imperial College Department of Computing Workshop on Theory and Formal Methods},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Carbonell89,
  EDITOR = {J. Carbonell},
  TITLE = {Machine Learning: Paradigms and Methods},
  YEAR = 1989,
  PUBLISHER = {MIT Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Carlson:89,
  EDITOR = {G. N. Carlson and M. K. Tanenhaus},
  TITLE = {Linguistic Structure in Language Processing},
  YEAR = 1989,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Carrasco-Chew:90,
  EDITOR = {J. {Carrasco Chew} and J. Whiteside},
  TITLE = {CHI-90: ``Empowering People''},
  YEAR = 1990,
  PUBLISHER = {ACM Press},
  ADDRESS = {Seattle, WA},
  KEYWORDS = {}}

@book{Carrasco:94,
  EDITOR = {R. C. Carrasco and J. Oncina},
  TITLE = {Grammatical Inference and Applications},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Carroll:87,
  EDITOR = {J. M. Carroll and P. P. Tanner},
  TITLE = {Human Factors in Computing Systems-IV and Graphics Interface},
  YEAR = 1987,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Castelfranchi:94,
  EDITOR = {C. Castelfranchi and E. Werner},
  TITLE = {Artificial Social Systems: Selected Papers from the 4th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'92)},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Castelfranchi:95,
  EDITOR = {C. Castelfranchi and J.-P. M\"uller},
  TITLE = {From Reaction to Cognition: Proc. of the 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'93},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Catarci:92,
  EDITOR = {T. Catarci and M. F. Costabile and S. Levialdi},
  TITLE = {Advanced Visual Interfaces: Proc. of the International Workshop AVI'92},
  YEAR = 1992,
  PUBLISHER = {World Scientific},
  ADDRESS = {Singapore},
  KEYWORDS = {}}

@book{Cercone:87,
  EDITOR = {N. Cercone and G. McCalla},
  TITLE = {The Knowledge Frontier: Essays in the Representation of Knowledge},
  YEAR = 1987,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {know-repr, logic}}

@book{Ceri:90,
  EDITOR = {S. Ceri and G. Gottlob and L. Tanca},
  TITLE = {Logic Programming and Databases},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Ceri:93,
  EDITOR = {S. Ceri and K. Tanaka and S. Tsur},
  TITLE = {Deductive and Object-Oriented Databases: Proc. of the Third International Conference DOOD'93},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Chang:71,
  EDITOR = {C.-L. Chang and R. C.-T. Lee},
  TITLE = {Symbolic Logic and Mechanical Theorem Proving},
  YEAR = 1971,
  PUBLISHER = {Academic Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Cheese92,
  EDITOR = {A. Cheese},
  TITLE = {Parallel Execution of Parlog},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Chellas80,
  AUTHOR = {B. F. Chellas},
  TITLE = {Modal Logic: An Introduction},
  YEAR = 1980,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Chen76,
  EDITOR = {C. H. Chen},
  TITLE = {Pattern Recognition and Artificial Intelligence},
  YEAR = 1976,
  PUBLISHER = {Academic Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Cheng90a,
  EDITOR = {S. Cheng},
  TITLE = {Advances in Spatial Reasoning (Volume 1)},
  YEAR = 1990,
  PUBLISHER = {Ablex},
  ADDRESS = {Norwood, NJ},
  KEYWORDS = {}}

@book{Cheng90b,
  EDITOR = {S. Cheng},
  TITLE = {Advances in Spatial Reasoning (Volume 2)},
  YEAR = 1990,
  PUBLISHER = {Ablex},
  ADDRESS = {Norwood, NJ},
  KEYWORDS = {}}

@book{Chierchia:89a,
  EDITOR = {G. Chierchia and B. H. Partee and R. Turner},
  TITLE = {Properties, Types and Meaning. Volume I: Foundational Issues},
  YEAR = 1989,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Chierchia:89b,
  EDITOR = {G. Chierchia and B. H. Partee and R. Turner},
  TITLE = {Properties, Types and Meaning. Volume II: Semantic Issues},
  YEAR = 1989,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Chin:95,
  EDITOR = {R. T. Chin and H. H. S. Ip and A. C. Naiman and T. C. Pong},
  TITLE = {Image Analysis Applications and Computer Graphics},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Choffrut:90,
  EDITOR = {C. Choffrut and T. Lengauer},
  TITLE = {STACS 90: Proc. of the 7th Annual Symposium on Theoretical Aspects of Computer Science},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Choffrut:91,
  EDITOR = {C. Choffrut and M. Jantzen},
  TITLE = {STACS 91: Proc. of the 8th Annual Symposium on Theoretical Aspects of Computer Science},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Christaller89,
  EDITOR = {T. Christaller},
  TITLE = {K\"unstliche Intelligenz (5. Fr\"uhjahrsschule, KIFS-87, G\"unne)},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Christaller91,
  EDITOR = {T. Christaller},
  TITLE = {GWAI-91: 15. Fachtagung f\"ur K\"unstliche Intelligenz},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Christaller:88,
  EDITOR = {T. Christaller and H.-W. Hein and M. M. Richter},
  TITLE = {K\"unstliche Intelligenz: Theoretische Grundlagen und Anwendungsfelder},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Chuaqui91,
  EDITOR = {R. Chuaqui},
  TITLE = {Truth, Possibility and Probability: New Logical Foundations of Probability and Statistical Inference},
  YEAR = 1991,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Chung:93,
  EDITOR = {P. W. H. Chung and G. Lovegrove and M. Ali},
  TITLE = {Proc. of the Sixth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA-AIE-93},
  YEAR = 1993,
  PUBLISHER = {Gordon and Branch},
  ADDRESS = {Yverdon, Switzerland,},
  KEYWORDS = {}}

@book{Ciancarini:94,
  EDITOR = {P. Ciancarini and O. Nierstrasz and A. Yonezawa},
  TITLE = {Object-based Models and Languages for Concurrent Systems},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Cipolla96,
  EDITOR = {R. Cipolla},
  TITLE = {Active Visual Inference of Surface Shape},
  YEAR = 1996,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Clancey:84,
  EDITOR = {W. J. Clancey and E. H. Shortliffe},
  TITLE = {Readings in Medical Artificial Intelligence: The First Decade},
  YEAR = 1984,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Clark:82,
  EDITOR = {K. L. Clark and S.-A. T\"arnlund},
  TITLE = {Logic Programming},
  YEAR = 1982,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Clarke:91,
  EDITOR = {E. M. Clarke and R. P. Kurshan},
  TITLE = {Computer-Aided Verification: Proc. of the 2nd International Conference CAV'90},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Cleaveland92,
  EDITOR = {W. R. Cleaveland},
  TITLE = {CONCUR'92: Proc. of the Third International Conference on Concurrency Theory},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Clifford:91,
  EDITOR = {J. Clifford and R. King},
  TITLE = {Proc. of the 1991 ACM SIGMOD International Conference on Management of Data, Denver, CO},
  YEAR = 1991,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Cohen:82,
  EDITOR = {P. R. Cohen and E. A. Feigenbaum},
  TITLE = {The Handbook of Artificial Intelligence (Volume III)},
  YEAR = 1982,
  PUBLISHER = {Pitman},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Cohen:89,
  EDITOR = {P. R. Cohen and E. A. Feigenbaum and A. Barr},
  TITLE = {The Handbook of Artificial Intelligence (Volume IV)},
  YEAR = 1989,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Cohen:90,
  EDITOR = {P. R. Cohen and J. Morgan and M. E. Pollack},
  TITLE = {Intentions in Communication},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {plans, pragmatics}}

@book{Cohn89,
  AUTHOR = {A. G. Cohn},
  TITLE = {AISB-89: Proc. of the Seventh Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour},
  YEAR = 1989,
  PUBLISHER = {Pitman and Kaufmann},
  ADDRESS = {Brighton, England},
  KEYWORDS = {}}

@book{Cohn:86,
  EDITOR = {A. G. Cohn and J. R. Thomas},
  TITLE = {Artificial Intelligence and its Applications},
  YEAR = 1986,
  PUBLISHER = {Wiley},
  ADDRESS = {Chichester},
  KEYWORDS = {}}

@book{Colby75,
  EDITOR = {K. M. Colby},
  TITLE = {Artificial Paranoia: A Computer Simulation of Paranoid Processes},
  YEAR = 1975,
  PUBLISHER = {Pergamon Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Cole:75,
  EDITOR = {P. Cole and J. L. Morgan},
  TITLE = {Syntax and Semantics: Vol. 3: Speech Acts},
  YEAR = 1975,
  PUBLISHER = {Academic Press},
  ADDRESS = {San Diego},
  KEYWORDS = {}}

@book{Cole:90,
  EDITOR = {D. J. Cole and J. H. Fetzer and T. L. Rankin},
  TITLE = {Philosophy, Mind, and Cognitive Inquiry: Resources for Understanding Mental Processes},
  YEAR = 1990,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Collins:88,
  EDITOR = {A. Collins and E. E. Smith},
  TITLE = {Readings in Cognitive Science: A Perspective from Psychology and Artificial Intelligence},
  YEAR = 1988,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Comyn:92,
  EDITOR = {G. Comyn and N. E. Fuchs and M. J. Ratcliffe},
  TITLE = {Logic Programming in Action: Proc. of LPSS'92},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Conlon89,
  AUTHOR = {T. Conlon},
  TITLE = {Programming in PARLOG},
  YEAR = 1989,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England},
  KEYWORDS = {}}

@book{Coombs84,
  EDITOR = {M. J. Coombs},
  TITLE = {Developments in Expert systems},
  YEAR = 1984,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Cooper:88,
  EDITOR = {T. Cooper and N. Wogrin},
  TITLE = {Rule-Based Programming with OPS5},
  YEAR = 1988,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Cooper:90,
  EDITOR = {R. Cooper and K. Mukai and J. Perry},
  TITLE = {Situation Theory and Its Applications (Volume 1)},
  YEAR = 1990,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Coppersmith95,
  EDITOR = {D. Coppersmith},
  TITLE = {Advances in Cryptology - CRYPTO'95},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Cordes:92,
  EDITOR = {R. Cordes and N. Streitz},
  TITLE = {Hypertext und Hypermedia 1992: Konzepte und Anwendungen auf dem Weg in die Praxis},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Cornell-Way91,
  EDITOR = {E. {Cornell Way}},
  TITLE = {Knowledge Representation and Metaphor},
  YEAR = 1991,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston, MA},
  KEYWORDS = {}}

@book{Courcoubetis93,
  EDITOR = {C. Courcoubetis},
  TITLE = {Computer Aided Verification: Proc. of the 5th International Conference CAV'93},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Coy:89,
  AUTHOR = {W. Coy and L. Bonsiepen},
  TITLE = {Erfahrung und Berechnung: Kritik der Expertensystemtechnik},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Cyranek:94,
  EDITOR = {G. Cyranek and W. Coy},
  TITLE = {Die maschinelle Kunst des Denkens: Perspektiven und Grenzen der K\"unstlichen Intelligenz},
  YEAR = 1994,
  PUBLISHER = {Vieweg},
  ADDRESS = {Braunschweig},
  KEYWORDS = {}}

@book{Czap:87,
  EDITOR = {H. Czap and C. Galinski},
  TITLE = {TKE-87: Terminology and Knowledge Engineering},
  YEAR = 1987,
  PUBLISHER = {INDEKS},
  ADDRESS = {Frankfurt},
  KEYWORDS = {}}

@book{Czap:88,
  EDITOR = {H. Czap and C. Galinski},
  TITLE = {Terminology and Knowledge Engineering, Supplement},
  YEAR = 1988,
  PUBLISHER = {INDEKS},
  ADDRESS = {Frankfurt},
  KEYWORDS = {}}

@book{Czap:90a,
  EDITOR = {H. Czap and W. Nedobity},
  TITLE = {TKE-90: Terminology and Knowledge Engineering (Vol. I)},
  YEAR = 1990,
  PUBLISHER = {INDEKS},
  ADDRESS = {Frankfurt},
  KEYWORDS = {}}

@book{Czap:90b,
  EDITOR = {H. Czap and W. Nedobity},
  TITLE = {TKE-90: Terminology and Knowledge Engineering (Vol. II)},
  YEAR = 1990,
  PUBLISHER = {INDEKS},
  ADDRESS = {Frankfurt},
  KEYWORDS = {}}

@book{D-Ambrosio:91,
  EDITOR = {B. D. D'Ambrosio and P. Smets and P. P. Bonissone},
  TITLE = {Uncertainty in Artificial Intelligence: Proc. of the Seventh Conference},
  YEAR = 1991,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Dahl:85,
  EDITOR = {V. Dahl and P. Saint-Dizier},
  TITLE = {Natural Language Understanding},
  YEAR = 1985,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Dale:90,
  EDITOR = {R. Dale and C. Mellish and M. Zock},
  TITLE = {Current Research in Natural Language Generation},
  YEAR = 1990,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Dale:92,
  AUTHOR = {R. Dale and E. Hovy and D. R\"osner and O. Stock},
  TITLE = {Aspects of Automated Natural Language Generation: Proc. of the Sixth International Workshop on Natural Language Generation},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Danielsen88,
  EDITOR = {T. Danielsen},
  TITLE = {Scandinavian Conference on Artificial Intelligence: Proc. of the SCAI'88},
  YEAR = 1988,
  PUBLISHER = {IOS},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Date:92,
  EDITOR = {C. J. Date and H. Darwen},
  TITLE = {Relational Database: Writings 1989-1991},
  YEAR = 1992,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading. MA},
  KEYWORDS = {}}

@book{David:90,
  EDITOR = {G. David and R. T. Boute and B. D. Shriver},
  TITLE = {Declarative Systems: Proc. of the IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems, Budapest, Hungary},
  YEAR = 1990,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Davidson:72,
  EDITOR = {D. Davidson and G. Harman},
  TITLE = {Semantics of Natural Language},
  YEAR = 1972,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{De-Mey82,
  EDITOR = {M. {De Mey}},
  TITLE = {The Cognitive Paradigm},
  YEAR = 1982,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{De-Santis94,
  EDITOR = {A. {De Santis}},
  TITLE = {Advances in Cryptology - EUROCRYPT'94},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{DeGroot:86,
  EDITOR = {D. DeGroot and G. Lindstrom},
  TITLE = {Logic Programming: Functions, Relations, and Equations},
  YEAR = 1986,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {}}

@book{Debray:90,
  EDITOR = {S. Debray and M. Hermenegildo},
  TITLE = {Logic Programming: Proc. of the 1990 North American Conference},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Deen91,
  EDITOR = {S. M. Deen},
  TITLE = {CKBS'90: Proc. of the International Working Conference on Cooperating Knowledge Based Systems},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Deen92,
  EDITOR = {S. M. Deen},
  TITLE = {CKBS-SIG-1992: Proc. of the Special Interest Group on Cooperating Knowledge Based Systems},
  YEAR = 1992,
  PUBLISHER = {DAKE Centre},
  ADDRESS = {Keele},
  KEYWORDS = {}}

@book{Deen93,
  EDITOR = {S. M. Deen},
  TITLE = {CKBS-SIG-1993: Proc. of the Special Interest Group on Cooperating Knowledge Based Systems},
  YEAR = 1993,
  PUBLISHER = {DAKE Centre},
  ADDRESS = {Keele},
  KEYWORDS = {}}

@book{Delobel:91,
  EDITOR = {C. Delobel and M. Kifer and Y. Masunaga},
  TITLE = {Deductive and Object-Oriented Databases: Proc. of the Second International Conference DOOD'91},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Demazeau:90,
  EDITOR = {Y. Demazeau and J.-P. M\"uller},
  TITLE = {Decentralized A.I.: Proc. of the First European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Cambridge, England},
  YEAR = 1990,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Demazeau:91,
  EDITOR = {Y. Demazeau and J.-P. M\"uller},
  TITLE = {Decentralized A.I. 2: Proc. of the 2nd European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Saint-Quentin en Yvelines, France},
  YEAR = 1991,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Dershowitz:95,
  EDITOR = {N. Dershowitz and N. Lindenstrauss},
  TITLE = {Conditional and Typed Rewriting Systems: Proc. of the 4nd International Workshop CTRS-94},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Dezani-Ciancaglini:95,
  EDITOR = {M. Dezani-Ciancaglini and G. Plotkin},
  TITLE = {Typed Lambda Calculi and Applications: Proc. of the 2nd International Conference on Typed Lambda Calculi and Applications (TLCA-95)},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Diaper:93,
  EDITOR = {D. Diaper and C. Sanger},
  TITLE = {CSCW in Practive: An Introduction and Case Studies},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Diederich90,
  EDITOR = {J. Diederich},
  TITLE = {Artificial Neural Networks: Concept Learning},
  YEAR = 1990,
  PUBLISHER = {IEEE Computer Society Press},
  ADDRESS = {Los Alamitos, CA},
  KEYWORDS = {}}

@book{Diemer:80,
  EDITOR = {A. Diemer and I. Frenzel},
  TITLE = {Philosophie},
  YEAR = 1980,
  PUBLISHER = {Fischer},
  ADDRESS = {Frankfurt},
  KEYWORDS = {phil}}

@book{Dijk85a,
  EDITOR = {T. A. van Dijk},
  TITLE = {Handbook of Discourse Analysis. Volume 1: Disciplines of Discourse},
  YEAR = 1985,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Dijk85b,
  EDITOR = {T. A. van Dijk},
  TITLE = {Handbook of Discourse Analysis. Volume 2: Dimensions of Discourse},
  YEAR = 1985,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Dijk85c,
  EDITOR = {T. A. van Dijk},
  TITLE = {Handbook of Discourse Analysis. Volume 3: Discourse and Dialogue},
  YEAR = 1985,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Dijk85d,
  EDITOR = {T. A. van Dijk},
  TITLE = {Handbook of Discourse Analysis. Volume 4: Discourse Analysis in Society},
  YEAR = 1985,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Dijkstra90,
  EDITOR = {E. W. Dijkstra},
  TITLE = {Formal Development of Programs and Proofs},
  YEAR = 1990,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Dillmann:88,
  EDITOR = {R. Dillmann and D. Swiderski},
  TITLE = {WIMPEL'88: 1. Konferenz \"uber Wissensbasierte Methoden f\"ur Produktion, Engineering und Logistik},
  YEAR = 1988,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Dinsmore91,
  EDITOR = {J. Dinsmore},
  TITLE = {Partitioned Representations},
  YEAR = 1991,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Dirlich:86,
  EDITOR = {G. Dirlich and C. Freksa and U. Schwatlo and K. Wimmer},
  TITLE = {Kognitive Aspekte der Mensch-Computer-Interaktion},
  YEAR = 1986,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {psych}}

@book{Dittrich88,
  EDITOR = {K. R. Dittrich},
  TITLE = {Advances in Object-Oriented Database Systems: Proc. of the 2nd International Workshop},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Dix:91,
  EDITOR = {J. Dix and K. P. Jantke and P. H. Schmitt},
  TITLE = {Nonmonotonic and Inductive Logic: Proc. of the 1st International Workshop},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Dix:94,
  EDITOR = {J. Dix and L. M. Pereira and T. C. Przymusinski},
  TITLE = {Non-Monotonic Extensions of Logic Programming},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Dogac:93,
  EDITOR = {A. Dogac and M. T. \"Ozsu and A. Biliris and T. Sellis},
  TITLE = {Advances in Object-Oriented Database Systems},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Dongarra:95,
  EDITOR = {J. Dongarra and K. Madsen and J. Wasniewski},
  TITLE = {Applied Parallel Computing - Computations in Physics, Chemistry and Engineering Science},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Dorffner90,
  EDITOR = {G. Dorffner},
  TITLE = {Konnektionismus in Artificial Intelligence und Kognitionsforschung. 6. \"Osterreichische Artificial-Intelligence-Tagung (KONNAI), Salzburg, \"Osterreich, September 1990},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {psych}}

@book{Doshita:93,
  EDITOR = {S. Doshita and K. Furukawa and K. P. Jantke and T. Nishida},
  TITLE = {Algorithmic Learning Theory - Proc. of the Third Workshop, ALT'92},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Dowty:85,
  EDITOR = {D. R. Dowty and L. Karttunen and A. M. Zwicky},
  TITLE = {Natural Language Parsing: Psychological, Computational, and Theoretical Perspectives},
  YEAR = 1985,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Downton91,
  EDITOR = {A. Downton},
  TITLE = {Engineering the Human-Computer Interface},
  YEAR = 1991,
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Doyle:94,
  EDITOR = {J. Doyle and E. Sandewall and P. Torasso},
  TITLE = {Proc. of the Fourth International Conference: Principles of Knowledge Representation and Reasoning (KR'94)},
  YEAR = 1994,
  PUBLISHER = {Morgan Kaufmannn},
  ADDRESS = {San Francisco, CA},
  KEYWORDS = {}}

@book{Drescher91,
  EDITOR = {G. L. Drescher},
  TITLE = {Made-Up Minds: A Constructivist Approach to Artificial Intelligence},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Driankov:91,
  EDITOR = {D. Driankov and P. W. Eklund and A. L. Ralescu},
  TITLE = {Fuzzy Logic and Fuzzy Control},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlii},
  KEYWORDS = {}}

@book{Driankov:94,
  EDITOR = {D. Driankov and P. W. Eklund and A. L. Ralescu},
  TITLE = {Fuzzy Logic and Fuzzy Control},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Du:95,
  EDITOR = {D.-Z. Du and M. Li},
  TITLE = {Computing and Combinatorics (COCOON'95)},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Dubois:92,
  EDITOR = {D. Dubois and M. P. Wellman and B. D'Ambrosio and P. Smets},
  TITLE = {Uncertainty in Artificial Intelligence: Proc. of the Eighth Conference},
  YEAR = 1992,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Dubois:93,
  EDITOR = {D. Dubois and H. Prade and R. R. Yager},
  TITLE = {Readings in Fuzzy Sets for Intelligent Systems},
  YEAR = 1993,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Duffy91,
  EDITOR = {D. Duffy},
  TITLE = {Principles of Automated Theorem Proving},
  YEAR = 1991,
  PUBLISHER = {Wiley},
  ADDRESS = {Chichester},
  KEYWORDS = {}}

@book{Dyckhoff94,
  EDITOR = {R. Dyckhoff},
  TITLE = {Extensions of Logic Programming: Proc. of the 4th International Workshop ELP'93},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Dyckhoff:96,
  EDITOR = {R. Dyckhoff and H. Herre and P. Schroeder-Heister},
  TITLE = {Extensions of Logic Programming: Proc. of the 5th International Workshop, ELP'96},
  YEAR = 1996,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Easterbrook93,
  EDITOR = {S. Easterbrook},
  TITLE = {CSCW: Cooperation or Conflict?},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Ebbinghaus:86,
  AUTHOR = {H.-D. Ebbinghaus and J. Flum and W. Thomas},
  TITLE = {Einf\"uhrung in die mathematische Logik},
  YEAR = 1986,
  EDITION = 2,
  PUBLISHER = {Wissenschaftliche Buchgesellschaft},
  ADDRESS = {Darmstadt},
  KEYWORDS = {}}

@book{Eckmiller90,
  EDITOR = {R. Eckmiller},
  TITLE = {Advanced Neural Computers},
  YEAR = 1990,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Eckmiller:88,
  EDITOR = {R. Eckmiller and C. {von der Malsburg}},
  TITLE = {Neural Computers},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {connect}}

@book{Eckmiller:90,
  EDITOR = {R. Eckmiller and G. Hartmann and G. Hauske},
  TITLE = {Parallel Processing in Neural Systems and Computers},
  YEAR = 1990,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Edwards:93,
  EDITOR = {J. A. Edwards and M. D. Lampert},
  TITLE = {Talking Data: Transcription and Coding in Discourse Research},
  YEAR = 1993,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Ehrig:91,
  EDITOR = {H. Ehrig and K. P. Jantke and F. Orejas and H. Reichel},
  TITLE = {Recent Trends in Data Type Specification: Proc. of the 7th Workshop on Specification of Abstract Data Types},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Eijck91,
  EDITOR = {J. van Eijck},
  TITLE = {Logics in AI: Proc. of the European Workshop JELIA'90},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Eilenberg74,
  AUTHOR = {S. Eilenberg},
  TITLE = {Automata, Languages, and Machines (Volume A)},
  YEAR = 1974,
  PUBLISHER = {Academic Press},
  ADDRESS = {San Diego, CA},
  KEYWORDS = {}}

@book{Eilenberg76,
  EDITOR = {S. Eilenberg},
  TITLE = {Automata, Languages, and Machines (Volume B)},
  YEAR = 1976,
  PUBLISHER = {Academic Press},
  ADDRESS = {San Diego, CA},
  KEYWORDS = {}}

@book{Emrich:88,
  EDITOR = {M. L. Emrich and Z. W. Ras and L. Saitta and M. S. Phifer},
  TITLE = {Proc. of the Third International Symposium on Methodologies for Intelligent Systems},
  YEAR = 1988,
  PUBLISHER = {OAK Ridge National Laboratory},
  ADDRESS = {N. N.},
  KEYWORDS = {}}

@book{Encarnacao91,
  EDITOR = {J. Encarnacao},
  TITLE = {Telekommunikation und multimediale Anwendung der Informatik: Proc. der 21. GI-Jahrestagung},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Endres-Niggemeyer:85,
  EDITOR = {B. Endres-Niggemeyer and J. Krause},
  TITLE = {Sprachverarbeitung in Information und Dokumentation},
  YEAR = 1985,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {ling, n-l-p}}

@book{Endres-Niggemeyer:90,
  EDITOR = {B. Endres-Niggemeyer and T. Herrmann and A. Kobsa and D. R\"osner},
  TITLE = {Interaktion und Kommunikation mit dem Computer},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {Ling, n-l-p, dialog}}

@book{Engelkamp:83,
  EDITOR = {J. Engelkamp and H. D. Zimmer},
  TITLE = {Dynamic Aspects of Language Processing},
  YEAR = 1983,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Eriksson:92,
  EDITOR = {L.-H. Eriksson and L. Halln\"as and P. Schroeder-Heister},
  TITLE = {Extensions of Logic Programming: Proc. of the Second International Workshop ELP'91},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Evens88,
  EDITOR = {M. W. Evens},
  TITLE = {Relational Models of the Lexicon: Representing Knowledge in Semantic Networks},
  YEAR = 1988,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Eysenck:90,
  EDITOR = {M. W. Eysenck and M. T. Keane},
  TITLE = {Cognitive Psychology: A Student's Handbook},
  YEAR = 1990,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Fagin94,
  EDITOR = {R. Fagin},
  TITLE = {Theoretical Aspects of Reasoning about Knowledge: Proc. of the 5th Conference (TARK 1994)},
  YEAR = 1994,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Francisco, CA},
  KEYWORDS = {}}

@book{Faltings:92,
  EDITOR = {B. Faltings and P. Struss},
  TITLE = {Recent Advances in Qualitative Physics},
  YEAR = 1992,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Famili:92,
  EDITOR = {A. F. Famili and D. S. Nau and S. H. Kim},
  TITLE = {Artificial Intelligence in Manufacturing},
  YEAR = 1992,
  PUBLISHER = {AAAI Press},
  ADDRESS = {Menlo Park, CA},
  KEYWORDS = {}}

@book{Farinas:92,
  EDITOR = {L. {Farinas del Cerro} and M. Penttonen},
  TITLE = {Intensional Logics for Programming},
  YEAR = 1992,
  PUBLISHER = {Clarendon Press},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Fermueller:93,
  EDITOR = {C. Ferm\"uller and A. Leitsch and T. Tammet and N. Zamov},
  TITLE = {Resolution Methods for the Decision Problem},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Fetzer88,
  EDITOR = {J. H. Fetzer},
  TITLE = {Aspects of Artificial Intelligence},
  YEAR = 1988,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {phil, psych}}

@book{Fetzer91,
  EDITOR = {J. H. Fetzer},
  TITLE = {Epistemology and Cognition},
  YEAR = 1991,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Filgueiras:90,
  EDITOR = {M. Filgueiras and L. Damas and N. Moreira and A. P. Tomas},
  TITLE = {Proc. of the Natural Language Processing (EAIA'90)},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Filgueiras:91,
  EDITOR = {M. Filgueiras and L. Damas and N. Moreira and A. P. Tomas},
  TITLE = {Natural Language Processing: Proc of the 2nd Advanced School in Artificial Intelligence EAIA'90},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Filgueiras:93,
  EDITOR = {M. Filgueiras and L. Damas},
  TITLE = {Progress in Artificial Intelligence(EPIA'93)},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Findler79,
  EDITOR = {N. V. Findler},
  TITLE = {Associative Networks: Representation and Use of Knowledge by Computers},
  YEAR = 1979,
  PUBLISHER = {Academic Press},
  ADDRESS = {Orlando, FL},
  KEYWORDS = {}}

@book{Fischer:90,
  EDITOR = {S. D. Fischer and P. Siple},
  TITLE = {Theoretical Issues in Sign Language Research (Volume 1: Linguistics)},
  YEAR = 1990,
  PUBLISHER = {University of Chicago Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Fischler:87,
  EDITOR = {M. A. Fischler and O. Firschein},
  TITLE = {Readings in Computer Vision: Issues, Problems, Principles, and Paradigms},
  YEAR = 1987,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Los Altos, CA},
  KEYWORDS = {}}

@book{Fisher:91,
  EDITOR = {D. H. Fisher and M. J. Pazzani and P. Langley},
  TITLE = {Concept Formation: Knowledge and Experience in Unsupervised Learning},
  YEAR = 1991,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Fisher:95,
  EDITOR = {M. Fisher and R. Owens},
  TITLE = {Executable Modal and Temporal Logics: Proc. of the IJCAI-93 Workshop},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Flach:91,
  EDITOR = {P. A. Flach and R. A. Meersman},
  TITLE = {Future Directions in Artificial Intelligence},
  YEAR = 1991,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Frakes94,
  EDITOR = {W. B. Frakes},
  TITLE = {Proc. of the Third International Conference on Software Reuse-Advances in Software Reusability},
  YEAR = 1994,
  PUBLISHER = {IEEE Computer Society Press},
  ADDRESS = {Tokyo,},
  KEYWORDS = {}}

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

@book{Frank:92,
  EDITOR = {A. U. Frank and I. Campari and U. Formentini}},
  TITLE = {Theories and Methods of Spatio-Temporal Reasoning in Geographic Space: Proc. of the International Conference GIS},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Frank:95,
  EDITOR = {A. U. Frank and W. Kuhn},
  TITLE = {Spatial Information Theory: A Theoretical Basis for GIS. Proc.\ of the Int.\ Conference COSIT'95},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Frasson:92,
  EDITOR = {C. Frasson and G. Gauthier and G. I. McCalla},
  TITLE = {Intelligent Tutoring Systems: Proc. of the Second Conference (ITS'92)},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Frauenfelder:87,
  EDITOR = {U. H. Frauenfelder and L. K. Tyler},
  TITLE = {Spoken Word Recognition},
  YEAR = 1987,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Frederking88,
  EDITOR = {R. E. Frederking},
  TITLE = {Integrated Natural Language Dialogue: A Computational Model},
  YEAR = 1988,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Freksa:90,
  EDITOR = {C. Freksa and C. Habel},
  TITLE = {Repr\"asentation und Verarbeitung r\"aumlichen Wissens},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Freuder:92,
  EDITOR = {E. C. Freuder and A. K. Mackworth},
  TITLE = {Constraint-Based Reasoning},
  YEAR = 1992,
  PUBLISHER = {MIT Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Freytag:94,
  EDITOR = {J. C. Freytag and D. Maier and G. Vossen},
  TITLE = {Query Processing for Advanced Database Systems},
  YEAR = 1994,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Friedrich:91,
  EDITOR = {J. Friedrich and K.-H. R\"odiger},
  TITLE = {Computergest\"utzte Gruppenarbeit (CSCW)},
  YEAR = 1991,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Froidevaux:95,
  EDITOR = {C. Froidevaux and J. Kohlas},
  TITLE = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU'95)},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Fronhoefer:92,
  EDITOR = {B. Fronh\"ofer and G. Wrightson},
  TITLE = {Parallelization in Inference Systems: Proc. of the International Workshop},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Fueloep:95,
  EDITOR = {Z. F\"ul\"op and F. Gecseg},
  TITLE = {Automata, Languages and Programming},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Fuhr91,
  EDITOR = {N. Fuhr},
  TITLE = {Information Retrieval: Proc. of the GI/GMD-Workshop},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Fuhrmann:91,
  EDITOR = {A. Fuhrmann and M. Morreau},
  TITLE = {The Logic of Theory Change: Proc. of the Workshop},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Fukui:86,
  EDITOR = {N. Fukui and T. R. Rapoport and E. Sagey},
  TITLE = {Papers in Theoretical Linguistics},
  YEAR = 1986,
  PUBLISHER = {MIT},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Furukawa91,
  EDITOR = {K. Furukawa},
  TITLE = {Logic Programming: Proc. of the 8th International Conference},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Furukawa:89,
  EDITOR = {K. Furukawa and H. Tanaka and T. Fujisaki},
  TITLE = {Logic Programming '88: Proc. of the 7th Conference},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Furukawa:91,
  EDITOR = {K. Furukawa and H. Tanaka and T. Fujisaki},
  TITLE = {Logic Programming-89: Proc. of the 8th Conference},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Gabbay94,
  EDITOR = {D. M. Gabbay},
  TITLE = {What is a Logical System?},
  YEAR = 1994,
  PUBLISHER = {Clarendon Press},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Gabbay:83,
  EDITOR = {D. Gabbay and F. Guenthner},
  TITLE = {Handbook of Philosophical Logic: Volume I: Elements of Classical Logic},
  YEAR = 1983,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Gabbay:84,
  EDITOR = {D. Gabbay and F. Guenthner},
  TITLE = {Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic},
  YEAR = 1984,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Gabbay:86,
  EDITOR = {D. Gabbay and F. Guenthner},
  TITLE = {Handbook of Philosophical Logic: Volume III: Alternatives to Classical Logic},
  YEAR = 1986,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Gabbay:89,
  EDITOR = {D. Gabbay and F. Guenthner},
  TITLE = {Handbook of Philosophical Logic: Volume IV: Topics in the Philosophy of Language},
  YEAR = 1989,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Gabbay:92a,
  EDITOR = {D. M. Gabbay and S. Abramsky and T. S. E. Maibaum},
  TITLE = {Handbook of Logic in Computer Science: Background - Mathematical Structures (Volume 1)},
  YEAR = 1992,
  PUBLISHER = {Clarendon Press},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Gabbay:92b,
  EDITOR = {D. M. Gabbay and S. Abramsky and T. S. E. Maibaum},
  TITLE = {Handbook of Logic in Computer Science: Background - Computational Structures (Volume 2)},
  YEAR = 1992,
  PUBLISHER = {Clarendon Press},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Gabbay:93,
  EDITOR = {D. M. Gabbay and C. J. Hogger and J. A. Robinson},
  TITLE = {Handbook of Logic in Artificial Intelligence and Logic Programming - Volume 1: Logical Foundations},
  YEAR = 1993,
  PUBLISHER = {Clarendon Press},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Gabbay:94a,
  EDITOR = {D. M. Gabbay and C. J. Hogger and J. A. Robinson},
  TITLE = {Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2 Deduction Methodologies},
  YEAR = 1994,
  PUBLISHER = {Clarendon Press},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Gabbay:94b,
  EDITOR = {D. M. Gabbay and C. J. Hogger and J. A. Robinson},
  TITLE = {Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3 Nonmonotonic Reasoning and Uncertain Reasoning},
  YEAR = 1994,
  PUBLISHER = {Clarendon Press},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Gabbay:94c,
  EDITOR = {D. M. Gabbay and H.-J. Ohlbach},
  TITLE = {Temoral Logic: Proc. of the 1st International Conference (ICTL'94)},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Gaerdenfors87,
  EDITOR = {P. G\"ardenfors},
  TITLE = {Generalized Quantifiers: Linguistic and Logical Approaches},
  YEAR = 1987,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Galambos:86,
  EDITOR = {J. A. Galambos and R. P. Abelson and J. B. Black},
  TITLE = {Knowledge Structures},
  YEAR = 1986,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Galton87,
  EDITOR = {A. Galton},
  TITLE = {Temporal Logics and their Applications},
  YEAR = 1987,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Gardin:90,
  EDITOR = {F. Gardin and G. Mauri and M. Filippini},
  TITLE = {Computational Intelligence II: Proc. of the International Symposium Computational Intelligence 1989},
  YEAR = 1990,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Gardin:91,
  EDITOR = {F. Gardin and N. Cercone and G. Valle},
  TITLE = {Computational Intelligence III: Proc. of the International Symposium Computational Intelligence 1990},
  YEAR = 1991,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Gasser:89,
  EDITOR = {L. Gasser and M. N. Huhns},
  TITLE = {Distributed Artificial Intelligence (Vol. II)},
  YEAR = 1989,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Gaudel:93,
  EDITOR = {M. C. Gaudel and J. P. Jouannaud},
  TITLE = {TAPSOFT'93: Theory and Practice of Software Development},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Gelenbe91,
  EDITOR = {E. Gelenbe},
  TITLE = {Neural Networks: Advances and Applications},
  YEAR = 1991,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Gelenbe92,
  EDITOR = {E. Gelenbe},
  TITLE = {Neural Networks: Advances and Applications, 2},
  YEAR = 1992,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Georgeff:87,
  EDITOR = {M. P. Georgeff and A. L. Lansky},
  TITLE = {Reasoning about Actions and Plans: Proc. of the 1986 Workshop},
  YEAR = 1987,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Los Altos, CA},
  KEYWORDS = {plans}}

@book{Gergely:91,
  EDITOR = {T. Gergely and L. Ury},
  TITLE = {First-Order Programming Theories},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Gibbins88,
  EDITOR = {P. Gibbins},
  TITLE = {Logic with Prolog},
  YEAR = 1988,
  PUBLISHER = {Oxford University Press},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Gibbs:90,
  EDITOR = {S. Gibbs and A. A. Verrijn-Stuart},
  TITLE = {Multi-User Interfaces and Applications: Proc. of the IFIP WG 8.4 Conference},
  YEAR = 1990,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Gill86,
  EDITOR = {K. S. Gill},
  TITLE = {Artificial Intelligence for Society},
  YEAR = 1986,
  PUBLISHER = {Wiley},
  ADDRESS = {Chichester},
  KEYWORDS = {}}

@book{Ginsberg87,
  EDITOR = {M. L. Ginsberg},
  TITLE = {Readings in Nonmonotonic Reasoning},
  YEAR = 1987,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Los Altos, CA},
  KEYWORDS = {nonmon-reas}}

@book{Ginsberg93,
  EDITOR = {M. Ginsberg},
  TITLE = {Essentials of Artificial Intelligence},
  YEAR = 1993,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Glinert90a,
  EDITOR = {E. P. Glinert},
  TITLE = {Visual Programming Environments: Applications and Issues},
  YEAR = 1990,
  PUBLISHER = {IEEE Computer Society Press},
  ADDRESS = {Los Alamitos, CA},
  KEYWORDS = {}}

@book{Glinert90b,
  EDITOR = {E. P. Glinert},
  TITLE = {Visual Programming Environments: Paradigms and Systems},
  YEAR = 1990,
  PUBLISHER = {IEEE Computer Society Press},
  ADDRESS = {Los Alamitos, CA},
  KEYWORDS = {}}

@book{Glowalla:92,
  EDITOR = {U. Glowalla and E. Schoop},
  TITLE = {Hypertext und Multimedia: Neue Wege in der computerunterst\"utzten Aus- und Weiterbildung},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Gluck:90,
  EDITOR = {M. A. Gluck and D. E. Rumelhart},
  TITLE = {Neuroscience and Connectionist Theory},
  YEAR = 1990,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Goerz92,
  EDITOR = {G. G\"orz},
  TITLE = {Konvens 92: 1. Konferenz ``Verarbeitung nat\"urlicher Sprache''},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Goetze95,
  EDITOR = {R. G\"otze},
  TITLE = {Dialogmodellierung f\"ur multimediale Benutzerschnittstellen},
  YEAR = 1995,
  PUBLISHER = {Teubner},
  ADDRESS = {Leipzig},
  KEYWORDS = {}}

@book{Goldfarb71,
  EDITOR = {W. D. Goldfarb},
  TITLE = {Jacques Herbrand: Logical Writings},
  YEAR = 1971,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht, Holland},
  KEYWORDS = {}}

@book{Gollan:88,
  EDITOR = {B. Gollan and W. J. Paul and A. Schmitt},
  TITLE = {Innovative Informations-Infrastrukturen},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Goltz:90,
  EDITOR = {H.-J. Goltz and H. Herre},
  TITLE = {Grundlagen der logischen Programmierung},
  YEAR = 1990,
  PUBLISHER = {Akademie-Verlag Berlin},
  ADDRESS = {Berlin },
  KEYWORDS = {}}

@book{Goodman:91a,
  EDITOR = {I. R. Goodman and H. T. Nguyen and E. A. Walker},
  TITLE = {Conditional Inference and Logic for Intelligent Systems: A Theory of Measure-Free Conditioning},
  YEAR = 1991,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Goodman:91b,
  EDITOR = {I. R. Goodman and M. M. Gupta and H. T. Nguyen and G. S. Rogers},
  TITLE = {Conditional Logic in Expert Systems},
  YEAR = 1991,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Goerz93,
  EDITOR = {G. G\"orz},
  TITLE = {Einf\"uhrung in die k\"unstliche Intelligenz},
  YEAR = 1993,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Bonn},
  KEYWORDS = {}}

@book{Gottlob:90,
  EDITOR = {G. Gottlob and W. Nejdl},
  TITLE = {Expert Systems in Engineering: Principles and Applications: Proc. of the International Workshop, Vienna, Austria},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Graubard89,
  EDITOR = {S. R. Graubard},
  TITLE = {The Artificial Intelligence Debate: False Starts, Real Foundations},
  YEAR = 1989,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Gray:87,
  EDITOR = {J. W. Gray and A. Scedrov},
  TITLE = {Categories in Computer Science and Logic: Proc. of the Joint Summer Research Conference},
  YEAR = 1987,
  PUBLISHER = {American Mathematical Society},
  ADDRESS = {Providence, RI},
  KEYWORDS = {}}

@book{Gray:93,
  EDITOR = {W. D. Gray and W. E. Hefley and D. Murray},
  TITLE = {Proc. of the 1993 International Workshop on Intelligent User Interfaces, Orlando, FL},
  YEAR = 1993,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Grefenstette85,
  EDITOR = {J. J. Grefenstette},
  TITLE = {Proc. of the First International Conference on Genetic Algorithms and their Applications},
  YEAR = 1985,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Gregory87,
  EDITOR = {S. Gregory},
  TITLE = {Parallel Logic Programming in PARLOG: The Language and its Implementation},
  YEAR = 1987,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham},
  KEYWORDS = {}}

@book{Grimes75,
  EDITOR = {J. E. Grimes},
  TITLE = {The Thread of Discourse},
  YEAR = 1975,
  PUBLISHER = {Mouton Publishers},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Groen:93,
  EDITOR = {F. C. A. Groen and S Hirose and C. E. Thorpe},
  TITLE = {Intelligent Autonomous Systems: Proc. of the International Conference IAS-3},
  YEAR = 1993,
  PUBLISHER = {IOS Press},
  ADDRESS = {Washington},
  KEYWORDS = {}}

@book{Groenendijk:,
  EDITOR = {J. Groenendijk and T. M. V. Janssen and M. Stokhof},
  TITLE = {Truth, Interpretation and Information: Selected Papers from the Third Amsterdam Colloquium},
  YEAR = 1884,
  PUBLISHER = {Foris},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Grossberg88,
  EDITOR = {S. Grossberg},
  TITLE = {Neural Networks and Natural Intelligence},
  YEAR = 1988,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Grosz:86,
  EDITOR = {B. J. Grosz and K. {Sparck Jones} and B. L. Webber},
  TITLE = {Readings in Natural Language Processing},
  YEAR = 1986,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Los Altos, CA},
  KEYWORDS = {n-l-p, ling}}

@book{Guan:91,
  EDITOR = {J. W. Guan and D. A. Bell},
  TITLE = {Evidence Theory and its Applications (Volume I)},
  YEAR = 1991,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Guenther:92,
  EDITOR = {O. G\"unther and H. Kuhn and R. Mayer-F\"oll and F. J. Radermacher},
  TITLE = {Konzeption und Einsatz von Umweltinformationssystemen: Proc.},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Guenthner:78,
  EDITOR = {F. Guenthner and C. Rohrer},
  TITLE = {Studies in Formal Semantics: Intensionality, Temporality, Negation},
  YEAR = 1978,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Guttag:93,
  EDITOR = {J. V. Guttag and J. J. Horning},
  TITLE = {LARCH: Languages and Tools for Formal Specification},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Haack78,
  AUTHOR = {S. Haack},
  TITLE = {Philosophy of Logics},
  YEAR = 1978,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {phil}}

@book{Habel84,
  EDITOR = {C. Habel},
  TITLE = {K\"unstliche Intelligenz (Fr\"uhjahrsschule Dassel (Solling))},
  YEAR = 1984,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Habel:89,
  AUTHOR = {C. Habel and M. Herweg and K. Rehk\"amper},
  TITLE = {Raumkonzepte in Verstehensprozessen: Interdisziplin\"are Beitr\"age zu Sprache und Raum},
  YEAR = 1989,
  PUBLISHER = {Niemeyer},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {ling, spat-rel}}

@book{Hagiya:94,
  EDITOR = {M. Hagiya and J. C. Mitchell},
  TITLE = {Theoretical Aspects of Computer Software},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Haiman:88,
  EDITOR = {J. Haiman and S. A. Thompson},
  TITLE = {Clause Combining in Grammar and Discourse},
  YEAR = 1988,
  PUBLISHER = {John Benjamins Publishing Company},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Halang:94,
  EDITOR = {W. A. Halang and A. D. Stoyenko},
  TITLE = {Real Time Computing},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Hallam:87,
  EDITOR = {J. Hallam and C. Mellish},
  TITLE = {Advances in Artificial Intelligence},
  YEAR = 1987,
  PUBLISHER = {Wiley},
  ADDRESS = {Chichester},
  KEYWORDS = {}}

@book{Halpern86,
  EDITOR = {J. Y. Halpern},
  TITLE = {Theoretical Aspects of Reasoning about Knowledge: Proc. of the 1986 Conference},
  YEAR = 1986,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Los Altos, CA},
  KEYWORDS = {infer, know-repr, user-mod, logic}}

@book{Hamm89,
  EDITOR = {F. Hamm},
  TITLE = {Nat\"urlich-sprachliche Quantoren: Modelltheoretische Untersuchungen zu universellen semantischen Beschr\"ankungen},
  YEAR = 1989,
  PUBLISHER = {Niemeyer},
  ADDRESS = {T\"ubingen },
  KEYWORDS = {}}

@book{Hammond:94,
  EDITOR = {K. Hammond and D. N. Turner and P. M. Sansom},
  TITLE = {Functional Programming},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Hanson:93,
  EDITOR = {S. J. Hanson and W. Remmele and R. L. Rivest},
  TITLE = {Machine Learning: From Theory to Applications},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Harel87,
  EDITOR = {D. Harel},
  TITLE = {Algorithmics: The Spirit of Computing},
  YEAR = 1987,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Harel:91,
  EDITOR = {I. Harel and S. Papert},
  TITLE = {Constructionism},
  YEAR = 1991,
  PUBLISHER = {Ablex},
  ADDRESS = {Norwood, NJ},
  KEYWORDS = {}}

@book{Haridi:95,
  EDITOR = {S. Haridi and K. Ali and P. Magnusson},
  TITLE = {EURO-PAR'95 - Parallel Processing},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, heidelberg},
  KEYWORDS = {}}

@book{Hartmann85,
  EDITOR = {G. Hartmann},
  TITLE = {Mustererkennung 1986},
  YEAR = 1985,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Haugeland81,
  EDITOR = {J. Haugeland},
  TITLE = {Mind Design: Philosophy, Psychology, Artificial Intelligence},
  YEAR = 1981,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Havel:92,
  EDITOR = {I. M. Havel and V. Koubek},
  TITLE = {Mathematical Foundations of Computer Science 1992: Proc. of the 17th International Symposium},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Hayes-Roth:83,
  EDITOR = {F. Hayes-Roth and D. A. Waterman and D. B. Lenat},
  TITLE = {Building Expert Systems},
  YEAR = 1983,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Heckerman91,
  EDITOR = {D. Heckerman},
  TITLE = {Probabilistic Similarity Networks},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Heldal:92,
  EDITOR = {R. Heldal and C. K. Holst and P. Wadler},
  TITLE = {Proc. of the 1991 Glasgow Workshop on Functional Programming},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Hellwig:86,
  EDITOR = {P. Hellwig and H. Lehmann},
  TITLE = {Trends in der linguistischen Datenverarbeitung},
  YEAR = 1986,
  PUBLISHER = {Olm},
  ADDRESS = {Hildesheim},
  KEYWORDS = {ling, n-l-p}}

@book{Hendler92,
  EDITOR = {J. Hendler},
  TITLE = {AIPS-92: Proc. of the First International Conference on Artificial Intelligence Planning Systems},
  YEAR = 1992,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Henrion:90,
  EDITOR = {M. Henrion and R. D. Shachter and L. N. Kanal and J. F. Lemmer},
  TITLE = {Uncertainty in Artificial Intelligence 5},
  YEAR = 1990,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {unc}}

@book{Herget:90,
  EDITOR = {J. Herget and R. Kuhlen},
  TITLE = {Pragmatische Aspekte beim Entwurf und Betrieb von Informationssystemen: Proc. des 1. Internationalen Symposiums f\"ur Informationswissenschaft},
  YEAR = 1990,
  PUBLISHER = {Universit\"atsverlag},
  ADDRESS = {Konstanz},
  KEYWORDS = {}}

@book{Hermenegildo:94,
  EDITOR = {M. Hermenegildo and J. Penjam},
  TITLE = {Programming Language Implementation and Logic Programming},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Hertzberg91,
  EDITOR = {J. Hertzberg},
  TITLE = {Proc. of the European Workshop on Planning EWSP-91},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Herzog:91,
  EDITOR = {O. Herzog and C.-R. Rollinger},
  TITLE = {Text Understanding in LILOG: Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Herzog:93,
  EDITOR = {O. Herzog and T. Christaller and D. Sch\"utt},
  TITLE = {Grundlagen und Anwendungen der K\"unstlichen Intelligenz(17. Fachtagung)},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Hesselink92,
  EDITOR = {W. H. Hesselink},
  TITLE = {Programs, Recursion and Unbounded Choice},
  YEAR = 1992,
  PUBLISHER = {University Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {}}

@book{Heyer:88,
  EDITOR = {G. Heyer and J. Krems and G. G\"orz},
  TITLE = {Wissensarten und ihre Darstellung: Beitr\"age aus Philosophie, Psychologie, Informatik und Linguistik},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {know-repr, phil, psych}}

@book{Hinton:89,
  EDITOR = {G. E. Hinton and J. A. Anderson},
  TITLE = {Parallel Models of Associative Memory},
  YEAR = 1989,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Hlavac:95,
  EDITOR = {V. Hlavac and R. Sara},
  TITLE = {Computer Analysis of Images and Patterns},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Hoare85,
  EDITOR = {C. A. R. Hoare},
  TITLE = {Communicating Sequential Processes},
  YEAR = 1985,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Hobbs:85a,
  EDITOR = {J. R. Hobbs and R. C. Moore},
  TITLE = {Formal Theories of the Commonsense World},
  YEAR = 1985,
  PUBLISHER = {Ablex},
  ADDRESS = {Norwood, NJ},
  KEYWORDS = {}}

@techreport{Hobbs:85b,
  AUTHOR = {J. R. Hobbs and T. Blenko and B. Croft and G. Hager and H. A. Kautz and P. Kube and Y. Shoham},
  TITLE = {Commonsense Summer: Final Report},
  YEAR = 1985,
  TYPE = {Report},
  NUMBER = {CSLI-85-35},
  INSTITUTION = {Center for the Study of Language and Information, Ventura Hall, Stanford University},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Hoelldobler89,
  AUTHOR = {S. H\"olldobler},
  TITLE = {Foundations of Equational Logic Programming},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {progr}}

@book{Hoeppner88,
  EDITOR = {W. Hoeppner},
  TITLE = {GWAI-88: K\"unstliche Intelligenz (12. Jahrestagung)},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Hofstadter:82,
  EDITOR = {D. R. Hofstadter and D. C. Dennett},
  TITLE = {The Mind's I: Fantasies and Reflections on Self and Soul},
  YEAR = 1982,
  PUBLISHER = {Penguin Books},
  ADDRESS = {Harmondsworth, England},
  KEYWORDS = {phil, psych}}

@book{Holt:92,
  EDITOR = {P. O. Holt and N. Williams},
  TITLE = {Computers and Writing: State of the Art},
  YEAR = 1992,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Hookway84,
  EDITOR = {C. Hookway},
  TITLE = {Minds, Machines and Evolution},
  YEAR = 1984,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Hopper:86,
  AUTHOR = {A. Hopper and S. Temple and R. Williamson},
  TITLE = {Local Area Network Design},
  YEAR = 1986,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Wokingham, England},
  KEYWORDS = {}}

@book{Horacek:93,
  EDITOR = {H. Horacek and M. Zock},
  TITLE = {New Concepts in Natural Language Generation. Planning, Realization and Systems},
  YEAR = 1993,
  PUBLISHER = {Pinter},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Horgan:91,
  EDITOR = {T. Horgan and J. Tienson},
  TITLE = {Connectionism and the Philosophy of Mind},
  YEAR = 1991,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Horn:89,
  EDITOR = {B. K. P. Horn and M. J. Brooks},
  TITLE = {Shape from Shading},
  YEAR = 1989,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Hsiang95,
  EDITOR = {J. Hsiang},
  TITLE = {Rewriting Techniques and Applications},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Huang:90,
  EDITOR = {X. D. Huang and Y. Ariki and M. A. Jack},
  TITLE = {Hidden Markov Models for Speech Recognition},
  YEAR = 1990,
  PUBLISHER = {Edinburgh University Press},
  ADDRESS = {Edinburgh},
  KEYWORDS = {}}

@book{Huang:95,
  EDITOR = {C.-H. Huang and P. Sadayappan and U. Banerjee and D. Gelernter and A. Nicolau and D. Padua},
  TITLE = {Languages and Compilers for Parallel Computing},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

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

@book{Huet:91,
  EDITOR = {G. Huet and G. Plotkin},
  TITLE = {Logical Frameworks},
  YEAR = 1991,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {}}

@book{Hughes91,
  EDITOR = {J. Hughes},
  TITLE = {Functional Programming Languages and Computer Architecture: Proc. of the 5th ACM Conference},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Hutchins:92,
  EDITOR = {W. J. Hutchins and H. L. Somers},
  TITLE = {An Introduction to Machine Translation},
  YEAR = 1992,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Iida:87,
  EDITOR = {M. Iida and S. Wechsler and D. Zec},
  TITLE = {Working Papers in Grammatical Theory and Discourse Structure: Interactions of Morphology, Syntax, and Discourse},
  YEAR = 1987,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Impedovo94,
  EDITOR = {S. Impedovo},
  TITLE = {Fundamentals in Handwriting Recognition},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Ito:90,
  EDITOR = {T. Ito and R. H. Halstead},
  TITLE = {Parallel Lisp: Languages and Systems},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Ito:91,
  EDITOR = {T. Ito and A. R. Meyer},
  TITLE = {Theoretical Aspects of Computer Software: Proc. of the International Conference TACS'91},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Ito:94,
  EDITOR = {T. Ito and A. Yonezawa},
  TITLE = {Theory and Practice of Parallel Programming},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Iyengar:91a,
  EDITOR = {S. S. Iyengar and A. Elfes},
  TITLE = {Autonomous Mobile Robots: Perception, Mapping, and
		  Navigation (Vol. 1)},
  YEAR = 1991,
  PUBLISHER = {IEEE Computer Society Press},
  ADDRESS = {Los Alamitos, CA},
  KEYWORDS = {}}

@book{Iyengar:91b,
  EDITOR = {S. S. Iyengar and A. Elfes},
  TITLE = {Autonomous Mobile Robots: Control, Planning, and
		  Architecture (Vol. 2)},
  YEAR = 1991,
  PUBLISHER = {IEEE Computer Society Press},
  ADDRESS = {Los Alamitos, CA},
  KEYWORDS = {}}

@book{Jaakkola:89,
  EDITOR = {H. Jaakkola and S. Linnainmaa},
  TITLE = {Scandinavian Conference on Artificial Intelligence: Proc. of the SCAI'89},
  YEAR = 1989,
  PUBLISHER = {IOS},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Jackson:89,
  EDITOR = {P. Jackson and H. Reichgelt and F. van Harmelen},
  TITLE = {Logic-Based Knowledge Representation},
  YEAR = 1989,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Jacobs92,
  EDITOR = {P. S. Jacobs},
  TITLE = {Text-Based Intelligent Systems: Current Research and Practice in Information Extraction and Retrieval},
  YEAR = 1992,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Jantke89,
  EDITOR = {K. P. Jantke},
  TITLE = {Analogical and Inductive Inference: Proc. of the International Workshop AII'89},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Jantke92,
  EDITOR = {K. P. Jantke},
  TITLE = {Analogical and Inductive Inference: Proc. of the International Workshop AII'92},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Jantke:93,
  EDITOR = {K. P. Jantke and S. Kobayashi and E. Tomita and T. Yokomori},
  TITLE = {Algorithmic Learning Theory - Proc. of the 4th Workshop, ALT'93},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Jarvella:82,
  EDITOR = {R. J. Jarvella and W. Klein},
  TITLE = {Speech, Place, \& Action},
  YEAR = 1982,
  PUBLISHER = {Wiley},
  ADDRESS = {Chichester},
  KEYWORDS = {}}

@book{Jensen:93,
  EDITOR = {K. Jensen and G. E. Heidorn and S. D. Richardson},
  TITLE = {Natural Language Processing: The PLNLP Approach},
  YEAR = 1993,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Jeuring:95,
  EDITOR = {J. Jeuring and E. Meijer},
  TITLE = {Advanced Functional Programming},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Johnson-Laird:91,
  EDITOR = {P. N. Johnson-Laird and R. M. J. Byrne},
  TITLE = {Deduction},
  YEAR = 1991,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Jonsson:94,
  EDITOR = {B. Jonsson and J. Parrow},
  TITLE = {CONCUR'94: Concurrency Theory},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Jorrand:90,
  EDITOR = {P. Jorrand and V. Sgurev},
  TITLE = {Artificial Intelligence IV: Methodology, Systems, Applications},
  YEAR = 1990,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Jorrand:91,
  EDITOR = {P. Jorrand and J. Kelemen},
  TITLE = {Fundamentals of Artificial Intelligence Research: International Workshop FAIR'91 Proceedings},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Joseph:90,
  AUTHOR = {B. D. Joseph and A. M. Zwicky},
  TITLE = {When Verbs Collide: Papers From the 1990 Ohio State Mini-Conference on Serial Verbs},
  YEAR = 1990,
  PUBLISHER = {Ohio State University},
  ADDRESS = {Columbus, OH},
  KEYWORDS = {}}

@book{Joshi:81,
  EDITOR = {A. K. Joshi and B. Webber and I. Sag},
  TITLE = {Elements of Discourse Understanding},
  YEAR = 1981,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Joyce:94,
  EDITOR = {J. J. Joyce and C.-J. H. Seger},
  TITLE = {Higher order Logic Theorem Proving and its Applications: Proc. of the 6th International Workshop (HUG'93)},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kacsuk:92,
  EDITOR = {P. Kacsuk and M. J. Wise},
  TITLE = {Implementations of Distributed Prolog},
  YEAR = 1992,
  PUBLISHER = {Wiley},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Kaindl91,
  EDITOR = {H. Kaindl},
  TITLE = {7. \"Osterreichische Artificial-Intelligence-Tagung},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kanal:86,
  EDITOR = {L. N. Kanal and J. F. Lemmer},
  TITLE = {Uncertainty in Artificial Intelligence},
  YEAR = 1986,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {unc}}

@book{Kanal:89,
  EDITOR = {L. N. Kanal and T. S. Levitt and J. F. Lemmer},
  TITLE = {Uncertainty in Artificial Intelligence 3},
  YEAR = 1989,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {unc}}

@book{Kanchanasut:95,
  EDITOR = {K. Kanchanasut and J.-J. Levy},
  TITLE = {Algorithms, Concurrency and Knowledge},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kaneff70,
  EDITOR = {S. Kaneff},
  TITLE = {Picture Language Machines},
  YEAR = 1970,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Kaplan:91,
  EDITOR = {S. Kaplan and M. Okada},
  TITLE = {Conditional and Typed Rewriting Systems: Proc. of the 2nd International CTRS Workshop},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kapur92,
  EDITOR = {D. Kapur},
  TITLE = {Automated Deduction: CADE-11 - Proc. of the 11th International Conference on Automated Deduction},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Karagiannis94a,
  EDITOR = {D. Karagiannis},
  TITLE = {Database and Expert Systems Applications(DEXA-94)},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Karagiannis94b,
  EDITOR = {D. Karagiannis},
  TITLE = {Wissensbasierte Datenbanken},
  YEAR = 1994,
  PUBLISHER = {R. Oldenbourg Verlag GmbH},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Karhumaeki:94,
  EDITOR = {J. Karhum\"aki and H. Maurer and G. Rozenberg},
  TITLE = {Results and Trends in Theoretical Computer Science},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Katz:95,
  EDITOR = {I. R. Katz and R. Mack and L. Marks and M. B. Rosson and J. Nielsen},
  TITLE = {Human Factors in Computing Systems (CHI'95)},
  YEAR = 1995,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York,},
  KEYWORDS = {}}

@book{Keenan75,
  EDITOR = {E. L. Keenan},
  TITLE = {Formal Semantics of Natural Language},
  YEAR = 1975,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Kempen87,
  EDITOR = {G. Kempen},
  TITLE = {Natural Language Generation: New Results in Artificial Intelligence, Psychology and Linguistics},
  YEAR = 1987,
  PUBLISHER = {Nijhoff},
  ADDRESS = {Dordrecht},
  KEYWORDS = {n-l-p, ling, generation}}

@book{Kerschberg87,
  EDITOR = {L. Kerschberg},
  TITLE = {Proc. from the First International Conference on Expert Database Systems},
  YEAR = 1987,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Redwood City, CA},
  KEYWORDS = {}}

@book{Kerschberg89,
  EDITOR = {L. Kerschberg},
  TITLE = {Proc. from the Second International Conference on Expert Database Systems},
  YEAR = 1989,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Redwood City, CA},
  KEYWORDS = {}}

@book{Kim95,
  EDITOR = {W. Kim},
  TITLE = {Modern Database Systems},
  YEAR = 1995,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Kim:85,
  EDITOR = {W. Kim and D. S. Reiner and D. S. Batory},
  TITLE = {Query Processing in Database Systems},
  YEAR = 1985,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kim:89,
  EDITOR = {W. Kim and F. H. Lochovsky},
  TITLE = {Object-Oriented Concepts, Databases, and Applications},
  YEAR = 1989,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{King83,
  EDITOR = {M. King},
  TITLE = {Parsing Natural Language},
  YEAR = 1983,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Kirchner:90,
  EDITOR = {H. Kirchner and W. Wechler},
  TITLE = {Algebraic and Logic Programming: Proc. of the Second International Conference},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kirchner:92,
  EDITOR = {H. Kirchner and G. Levi},
  TITLE = {Algebraic and Logic Programming: Proc. of the Third International Conference},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kittredge:82,
  EDITOR = {In: R. Kittredge and J. Lehrberger},
  TITLE = {Sublanguage: Studies of Language in Restricted Semantic Domains},
  YEAR = 1982,
  PUBLISHER = {de Gruyter},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Klein:91,
  EDITOR = {E. Klein and F. Veltman},
  TITLE = {Natural Language and Speech: Symposium Proc.},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Klement:93,
  EDITOR = {E. P. Klement and W. Slany},
  TITLE = {Fuzzy Logic in Artificial Intelligence: Proc. of the 8th Austrian Artificial Intelligence Conference FLAI'93},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Klinger:77,
  EDITOR = {A. Klinger and K. S. Fu and T. L. Kunii},
  TITLE = {Data Structures, Computer Graphics, and Pattern Recognition},
  YEAR = 1977,
  PUBLISHER = {Academic Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Klix79,
  EDITOR = {F. Klix},
  TITLE = {Human and Artificial Intelligence},
  YEAR = 1979,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Klose:92,
  EDITOR = {G. Klose and E. Lang and T. Pirlein},
  TITLE = {Ontologie und Axiomatik der Wissensbasis von LILOG: Wissensmodellierung im IBM Deutschland LILOG-Projekt},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kobsa:89,
  EDITOR = {A. Kobsa and W. Wahlster},
  TITLE = {User Models in Dialog Systems},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {user-mod}}

@book{Kodratoff91,
  EDITOR = {Y. Kodratoff},
  TITLE = {Machine Learning - EWSL-91: Proc. of the European Working Session on Learning},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kodratoff:90,
  EDITOR = {Y. Kodratoff and R. Michalski},
  TITLE = {Machine Learning: An Artificial Intelligence Approach (Volume III)},
  YEAR = 1990,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Kogge91,
  EDITOR = {P. M. Kogge},
  TITLE = {The Architecture of Symbolic Computers},
  YEAR = 1991,
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Kolodner88,
  EDITOR = {J. Kolodner},
  TITLE = {Proc. of a Workshop on Case-Based Reasoning},
  YEAR = 1988,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Komorowski:93,
  EDITOR = {J. Komorowski and Z. W. Ras},
  TITLE = {Methodologies for Intelligent Systems: Proc. of the 7th International Symposium ISMIS-93},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Korth:91,
  EDITOR = {H. F. Korth and A. Silberschatz},
  TITLE = {Database System Concepts (Second Edition)},
  YEAR = 1991,
  PUBLISHER = {McGraw-Hill, Inc.},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Kowalski:88a,
  EDITOR = {R. A. Kowalski and K. A. Bowen},
  TITLE = {Logic Programming: Proc. of the Fifth International Conference and Symposium (Volume 1)},
  YEAR = 1988,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Kowalski:88b,
  EDITOR = {R. A. Kowalski and K. A. Bowen},
  TITLE = {Logic Programming: Proc. of the Fifth International Conference and Symposium (Volume 2)},
  YEAR = 1988,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Kozen92,
  EDITOR = {D. C. Kozen},
  TITLE = {The Design and Analysis of Algorithms},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Krantz:71,
  EDITOR = {D. H. Krantz and R. D. Luce and P. Suppes and A. Tversky},
  TITLE = {Foundations of Measurement: Additive and Polynominal Representations (Volume I)},
  YEAR = 1971,
  PUBLISHER = {Academic Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Krantz:89,
  EDITOR = {D. H. Krantz and R. D. Luce and P. Suppes and A. Tversky},
  TITLE = {Foundations of Measurement: Geometrical, Threshold, and Probabilistic Representations (Volume II)},
  YEAR = 1989,
  PUBLISHER = {Academic Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Krantz:90,
  EDITOR = {D. H. Krantz and R. D. Luce and P. Suppes and A. Tversky},
  TITLE = {Foundations of Measurement: Representation, Axiomatization, and Invariance (Volume III)},
  YEAR = 1990,
  PUBLISHER = {Academic Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Krause:92,
  EDITOR = {J. Krause and L. Hitzenberger},
  TITLE = {Computer Talk},
  YEAR = 1992,
  PUBLISHER = {Olms},
  ADDRESS = {Hildesheim},
  KEYWORDS = {n-l-p, ling}}

@book{Kreczmar:89,
  EDITOR = {A. Kreczmar and G. Mirkowska},
  TITLE = {Mathematical Foundations of Computer Science 1989 (MFCS'89): Proc.},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Krenn74,
  AUTHOR = {H. Krenn},
  TITLE = {Die grammatische Transformation},
  YEAR = 1974,
  PUBLISHER = {Fink},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Krug:92,
  EDITOR = {W. Krug and A. Lehmann},
  TITLE = {ESS-92: Proc. of the 1992 European Simulation Symposium},
  YEAR = 1992,
  PUBLISHER = {Society for Computer Simulation},
  ADDRESS = {San Diego},
  KEYWORDS = {}}

@book{Kruse:91a,
  EDITOR = {R. Kruse and E. Schwecke and J. Heinsohn},
  TITLE = {Uncertainty and Vagueness in Knowledge Based Systems: Numerical Methods},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kruse:91b,
  EDITOR = {R. Kruse and P. Siegel},
  TITLE = {Symbolic and Quantitative Appraoches to Uncertainty: Proc. of the European Conference ECSQAU},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kuhlen92,
  EDITOR = {R. Kuhlen},
  TITLE = {Experimentelles und praktisches Information Retrieval: Festschrift f\"ur Gerhard Lustig},
  YEAR = 1992,
  PUBLISHER = {Universit\"atsverlag Konstanz},
  ADDRESS = {Konstanz, Germany},
  KEYWORDS = {}}

@book{Kuich92,
  EDITOR = {W. Kuich},
  TITLE = {Automata, Languages and Programming: Proc. of the 19th International Colloquium},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kulas:88,
  EDITOR = {J. Kulas and J. H. Fetzer and T. L. Rankin},
  TITLE = {Philosophy, Language, and Artificial Intelligence: Resources for Processing Natural Language},
  YEAR = 1988,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Kumar90,
  EDITOR = {D. Kumar},
  TITLE = {Current Trends in SNePS: Sematic Network Processing System},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kupka78,
  EDITOR = {I. Kupka},
  TITLE = {Techniken des Dialogs},
  YEAR = 1978,
  PUBLISHER = {Hanser},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Kupka83,
  AUTHOR = {I. Kupka},
  TITLE = {GI - 13. Jahrstagung},
  YEAR = 1983,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Kurki-Suonio71,
  AUTHOR = {R. Kurki-Suonio},
  TITLE = {Computability and Formal Languages},
  YEAR = 1971,
  PUBLISHER = {Auerbach},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Kyburg-Jr:90,
  EDITOR = {H. E. {Kyburg Jr} and R. P. Loui and G. N. Carlson},
  TITLE = {Knowledge Representation and Defeasible Reasoning},
  YEAR = 1990,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Lakemeyer:94,
  EDITOR = {G. Lakemeyer and B. Nebel},
  TITLE = {Foundations of Knowledge Representation and Reasoning},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Lamma:93,
  EDITOR = {E. Lamma and P. Mello},
  TITLE = {Extensions of Logic Programming: Proc. of the Third International Workshop ELP'92},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Landy:91,
  EDITOR = {M. S. Landy and J. A. Movshon},
  TITLE = {Computational Models of Visual Processing},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Lassez87,
  EDITOR = {J.-L. Lassez},
  TITLE = {Logic Programming: Proc. of the Fourth International Conference (Volume 1)},
  YEAR = 1987,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Lassez:91,
  EDITOR = {J.-L. Lassez and G. Plotkin},
  TITLE = {Computational Logic: Essays in Honor of Alan Robinson},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Laubsch84,
  EDITOR = {J. Laubsch},
  TITLE = {GWAI-84, 8th German Workshop on Artificial Intelligence},
  YEAR = 1984,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Lauer93,
  EDITOR = {P. E. Lauer},
  TITLE = {Functional Programming, Concurrency, Simulation and Automated Reasoning},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Lavrac:95,
  EDITOR = {N. Lavrac and S. Wrobel},
  TITLE = {Machine Learning: ECML-95},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Le-Charlier94,
  EDITOR = {B. {Le Charlier}},
  TITLE = {Static Analysis},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{LePore87,
  EDITOR = {E. LePore},
  TITLE = {New Directions in Semantics},
  YEAR = 1987,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {n-l-p, ling, semantics}}

@book{Leach-Albert:91,
  EDITOR = {J. {Leach Albert} and B. Monien and M. {Rodriguez Artalejo}},
  TITLE = {Automata, Languages and Programming: Proc. of the 18th International Colloquium},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Leblanc73,
  EDITOR = {H. Leblanc},
  TITLE = {Truth, Syntax and Modality},
  YEAR = 1973,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Lee:93,
  EDITOR = {Y.-H. Lee and C. M. Krishna},
  TITLE = {Readings in Real-Time Systems},
  YEAR = 1993,
  PUBLISHER = {IEEE Computer Society Press},
  ADDRESS = {Tokyo},
  KEYWORDS = {}}

@book{Lee:95,
  EDITOR = {I. Lee and S. A. Smolka},
  TITLE = {CONCUR'95: Concurrency Theory},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Leeuwen90a,
  EDITOR = {J. van Leeuwen},
  TITLE = {Handbook of Theoretical Computer Science: Volume A: Algorithms and Complexity},
  YEAR = 1990,
  PUBLISHER = {Elsevier},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Leeuwen90b,
  EDITOR = {J. van Leeuwen},
  TITLE = {Handbook of Theoretical Computer Science: Volume B: Formal Models and Semantics},
  YEAR = 1990,
  PUBLISHER = {Elsevier},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Lehman92,
  EDITOR = {J. F. Lehman},
  TITLE = {Adaptive Parsing: Self-Extending Natural Language Interfaces},
  YEAR = 1992,
  PUBLISHER = {Kluwer},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Lehner94,
  EDITOR = {F. Lehner},
  TITLE = {Die Wartung von wissensbasierten Systemen},
  YEAR = 1994,
  PUBLISHER = {H\"ansel-Hohenhausen},
  ADDRESS = {Frankfurt},
  KEYWORDS = {}}

@book{Lehnert:82,
  EDITOR = {W. G. Lehnert and M. H. Ringle},
  TITLE = {Strategies for Natural Language Processing},
  YEAR = 1982,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {ling, n-l-p}}

@book{Lehrmann-Madsen92,
  EDITOR = {O. {Lehrmann Madsen}},
  TITLE = {ECOOP'92: Proc. of the European Conference on Object-Oriented Programming},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Leivant94,
  EDITOR = {D. Leivant},
  TITLE = {Logic and Computational Complexity},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Lemmer:88,
  EDITOR = {J. F. Lemmer and L. N. Kanal},
  TITLE = {Uncertainty in Artificial Intelligence 2},
  YEAR = 1988,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {unc}}

@book{Lenzerini:91,
  EDITOR = {M. Lenzerini and D. Nardi and M. Simi},
  TITLE = {Inheritance Hierarchies in Knowledge Representation and Programming Languages},
  YEAR = 1991,
  PUBLISHER = {Wiley},
  ADDRESS = {Chichester},
  KEYWORDS = {}}

@book{Levi:89,
  EDITOR = {G. Levi and M. Martelli},
  TITLE = {Logic Programming: Proc. of the Sixth International Conference},
  YEAR = 1989,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Levi:94,
  EDITOR = {P. Levi and T. Br\"aunl},
  TITLE = {Autonome Mobile Systeme 1994},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Levine:92,
  EDITOR = {D. S. Levine and S. J. Leven},
  TITLE = {Motivation, Emotion, and Goal Direction in Neural Networks},
  YEAR = 1992,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Lewerentz:95,
  EDITOR = {C. Lewerentz and T. Lindner},
  TITLE = {Formal Development of Reactive Systems (Case Study Production Cell)},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, heidelberg},
  KEYWORDS = {}}

@book{Li:93,
  EDITOR = {M. Li and P. Vitanyi},
  TITLE = {An Introduction to Kolmogorov Complexity and its Applications},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Li:95,
  EDITOR = {S. Z. Li and D. P. Mital and E. K. Teoh and H. Wang},
  TITLE = {Recent Developments in Computer Vision},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Lifschitz90,
  EDITOR = {V. Lifschitz},
  TITLE = {Formalizing Common Sense: Papers by John McCarthy},
  YEAR = 1990,
  PUBLISHER = {Ablex},
  ADDRESS = {Norwood, NJ},
  KEYWORDS = {}}

@book{Lindsay77,
  EDITOR = {R. D. Lindsay},
  TITLE = {Computer Analysis of Neuronal Structures},
  YEAR = 1977,
  PUBLISHER = {Plenum Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Ling:95,
  EDITOR = {T. W. Ling and A. O. Mendelzon and L. Vieille},
  TITLE = {Deductive and Object-Oriented Databases},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Lippmann:91,
  EDITOR = {R. P. Lippmann and J. E. Moody and D. S. Touretzky},
  TITLE = {Advances in Neural Information Processing Systems 3},
  YEAR = 1991,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Liskov:86,
  AUTHOR = {B. Liskov and J. Guttag},
  TITLE = {Abstraction and Specification in Program Development},
  YEAR = 1986,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Lloyd90,
  EDITOR = {J. W. Lloyd},
  TITLE = {Computational Logic: Symposium Proceedings},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Lloyd95,
  EDITOR = {J. Lloyd},
  TITLE = {Logic Programming},
  YEAR = 1995,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Lobo:92,
  EDITOR = {J. Lobo and J. Minker and A. Rajasekar},
  TITLE = {Foundations of Disjunktive Logic Programming},
  YEAR = 1992,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {}}

@book{Lochovsky:90,
  EDITOR = {F. H. Lochovsky and R. B. Allen},
  TITLE = {Conference on Office Information Systems '90, Cambridge, MA},
  YEAR = 1990,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Loucopoulos92,
  EDITOR = {P. Loucopoulos},
  TITLE = {Advanced Information Systems Engineering: Proc. of the 4th International Conference CAiSE'92},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Lowen:93,
  EDITOR = {R. Lowen and M. Roubens},
  TITLE = {Fuzzy Logic},
  YEAR = 1993,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Lowry:91,
  EDITOR = {M. R. Lowry and R. D. McCartney},
  TITLE = {Automating Software Design},
  YEAR = 1991,
  PUBLISHER = {AAAI Press},
  ADDRESS = {Menlo Park, CA},
  KEYWORDS = {}}

@book{Luck89,
  EDITOR = {K. von Luck},
  TITLE = {K\"unstliche Intelligenz},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Lukaszewicz90,
  EDITOR = {W. Lukaszewicz},
  TITLE = {Non-Monotonic Reasoning: Formalization of Commonsense Reasoning},
  YEAR = 1990,
  PUBLISHER = {Ellis Horwood},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Lusk:89a,
  EDITOR = {E. L. Lusk and R. A. Overbeek},
  TITLE = {Logic Programming: Proc. of the North American Conference 1989 (Volume 1)},
  YEAR = 1989,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Lusk:89b,
  EDITOR = {E. L. Lusk and R. A. Overbeek},
  TITLE = {Logic Programming: Proc. of the North American Conference 1989 (Volume 2)},
  YEAR = 1989,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{MacNish:94,
  EDITOR = {C. MacNish and D. Pearce and L. M. Pereira},
  TITLE = {Logics in Artificial Intelligence},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Magnenat-Thalmann:92,
  EDITOR = {N. Magnenat-Thalmann and D. Thalmann},
  TITLE = {Computer Animation: Creating and Animating the Virtual World},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Tokyo},
  KEYWORDS = {}}

@book{Magnenat-Thalmann:93,
  EDITOR = {N. {Magnenat Thalmann} and D. Thalmann},
  TITLE = {Models and Techniques in Computer Animation},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Main:90,
  EDITOR = {M. Main and A. Melton and M. Mislove and D. Schmidt},
  TITLE = {Mathematical Foundations of Programming Semantics: Proc. of the 5th International Conference},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Mallgren82,
  AUTHOR = {W. R. Mallgren},
  TITLE = {Formal Specification of Interactive Graphics Programming Languages},
  YEAR = 1982,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Maluszynski:91,
  EDITOR = {J. Maluszynski and M. Wirsing},
  TITLE = {Programming Language Implementation and Logic Programming: Proc. of the 3rd International Symposium PLILP'91, Passau},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Malyshkin95,
  EDITOR = {V. Malyshkin},
  TITLE = {Parallel Computing Technologies},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Mandl:88,
  EDITOR = {H. Mandl and A. Lesgold},
  TITLE = {Learning Issues for Intelligent Tutoring Systems},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {user-mod}}

@book{Manes92,
  EDITOR = {E. G. Manes},
  TITLE = {Predicate Transformer Semantics},
  YEAR = 1992,
  PUBLISHER = {University Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {}}

@book{Manna74,
  EDITOR = {Z. Manna},
  TITLE = {Mathematical Theory of Computation},
  YEAR = 1974,
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Manna:77,
  EDITOR = {Z. Manna and R. Waldinger},
  TITLE = {Studies in Automatic Programming Logic},
  YEAR = 1977,
  PUBLISHER = {North-Holland},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Marantz:92,
  EDITOR = {A. Marantz and T. Stowell},
  TITLE = {MIT Working Papers in Linguistics: Papers in Syntax (Volume 4)},
  YEAR = 1992,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Marburger90,
  EDITOR = {H. Marburger},
  TITLE = {GWAI-90: 14th German Workshop on Artificial Intelligence},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Marek:95,
  EDITOR = {V. W. Marek and A. Nerode and M. Truszczynski},
  TITLE = {Logic Programming and Nonmonotonic Reasoning (LPNMR'95)},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Marik:90,
  EDITOR = {V. Marik and O. Stepankova and Z. Zdrahal},
  TITLE = {Artificial Intelligence in Higher Education: Proc. of the CEPES-UNESCO International Symposium},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Marik:92,
  EDITOR = {V. Marik and O. Stepankova and R. Trappl},
  TITLE = {Advanced Topics in Artificial Intelligence: Proc. of the International Summer School},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Marik:93,
  EDITOR = {V. Marik and J. Lazansky and R. R. Wagner},
  TITLE = {Database and Expert Systems Applications: Proc. of the 4th International Conference DEXA'93},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Mark:91,
  EDITOR = {D. M. Mark and A. U. Frank},
  TITLE = {Cognitive and Linguistic Aspects of Geographic Space},
  YEAR = 1991,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Marslen-Wilson89,
  EDITOR = {W. Marslen-Wilson},
  TITLE = {Lexical Representation and Process},
  YEAR = 1989,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Martin:93,
  EDITOR = {U. Martin and J. M. Wing},
  TITLE = {Proc. of the First International Workshop on Larch},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Martins:89,
  EDITOR = {J. P. Martins and E. M. Morgado},
  TITLE = {EPIA 89: Proc. of the 4th Portuguese Conference on Artificial Intelligence},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Martins:91,
  EDITOR = {J. P. Martins and M. Reinfrank},
  TITLE = {Truth Maintenance Systems: Proc. of the ECAI-90 Workshop},
  YEAR = 1991,
  PUBLISHER = {Springer,},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Masuch:92,
  EDITOR = {M. Masuch and M. Warglien},
  TITLE = {Artificial Intelligence in Organization and Management Theory},
  YEAR = 1992,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Masuch:94,
  EDITOR = {M. Masuch and L. Polos},
  TITLE = {Knowledge representation and Reasoning under Uncertainty: Logic at Work},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Matthiessen:91,
  EDITOR = {C. M. I. Matthiessen and J. A. Bateman},
  TITLE = {Text Generation and Systemic-Functional Linguistics: Experiences from English and Japanese},
  YEAR = 1991,
  PUBLISHER = {Pinter},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Maurer91,
  EDITOR = {H. Maurer},
  TITLE = {Hypertext/Hypermedia'91: Tagung der GI, SI und OCG, Graz},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Maybury93,
  EDITOR = {M. T. Maybury},
  TITLE = {Intelligent Multimedia Interfaces},
  YEAR = 1993,
  PUBLISHER = {AAAI Press},
  ADDRESS = {Menlo Park, CA},
  KEYWORDS = {}}

@book{Mayoh91,
  EDITOR = {B. Mayoh},
  TITLE = {Scandinavian Conference on Artificial Intelligence: Proc. of the SCAI'91},
  YEAR = 1991,
  PUBLISHER = {IOS},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Mayoh:94,
  EDITOR = {B. Mayoh and E. Tyugu and J. Penjam},
  TITLE = {Constraint Programming},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Mayr:95,
  EDITOR = {E. W. Mayr and C. Puech},
  TITLE = {12th Annual Symposium on Theoretical Aspects of Computer Science (STACS)},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{McAleese:90,
  EDITOR = {R. McAleese and C. Green},
  TITLE = {Hypertext: State of the Art},
  YEAR = 1990,
  PUBLISHER = {Intellect},
  ADDRESS = {Oxford, England},
  KEYWORDS = {}}

@book{McClelland:86,
  EDITOR = {J. L. McClelland and D. E. Rumelhart and others},
  TITLE = {Parallel Distributed Processing: Volume 2: Psychological and Biological Models},
  YEAR = 1986,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{McDonald:88,
  EDITOR = {D. D. McDonald and L. Bolc},
  TITLE = {Natural Language Generation Systems},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{McKerrow91,
  EDITOR = {P. J. McKerrow},
  TITLE = {Introduction to Robotics},
  YEAR = 1991,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Sydney},
  KEYWORDS = {}}

@book{McKevitt94,
  EDITOR = {P. McKevitt},
  TITLE = {AAAI-94 Workshop Program, Integration of Natural Language and Vision Processing},
  YEAR = 1994,
  PUBLISHER = {AAAI Press},
  ADDRESS = {Seattle, WA},
  KEYWORDS = {}}

@book{Mehra:92,
  EDITOR = {P. Mehra and B. W. Wah},
  TITLE = {Artificial Neural Networks: Concepts and Theory},
  YEAR = 1992,
  PUBLISHER = {IEEE Computer Society Press},
  ADDRESS = {Los Alamitos, CA},
  KEYWORDS = {}}

@book{Melham:94,
  EDITOR = {T. F. Melham and J. Camilleri},
  TITLE = {Higher Order Logic Theorem and Its Applications},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Metzing80,
  EDITOR = {D. Metzing},
  TITLE = {Frame Conceptions and Text Understanding},
  YEAR = 1980,
  PUBLISHER = {de Gruyter},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Metzing89,
  EDITOR = {D. Metzing},
  TITLE = {GWAI-89: 13th German Workshop on Artificial Intelligence},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Meyer:89,
  EDITOR = {A. R. Meyer and M. A. Taitslin},
  TITLE = {Logic at Botik'89},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Meyer:91,
  EDITOR = {A. R. Meyer and J. V. Guttag and R. L. Rivest and P. Szolovits},
  TITLE = {Research Directions in Computer Science: An MIT Perspective},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Meyer:93,
  EDITOR = {J.-J. C. Meyer and R. J. Wieringa},
  TITLE = {Deontic Logic in Computer Science: Normative System Specification},
  YEAR = 1993,
  PUBLISHER = {Wiley},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Meyrowitz87,
  EDITOR = {N. Meyrowitz},
  TITLE = {Proc. of the OOPSLA-87: Conference on Object-Oriented Programming Systems, Languages and Applications, Orlando, FL},
  YEAR = 1987,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Meyrowitz89,
  EDITOR = {N. Meyrowitz},
  TITLE = {Proc. of the OOPSLA-89: Conference on Object-Oriented Programming: Systems, Languages, and Applications, New Orleans, LA},
  YEAR = 1989,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Meyrowitz90,
  EDITOR = {N. Meyrowitz},
  TITLE = {Proc. of the OOPSLA/ECOOP-90: Conference on Object-Oriented Programming: Systems, Languages, and Applications / European Conference on Object-Oriented Programming, Ottawa, Canada},
  YEAR = 1990,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Michalski:83,
  EDITOR = {R. S. Michalski and J. G. Carbonell and T. M. Mitchell},
  TITLE = {Machine Learning: An Artificial Intelligence Approach},
  YEAR = 1983,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Michalski:86,
  EDITOR = {R. S. Michalski and J. G. Carbonell and T. M. Mitchell},
  TITLE = {Machine Learning: An Artificial Intelligence Approach (Volume II)},
  YEAR = 1986,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Los Altos, CA},
  KEYWORDS = {}}

@book{Michie79,
  EDITOR = {D. Michie},
  TITLE = {Expert Systems in the Micro-Electronic Age},
  YEAR = 1979,
  PUBLISHER = {Edinburgh University Press},
  ADDRESS = {Edinburgh},
  KEYWORDS = {}}

@book{Michon:92,
  EDITOR = {J. A. Michon and A. Aky\"urek},
  TITLE = {SOAR: A Cognitive Architecture in Perspectives - A Tribute to Allen Newell},
  YEAR = 1992,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Miller93,
  EDITOR = {D. Miller},
  TITLE = {Logic Programming: Proc. of the 1993 International Symposium},
  YEAR = 1993,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Mineau:93,
  EDITOR = {G. W. Mineau and B. Moulin and J. F. Sowa},
  TITLE = {Conceptual Graphs for Knowledge Representation: Proc. of the First International Conference on Conceptual Sturctures ICCS'93},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Minker88,
  EDITOR = {J. Minker},
  TITLE = {Foundations of Deductive Databases and Logic Programming},
  YEAR = 1988,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Los Altos, CA},
  KEYWORDS = {}}

@book{Minsky68,
  EDITOR = {M. Minsky},
  TITLE = {Semantic Information Processing},
  YEAR = 1968,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Minton93,
  EDITOR = {S. Minton},
  TITLE = {Machine Learning Methods for Planning},
  YEAR = 1993,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Miola90,
  EDITOR = {A. Miola},
  TITLE = {Design and Implementation of Symbolic Computation Systems: Proc. of the International Symposium DISCO'90},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Mira:93,
  EDITOR = {J. Mira and J. Cabestany and A. Prieto},
  TITLE = {New Trends in Neural Computation: Proc. of the International Workshop on Artificial Neural Networks IWANN'93},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Moennich81,
  EDITOR = {U. M\"onnich},
  TITLE = {Aspects of Philosophical Logic: Some Logical Forays into Central Notions of Linguistics and Philosophy},
  YEAR = 1981,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Moldovan93,
  EDITOR = {D. I. Moldovan},
  TITLE = {Parallel Processing: From Applications to Systems},
  YEAR = 1993,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Monjau94,
  EDITOR = {D. Monjau},
  TITLE = {Tagungsband: Rechnergest\"utzter Entwurf und Architektur mikroelektronischer Systeme},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Montanari:95,
  EDITOR = {U. Montanari and F. Rossi},
  TITLE = {Principles and Practice of Constraint Programming - CP'95},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Moody:92,
  EDITOR = {J. E. Moody and S. J. Hanson and R. P. Lippmann},
  TITLE = {Advances in Neural Information Processing Systems 4},
  YEAR = 1992,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Moore:95,
  EDITOR = {W. Moore and W. Luk},
  TITLE = {Field-Programmable Logic and Applications},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Moran:95,
  EDITOR = {F. Moran and A. Moreno and J. J. Merelo and P. Chacon},
  TITLE = {Advances in Artificial Life (ECAL'95)},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Morgenbrod:84,
  EDITOR = {H. Morgenbrod and W. Sammer},
  TITLE = {Programmierumgebungen und Compiler},
  YEAR = 1984,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Morik87,
  EDITOR = {K. Morik},
  TITLE = {GWAI-87: 11th German Workshop on Artificial Intelligence},
  YEAR = 1987,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Morik89,
  EDITOR = {K. Morik},
  TITLE = {Knowledge Representation and Organization in Machine learning},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {know-acq}}

@book{Moschovakis92,
  EDITOR = {Y. N. Moschovakis},
  TITLE = {Logic from Computer Science: Proc. of a Workshop},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Moser:91,
  EDITOR = {U. Moser and I. von Zeppelin},
  TITLE = {Cognitive: Affective Processes - New Ways of Psychoanalytic Modeling},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Moses92,
  EDITOR = {Y. Moses},
  TITLE = {Theoretical Aspects of Reasoning about Knowledge: Proc. of the Fourth Conference (TARK 1992)},
  YEAR = 1992,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Francisco, CA},
  KEYWORDS = {}}

@book{Mosses:95,
  EDITOR = {P. D. Mosses and M. Nielsen and M. I. Schwartzbach},
  TITLE = {TAPSOFT'95: Theory and Practice of Software Development},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Moyse:92,
  EDITOR = {R. Moyse and M. T. Elsom-Cook},
  TITLE = {Knowledge Negotiation},
  YEAR = 1992,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Mueller-Schloer:91,
  EDITOR = {C. M\"uller-Schloer and E. Schmitter},
  TITLE = {RISC-Workstation-Architekturen: Prozessoren, Systeme und Produkte},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Muggleton92,
  EDITOR = {S. Muggleton},
  TITLE = {Inductive Logic Programming},
  YEAR = 1992,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Mullender89,
  EDITOR = {S. Mullender},
  TITLE = {Distributed Systems},
  YEAR = 1989,
  PUBLISHER = {ACM Press},
  ADDRESS = {Wokingham},
  KEYWORDS = {}}

@book{Mylopoulos:89,
  EDITOR = {J. Mylopoulos and M. L. Brodie},
  TITLE = {Artificial Intelligence \& Databases},
  YEAR = 1989,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Naftalin:94,
  EDITOR = {M. Naftalin and T. Denvir and M. Bertran},
  TITLE = {FME'94: Industrial Benefit of Formal Methods},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Nagao88,
  EDITOR = {M. Nagao},
  TITLE = {Knowledge and Inference},
  YEAR = 1988,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Naqvi:89,
  EDITOR = {S. Naqvi and S. Tsur},
  TITLE = {A Logical Language for Data and Knowledge Bases},
  YEAR = 1989,
  PUBLISHER = {Computer Science Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Natarajan91,
  EDITOR = {B. K. Natarajan},
  TITLE = {Machine Learning: A Theoretical Approach},
  YEAR = 1991,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Neal:91,
  EDITOR = {J. G. Neal and S. M. Walter},
  TITLE = {Natural Language Processing Systems Evaluation Workshop: Final Technical Report RL-TR-91-362},
  YEAR = 1991,
  PUBLISHER = {Rome Laboratory},
  ADDRESS = {Griffiss Air Force Base, NY},
  KEYWORDS = {n-l-p}}

@book{Nebel:92,
  EDITOR = {B. Nebel and C. Rich and W. Swartout},
  TITLE = {Principles of Knowledge Representation and Reasoning: Proc. of the Third International Conference (KR'92)},
  YEAR = 1992,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Nebel:94,
  EDITOR = {B. Nebel and L. Dreschler-Fischer},
  TITLE = {KI-94: Advances in Artificial Intelligence},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Nehmer82,
  EDITOR = {J. Nehmer},
  TITLE = {GI - 12. Jahrestagung},
  YEAR = 1982,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Nemhauser:89,
  EDITOR = {G. L. Nemhauser and A. H. G. {Rinnooy Kan} and M. J. Todd},
  TITLE = {Handbooks in Operations Research and Management Science: Volume 1: Optimization},
  YEAR = 1989,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Nerode:91,
  EDITOR = {A. Nerode and W. Marek and V. S. Subrahmanian},
  TITLE = {Logic Programming and Non-Monotonic Reasoning: Proc. of the First International Conference},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Nerode:92,
  EDITOR = {A. Nerode and M. Taitslin},
  TITLE = {Logic Foundations of Computer Science - TVER'92},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Nerode:94,
  EDITOR = {A. Nerode and Y. V. Matiyasevich},
  TITLE = {Logical Foundations of Computer Science},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Neumann83,
  EDITOR = {B. Neumann},
  TITLE = {GWAI-83: 7th German Workshop on Artificial Intelligence},
  YEAR = 1983,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Nielson:91,
  EDITOR = {G. M. Nielson and L. Rosenblum},
  TITLE = {Proc. Visualization'91, San Diego, CA},
  YEAR = 1991,
  PUBLISHER = {IEEE Computer Society Press},
  ADDRESS = {Los Alamitos, CA},
  KEYWORDS = {}}

@book{Niemann:88,
  EDITOR = {H. Niemann and M. Lang and G. Sagerer},
  TITLE = {Recent Advances in Speech Understanding and Dialog Systems},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Niemann:94,
  EDITOR = {H. Niemann and R. de Mori and G. Hanrieder},
  TITLE = {Progress and Prospects of Speech Research and Technology. Proc. of the CRIM/Forwiss Workshop},
  YEAR = 1994,
  PUBLISHER = {Infix},
  ADDRESS = {Sankt Augustin},
  KEYWORDS = {}}

@book{Nierstrasz93,
  EDITOR = {O. M. Nierstrasz},
  TITLE = {ECOOP'93: Object-Oriented Programming - Proc. of the 7th European Conference},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Nilsson90,
  EDITOR = {N.-J. Nilsson},
  TITLE = {The Mathematical Foundations of Learning Machines},
  YEAR = 1990,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Nilsson:90,
  EDITOR = {U. Nilsson and J. Matuszynski},
  TITLE = {Logic, Programming and Prolog},
  YEAR = 1990,
  PUBLISHER = {Wiley},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Nivat:92a,
  EDITOR = {M. Nivat and A. Podelski},
  TITLE = {Tree Automata and Languages},
  YEAR = 1992,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Nivat:92b,
  EDITOR = {M. Nivat and C. Rattray and T. Rus and G. Scollo},
  TITLE = {Algebraic Methodology and Software Technology (AMAST'91): Proc. of the Second International Conference},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Nivat:94,
  EDITOR = {M. Nivat and C. Rattray and T. Rus and G. Scollo},
  TITLE = {Algebraic Methodology and Software Technology: Proc. of the Third International Conference AMAST'93},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Nori:89,
  EDITOR = {K. V. Nori and C. E. {Veni Madhavan}},
  TITLE = {Foundations of Software Technology and Theoretical Computer Science: Proc. of the Ninth Conference},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Nori:90,
  EDITOR = {K. V. Nori and C. E. {Veni Madhavan}},
  TITLE = {Foundations of Software Technology and Theoretical Computer Science: Proc. of the Tenth Conference},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Norman:86,
  EDITOR = {D. A. Norman and S. W. Draper},
  TITLE = {User Centered System Design: New Perspectives on Human-Computer Interaction},
  YEAR = 1986,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {user-mod}}

@book{Norman:89,
  EDITOR = {J. Norman and R. Sylvan},
  TITLE = {Directions in Relevant Logic},
  YEAR = 1989,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Norrie:90,
  EDITOR = {D. H. Norrie and H.-W. Six},
  TITLE = {Computer Assisted Learning: 3rd International Conference, ICCAL '90, Hagen, FRG, June 1990},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {New York},
  KEYWORDS = {psych}}

@book{Nossum88,
  EDITOR = {R. T. Nossum},
  TITLE = {Advanced Topics in Artificial Intelligence: 2nd Advanced Course, ACAI-87},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Oehrle:88,
  EDITOR = {R. T. Oehrle and E. Bach and D. Wheeler},
  TITLE = {Categorial Grammars and Natural Structures},
  YEAR = 1988,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Ohlbach93,
  EDITOR = {H. J. Ohlbach},
  TITLE = {GWAI-92: Advances in Artificial Intelligence - Proc. of the 16th German Conference on Artificial Intelligence},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Olderog91,
  EDITOR = {E.-R. Olderog},
  TITLE = {Nets, Terms and Formulas},
  YEAR = 1991,
  PUBLISHER = {University Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {}}

@book{Olthoff95,
  EDITOR = {W. Olthoff},
  TITLE = {ECOOP'95 - Object-Oriented Programming},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Omidvar91,
  EDITOR = {O. Omidvar},
  TITLE = {Progress in Neural Networks (Volume 1)},
  YEAR = 1991,
  PUBLISHER = {Ablex},
  ADDRESS = {Norwood, NJ},
  KEYWORDS = {}}

@book{Orr68,
  EDITOR = {W. D. Orr},
  TITLE = {Conversational Computers},
  YEAR = 1968,
  PUBLISHER = {Wiley},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Ortony:92,
  EDITOR = {A. Ortony and J. Slack and O. Stock},
  TITLE = {Communication from an Artificial Intelligence Perspective: Theoretical and Applies Issues},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Osheron:90a,
  EDITOR = {D. N. Osheron and H. Lasnik},
  TITLE = {Language: An Invitation to Cognitive Science (Volume 1)},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Osheron:90b,
  EDITOR = {D. N. Osheron and S. M. Kosslyn and J. M. Hollerbach},
  TITLE = {Visual Cognition and Action: An Invitation to Cognitive Science (Volume 2)},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Osheron:90c,
  EDITOR = {D. N. Osheron and E. E. Smith},
  TITLE = {Thinking: An Invitation to Cognitive Science (Volume 3)},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Otsu:80,
  EDITOR = {Y. Otsu and A. Farmer},
  TITLE = {MIT Working Papers in Linguistics: Theoretical Issues in Japanese Linguistics (Volume 2)},
  YEAR = 1980,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Pacholski:94,
  EDITOR = {L. Pacholski and J. Tiuryn},
  TITLE = {Computer Science Logic},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Paepcke92,
  EDITOR = {A. Paepcke},
  TITLE = {Proc. of the OOPSLA-92: Conference on Object-Oriented Programming: Systems, Languages, and Applications, Vancouver, Canada},
  YEAR = 1992,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Palsberg:94,
  EDITOR = {J. Palsberg and M. I. Schwartzbach},
  TITLE = {Object-Oriented Type Systems},
  YEAR = 1994,
  PUBLISHER = {Wiley},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Papazoglou95,
  EDITOR = {M. P. Papazoglou},
  TITLE = {OOER'95: Object-Oriented and Entity-Relationship Modeling},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Papazoglou:92,
  EDITOR = {M. P. Papazoglou and J. Zeleznikow},
  TITLE = {The Next Generation of Information Systems: From Data to Knowledge (A Selection of Papers Presented at Two IJCAI-91 Workshops)},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Parikh90,
  EDITOR = {R. Parikh},
  TITLE = {Theoretical Aspects of Reasoning about Knowledge: Proc. of the Third Conference (TARK 1990)},
  YEAR = 1990,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {know-repr, user-mod, infer, th-prov}}

@book{Paris:91,
  EDITOR = {C. L. Paris and W. R. Swartout and W. C. Mann},
  TITLE = {Natural Language Generation in Artificial Intelligence and Computational Linguistics},
  YEAR = 1991,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {generation}}

@book{Partridge91,
  EDITOR = {D. Partridge},
  TITLE = {Artificial Intelligence \& Software Engineering},
  YEAR = 1991,
  PUBLISHER = {Ablex},
  ADDRESS = {Norwood, NJ},
  KEYWORDS = {}}

@book{Patel-Schneider90,
  EDITOR = {P. F. Patel-Schneider},
  TITLE = {CSCSI-90: Proc. of the Eighth Biennial Conference of the Canadian Society for Computational Studies of Intelligence},
  YEAR = 1990,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Palo Alto, CA},
  KEYWORDS = {}}

@book{Paterson90,
  EDITOR = {M. S. Paterson},
  TITLE = {Automata, Languages and Programming. Proc. of the 17th International Colloquium},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Paulson94,
  EDITOR = {L. C. Paulson},
  TITLE = {Isabelle: A Generic Theorem Prover},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Pearce:92a,
  EDITOR = {D. Pearce and G. Wagner},
  TITLE = {Logics in AI: Proc. of the European Workshop JELIA'92},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Pearce:92b,
  EDITOR = {D. Pearce and H. Wansing},
  TITLE = {Nonclassical Logics and Information Processing: Proc. of a International Workshop},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Pearson91,
  EDITOR = {D. Pearson},
  TITLE = {Image Processing},
  YEAR = 1991,
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Pereira:93,
  EDITOR = {L. M. Pereira and A. Nerode},
  TITLE = {Logic Programming and Non-Monotonic Reasoning: Proc. of the Second International Workshop},
  YEAR = 1993,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Pereira:94,
  EDITOR = {F. C. N. Pereira and B. J. Grosz},
  TITLE = {Natural Language Processing},
  YEAR = 1994,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Peschl90,
  EDITOR = {M. F. Peschl},
  TITLE = {Cognitive Modelling: Ein Beitrag zur Cognitive Science aus der Perspective des Konstruktivismus und des Konnektionismus},
  YEAR = 1990,
  PUBLISHER = {Deutscher Universit\"ats-Verlag},
  ADDRESS = {Wiesbaden},
  KEYWORDS = {}}

@book{Petrie92,
  EDITOR = {C. J. Petrie},
  TITLE = {Enterprise Integration Modeling: Proc. of the First International Conference},
  YEAR = 1992,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Pettorossi92,
  EDITOR = {A. Pettorossi },
  TITLE = {Meta-Programming in Logic: Proc. of the Third International Workshop META-92},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Pfeiffer:92,
  EDITOR = {H. D. Pfeiffer and T. E. Nagle},
  TITLE = {Conceptual Structures: Theory and Implementation},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Pfenning92,
  EDITOR = {F. Pfenning},
  TITLE = {Types in Logic Programming},
  YEAR = 1992,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {}}

@book{Pfenning94,
  EDITOR = {F. Pfennig},
  TITLE = {Logic Programming and Automated Reasoning(LPAR'94)},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Pichler:96,
  EDITOR = {F. Pichler and R. {Moreno Diaz} and R. Albrecht},
  TITLE = {Computer Aided Systems Theory - EUROCAST'95},
  YEAR = 1996,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Pingali:95,
  EDITOR = {K. Pingali and U. Banerjee and D. Gelernter and A. Nicolau and D. Padua},
  TITLE = {Languages and Compilers for Parallel Computing: Proc. of the 7th International Workshop},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Pinker85,
  EDITOR = {S. Pinker},
  TITLE = {Visual Cognition},
  YEAR = 1985,
  PUBLISHER = {MIT Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Pinker:88,
  EDITOR = {S. Pinker and J. Mehler},
  TITLE = {Connections and Symbols},
  YEAR = 1988,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Pinson:88,
  AUTHOR = {L. J. Pinson and R. S. Wiener},
  TITLE = {An Introduction to Object-Oriented Programming amd Smalltalk},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Pirotte:92,
  EDITOR = {A. Pirotte and C. Delobel and G. Gottlob},
  TITLE = {EDBT'92: Advances in Database Technology - Proc. of the 3rd International Conference on Extending Database Technology},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Pitt:95,
  EDITOR = {D. Pitt and D. E. Rydeheard and P. Johnstone},
  TITLE = {Category Theory and Computer Science: Proc. of the 6th International Conference CTCS'95},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Plander84,
  EDITOR = {I. Plander},
  TITLE = {Artificial Intelligence and Information-Control Systems of Robots},
  YEAR = 1984,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Pobil95,
  EDITOR = {A. P. del Pobil},
  TITLE = {Spatial Representation and Motion Planning},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Podelski95,
  EDITOR = {A. Podelski},
  TITLE = {Constraint Programming: Basics and Trends},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Polson:88,
  EDITOR = {M. C. Polson and J. J. Richardson},
  TITLE = {Foundations of Intelligent Tutoring Systems},
  YEAR = 1988,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {user-mod}}

@book{Polya54,
  EDITOR = {G. Polya},
  TITLE = {Induction and Analogy in Mathematics},
  YEAR = 1954,
  PUBLISHER = {Princeton University Press},
  ADDRESS = {Princeton, NJ},
  KEYWORDS = {}}

@book{Polya68,
  EDITOR = {G. Polya},
  TITLE = {Patterns of Plausible Inference},
  YEAR = 1968,
  PUBLISHER = {Princeton University Press},
  ADDRESS = {Princeton, NJ},
  KEYWORDS = {}}

@book{Ponse:95,
  EDITOR = {A. Ponse and C. Verhoef and S. F. M. van Vlijmen},
  TITLE = {Algebra of Communicating Processes: Proc. of the 1st Workshop on the Algebra of Communicating (ACP-94)},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Poser88,
  EDITOR = {W. J. Poser},
  TITLE = {Papers from the Second International Workshop on Japanese Syntax},
  YEAR = 1988,
  PUBLISHER = {CSLI},
  ADDRESS = {Stanford, CA},
  KEYWORDS = {}}

@book{Posner90,
  EDITOR = {M. I. Posner},
  TITLE = {Foundations of Cognitive Science (Second Edition)},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Post:92,
  EDITOR = {F. H. Post and A. J. S. Hin},
  TITLE = {Advances in Scientific Visualization},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Potthoff81,
  AUTHOR = {K. Potthoff},
  TITLE = {Eiinf\"uhrung in die Modelltheorie und ihre Anwendungen},
  YEAR = 1981,
  PUBLISHER = {Wissenschaftliche Buchgesellschaft},
  ADDRESS = {Darmstadt},
  KEYWORDS = {}}

@book{Power:88,
  EDITOR = {L. Power and Z. Weiss},
  TITLE = {Addendum to the Proceedings OOPSLA-87: Object-Oriented Programming Systems, Languages and Applications},
  YEAR = 1988,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Prieto91,
  EDITOR = {A. Prieto},
  TITLE = {Artificial Neural Networks: Proc. of the International Workshop IWANN-91},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Pustejovsky93,
  EDITOR = {J. Pustejovsky},
  TITLE = {Semantics and the Lexicon},
  YEAR = 1993,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Pustejovsky:92,
  EDITOR = {J. Pustejovsky and S. Bergler},
  TITLE = {Lexical Semantics and Knowledge Representation: Proc. of the First SIGLEX Workshop},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Radden:81,
  EDITOR = {G. Radden and R. Dirven},
  TITLE = {Kasusgrammatik und Fremdsprachendidaktik},
  YEAR = 1981,
  PUBLISHER = {Buske},
  ADDRESS = {Hamburg},
  KEYWORDS = {ling}}

@book{Radig91,
  EDITOR = {B. Radig},
  TITLE = {Mustererkennung 1991},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Rahmstorf88,
  EDITOR = {G. Rahmstorf},
  TITLE = {Wissensrepr\"asentation in Expertensystemen (Workshop 1987, Herrenberg )},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {know-repr, exp-sys}}

@book{Ralescu93,
  EDITOR = {A. L. Ralescu},
  TITLE = {Fuzzy Logic in Artificial Intelligence},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Ralescu94,
  EDITOR = {A. L. Ralescu},
  TITLE = {Fuzzy Logic in Artificial Intelligence},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Ramani:90,
  EDITOR = {S. Ramani and R. Chandrasekar and K. S. R. Anjaneyulu},
  TITLE = {Knowledge Based Computer Systems. International Conference KBCS'89, Bombay, India, December 1989},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Ramsey:91,
  EDITOR = {W. Ramsey and S. P. Stich and D. E. Rumelhart},
  TITLE = {Philosophy and Connectionist Theory},
  YEAR = 1991,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Ras89,
  AUTHOR = {Z. W. Ras},
  TITLE = {Methodologies for Intelligent Systems, 4: Proc. of the Fourth International Symposium on Methodologies for Intelligent Systems},
  YEAR = 1989,
  PUBLISHER = {North-Holland},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Ras:88,
  EDITOR = {Z. W. Ras and L. Saitta},
  TITLE = {Methodologies for Intelligent Systems, 3: Proc. of the Third International Symposium on Methodologies for Intelligent Systems},
  YEAR = 1988,
  PUBLISHER = {North-Holland},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Ras:90a,
  EDITOR = {Z. W. Ras and M. Zemankova and M. L. Emrich},
  TITLE = {Methodologies for Intelligent Systems, 5: Proc. of the Fifth International Symposium on Methodologies for Intelligent Systems},
  YEAR = 1990,
  PUBLISHER = {North-Holland},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Ras:90b,
  EDITOR = {Z. W. Ras and M. Zemankova},
  TITLE = {Intelligent Systems: State of the Art and Future Directions},
  YEAR = 1990,
  PUBLISHER = {Ellis Horwood},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Ras:91,
  EDITOR = {Z. W. Ras and M. Zemankova},
  TITLE = {Methodologies for Intelligent Systems: Proc. of the 6th International Symposium ISMIS'91},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Ras:94,
  EDITOR = {Z. W. Ras and M. Zemankova},
  TITLE = {Methodologies for Intelligent Systems},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Raynal:90,
  EDITOR = {M. Raynal and J.-M. Helary},
  TITLE = {Synchronization and Control of Distributed Systems and Programs},
  YEAR = 1990,
  PUBLISHER = {Wiley},
  ADDRESS = {Chichester},
  KEYWORDS = {}}

@book{Reed:82,
  EDITOR = {E. Reed and R. Jones},
  TITLE = {Reasons for Realism: Selected Essays of James J. Gibson},
  YEAR = 1982,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {psych}}

@book{Reinfrank:88,
  EDITOR = {M. Reinfrank and J. de Kleer and M. L. Ginsberg and E. Sandewall},
  TITLE = {Non-Monotonic Reasoning. 2nd International Workshop, Grassau, FRG},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {infer, th-prov}}

@book{Reinfrank:89,
  EDITOR = {M. Reinfrank and J. de Kleer and M. L. Ginsberg and E. Sandewall},
  TITLE = {Non-Monotonic Reasoning. 2nd International Workshop, Grassau, FRG},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {infer, th-prov}}

@book{Retti:89,
  EDITOR = {J. Retti and K. Leidlmair},
  TITLE = {5. \"Osterreichische Artificial-Intelligence-Tagung},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Reuland:93a,
  EDITOR = {E. Reuland and W. Abraham},
  TITLE = {Knowledge and Language (Vol. I): From Orwell's Problem to Plato's Problem},
  YEAR = 1993,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Reuland:93b,
  EDITOR = {E. Reuland and W. Abraham},
  TITLE = {Knowledge and Language (Vol. II): Lexical and Conceptual Structure},
  YEAR = 1993,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Revell:95,
  EDITOR = {N. Revell and A. M. Tjoa},
  TITLE = {Database and Expert Systems Applications},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Reyle:88,
  EDITOR = {U. Reyle and C. Rohrer},
  TITLE = {Natural Language Parsing and Linguistic Theories},
  YEAR = 1988,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Rich:90,
  EDITOR = {C. Rich and R. C. Waters},
  TITLE = {The Programmer's Apprentice},
  YEAR = 1990,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Richter:93,
  EDITOR = {M. M. Richter and S. Wess and K.-D. Althoff and F. Maurer},
  TITLE = {First European Workshop on Case-Based Reasoning (EWCBR-93): Posters and Presentations (Volume I)},
  YEAR = 1993,
  PUBLISHER = {DFKI},
  ADDRESS = {Kaiserslautern},
  KEYWORDS = {}}

@book{Richter:95,
  EDITOR = {M. Richter and F. Maurer},
  TITLE = {Expertensystems 95},
  YEAR = 1995,
  PUBLISHER = {Hundt Druck GmbH},
  ADDRESS = {K\"oln},
  KEYWORDS = {}}

@book{Rine77,
  EDITOR = {D. C. Rine},
  TITLE = {Computer Science and Multiple-Valued Logic},
  YEAR = 1977,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Ringland:88,
  EDITOR = {G. A. Ringland and D. A. Duce},
  TITLE = {Approaches to Knowledge Representation: An Introduction},
  YEAR = 1988,
  PUBLISHER = {Wiley},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Ristad93,
  EDITOR = {E. S. Ristad},
  TITLE = {The Language Complexity Game},
  YEAR = 1993,
  PUBLISHER = {MIT Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Rizk:90,
  EDITOR = {A. Rizk and N. Streitz and J. Andre},
  TITLE = {Hypertext: Concepts, Systems and Applications - Proc. of the First European Conference on Hypertext},
  YEAR = 1990,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {}}

@book{Robering92,
  EDITOR = {K. Robering},
  TITLE = {Wegweiser zur Bedeutung},
  YEAR = 1992,
  PUBLISHER = {Technische University Berlin},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Roberto93,
  EDITOR = {V. Roberto},
  TITLE = {Intelligent Perceptual Systems: New Directions in Computational Perception},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Robertson:91,
  EDITOR = {S. P. Robertson and G. M. Olson and J. S. Olson},
  TITLE = {CHI-91: ``Reaching through Technology''},
  YEAR = 1991,
  PUBLISHER = {ACM Press},
  ADDRESS = {New Orleans, LA},
  KEYWORDS = {}}

@book{Roca92,
  EDITOR = {I. M. Roca},
  TITLE = {Thematic Structure: Its Role in Grammar},
  YEAR = 1992,
  PUBLISHER = {Foris Publications},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Rogers87,
  AUTHOR = {H. Rogers},
  TITLE = {Theory of Recursive Functions and Effective Compatibility},
  YEAR = 1987,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Rollinger:80,
  EDITOR = {C.-R. Rollinger and H.-J. Schneider},
  TITLE = {Inferenzen in nat\"urlichsprachlichen Systemen der k\"unstlichen Intelligenz},
  YEAR = 1980,
  PUBLISHER = {Einhorn},
  ADDRESS = {Berlin},
  KEYWORDS = {}}

@book{Rollinger:86,
  EDITOR = {C. R. Rollinger and W. Horn},
  TITLE = {GWAI-86 und 2.\"Osterreichische Artificial-Intelligence-Tagung},
  YEAR = 1986,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Rosenbloom:93a,
  EDITOR = {P. S. Rosenbloom and J. E. Laird and A. Newell},
  TITLE = {The Soar Papers: Research on Integrated Intelligence (Volume 1)},
  YEAR = 1993,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Rosenbloom:93b,
  EDITOR = {P. S. Rosenbloom and J. E. Laird and A. Newell},
  TITLE = {The Soar Papers: Research on Integrated Intelligence (Volume 2)},
  YEAR = 1993,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Rosner:92,
  EDITOR = {M. Rosner and R. Johnson},
  TITLE = {Computational Linguistics and Formal Semantics},
  YEAR = 1992,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {}}

@book{Roukens:85,
  EDITOR = {J. Roukens and J. F. Renuart},
  TITLE = {ESPRIT'84: Status Report of Ongoing Work},
  YEAR = 1985,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Rovan90,
  EDITOR = {B. Rovan},
  TITLE = {Mathematical Foundations of Computer Science 1990 (MFCS'90): Proc.},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Rozenberg91,
  EDITOR = {G. Rozenberg},
  TITLE = {Advances in Petri Nets 1991},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Rumelhart:86,
  EDITOR = {D. E. Rumelhart and J. L. McClelland and others},
  TITLE = {Parallel Distributed Processing: Volume 1: Foundations},
  YEAR = 1986,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {connect, user-mod}}

@book{Rupp:94,
  EDITOR = {C. J. Rupp and M. A. Rosner and R. L. Johnson},
  TITLE = {Constraints, Language and Computation},
  YEAR = 1994,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Rusinowitch:93,
  EDITOR = {M. Rusinowitch and J. L. Remy},
  TITLE = {Conditional Term Rewriting Systems: Proc. of the Third International Workshop (CTRS-92)},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Salton71,
  EDITOR = {G. Salton},
  TITLE = {The Smart Retrieval System: Experiments in Automatic Document Processing},
  YEAR = 1971,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {}}

@book{Salton:83,
  EDITOR = {G. Salton and M. J. McGill},
  TITLE = {Information Retrieval-Grundlegendes f\"ur Informationswissenschaften},
  YEAR = 1983,
  PUBLISHER = {McGraw-Hill},
  ADDRESS = {Hamburg},
  KEYWORDS = {}}

@book{Sandewall:93,
  EDITOR = {E. Sandewall and C. G. Jansson},
  TITLE = {Scandinavian Conference on Artificial Intelligence: Proc. of the SCAI'93},
  YEAR = 1993,
  PUBLISHER = {IOS},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Saraswat:91,
  EDITOR = {V. Saraswat and K. Ueda},
  TITLE = {Logic Programming: Proc. of the 1991 International Symposium},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Saraswat:95,
  EDITOR = {V. Saraswat and P. {Van Hentenryck}},
  TITLE = {Priciples and Practice of Constraint Programming},
  YEAR = 1995,
  PUBLISHER = {MIT press},
  ADDRESS = {London,},
  KEYWORDS = {}}

@book{Sassoon93,
  EDITOR = {R. Sassoon},
  TITLE = {Computers and Typography},
  YEAR = 1993,
  PUBLISHER = {intellect},
  ADDRESS = {Oxford},
  KEYWORDS = {}}

@book{Savitch:87,
  EDITOR = {W. J. Savitch and E. Bach and W. Marsh and G. Safran-Naveh},
  TITLE = {The Formal Complexity of Natural Language},
  YEAR = 1987,
  PUBLISHER = {Reidel},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Savory85,
  EDITOR = {S. E. Savory},
  TITLE = {K\"unstliche Intelligenz und Expertensysteme},
  YEAR = 1985,
  PUBLISHER = {Oldenbourg},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Savory89,
  EDITOR = {S. Savory},
  TITLE = {Expertensysteme: Nutzen f\"ur Ihr Unternehmen},
  YEAR = 1989,
  PUBLISHER = {Oldenbourg},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Schade:70,
  EDITOR = {J. P. Schade and J. Smith},
  TITLE = {Computers and Brains},
  YEAR = 1970,
  PUBLISHER = {Elsevier},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Schaefer:95,
  EDITOR = {W. Sch\"afer and P. Botella},
  TITLE = {Software Engineering - ESEC'95},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Schank75,
  EDITOR = {R. C. Schank},
  TITLE = {Conceptual Information Processing},
  YEAR = 1975,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Schauer:82,
  EDITOR = {H. Schauer and M. J. Tauber},
  TITLE = {Informatik und Psychologie},
  YEAR = 1982,
  PUBLISHER = {Oldenbourg},
  ADDRESS = {Wien},
  KEYWORDS = {}}

@book{Schmalhofer:92,
  EDITOR = {F. Schmalhofer and G. Strube and T. Wetter},
  TITLE = {Contemporary Knowledge Engineering and Cognition: Proc. of the First Joint Workshop},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Schmidt83,
  EDITOR = {J. W. Schmidt},
  TITLE = {Sprachen f\"ur Datenbanken},
  YEAR = 1983,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Schmidt:77,
  EDITOR = {R. F. Schmidt and G. Thews},
  TITLE = {Physiologie des Menschen},
  YEAR = 1977,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {phys, connect}}

@book{Schmidt:89,
  EDITOR = {J. W. Schmidt and C. Thanos},
  TITLE = {Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence},
  YEAR = 1989,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Schmitt92,
  EDITOR = {P. H. Schmitt},
  TITLE = {Theorie der logischen Programmierung: Eine elementare Einf\"uhrung},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Schmitz:90,
  EDITOR = {U. Schmitz and R. Sch\"utz and A. Kunz},
  TITLE = {Linguistic Approaches to Artificial Intelligence},
  YEAR = 1990,
  PUBLISHER = {Lang},
  ADDRESS = {Frankfurt am Main},
  KEYWORDS = {}}

@book{Schmolze:82,
  EDITOR = {J. G. Schmolze and R. J. Brachman},
  TITLE = {Report No. 4842: Proc. of the 1981 KL-ONE Workshop},
  YEAR = 1982,
  PUBLISHER = {Bolt, Beranek and Newman},
  ADDRESS = {Boston, MA},
  KEYWORDS = {sb-one}}

@book{Schneider-Hufschmidt:93,
  EDITOR = {M. Schneider-Hufschmidt and T. K\"uhme and U. Malinowski},
  TITLE = {Adaptive User Interfaces: Principles and Practice},
  YEAR = 1993,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Schnelle:89,
  EDITOR = {H. Schnelle and N. O. Bernsen},
  TITLE = {Logic and Linguistics: Research Directions in Cognitive Science - European Perspectives Vol. 2},
  YEAR = 1989,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {n-l-p}}

@book{Schroeder-Heister91,
  EDITOR = {P. Schroeder-Heister},
  TITLE = {Extensions of Logic Programming: Proc. of the International Workshop},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Schubert:95,
  EDITOR = {E. T. Schubert and P. J. Windley and J. Alves-Foss},
  TITLE = {Higher Order Logic Theorem Proving and Its Applications},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Schulz90,
  EDITOR = {K. U. Schulz},
  TITLE = {Word Equations and Related Topics: Proc. of the 1st International Workshop IWWERT'90},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Schulz:84,
  EDITOR = {D. Schulz and H. Griesbach},
  TITLE = {Grammatik der deutschen Sprache},
  YEAR = 1984,
  PUBLISHER = {Hueber},
  ADDRESS = {M\"unchen},
  KEYWORDS = {ling}}

@book{Schwaertzel91,
  EDITOR = {H. Schw\"artzel},
  TITLE = {Angewandte Informatik und Software: Wissenschaft f\"ur die Praxis},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Schwaertzel:90,
  EDITOR = {H. Schw\"artzel and I. Mizin},
  TITLE = {Advanced Information Processing: Proc. of a Joint Symposium Information Processing and Software Systems Design Automation},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Schweizer85,
  EDITOR = {H. Schweizer},
  TITLE = {Sprache und Raum: Ein Arbeitsbuch f\"ur das Lehren von Forschung},
  YEAR = 1985,
  PUBLISHER = {Metzler},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Self88,
  EDITOR = {J. Self},
  TITLE = {Artificial Intelligence and Human Learning: Intelligent Computer-Aided Instruction},
  YEAR = 1988,
  PUBLISHER = {Chapman and Hall},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Sells:91,
  EDITOR = {P. Sells and S. M. Shieber and T. Wasow},
  TITLE = {Foundational Issues in Natural Language Processing},
  YEAR = 1991,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Sethi:91,
  EDITOR = {I. K. Sethi and A. K. Jain},
  TITLE = {Artificial Neural Networks and Statistical Pattern Recognition},
  YEAR = 1991,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Shachter:90,
  EDITOR = {R. D. Shachter and T. S. Levitt and L. N. Kanal and J. F. Lemmer},
  TITLE = {Uncertainty in Artificial Intelligence 4},
  YEAR = 1990,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {unc}}

@book{Shafer:90,
  EDITOR = {G. Shafer and J. Pearl},
  TITLE = {Readings in Uncertain Reasoning},
  YEAR = 1990,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Shapiro87a,
  EDITOR = {E. Shapiro},
  TITLE = {Concurrent Prolog: Collected Papers, Volume I},
  YEAR = 1987,
  PUBLISHER = {MIT Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Shapiro87b,
  EDITOR = {E. Shapiro},
  TITLE = {Concurrent Prolog: Collected Papers, Volume II},
  YEAR = 1987,
  PUBLISHER = {MIT Press},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Shapiro90a,
  EDITOR = {S. C. Shapiro},
  TITLE = {Encyclopedia of Artificial Intelligence (Volume 1)},
  YEAR = 1990,
  PUBLISHER = {Wiley},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Shapiro90b,
  EDITOR = {S. C. Shapiro},
  TITLE = {Encyclopedia of Artificial Intelligence (Volume 2)},
  YEAR = 1990,
  PUBLISHER = {Wiley},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Sharkey:92,
  EDITOR = {N. E. Sharkey and R. G. Reilly},
  TITLE = {Connectionist Approaches to Natural Language Processing},
  YEAR = 1992,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Sharples93,
  EDITOR = {M. Sharples},
  TITLE = {Computer Supported Collaborative Writing},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Shavlik:90,
  EDITOR = {J. W. Shavlik and T. G. Dietterich},
  TITLE = {Readings in Machine Larning},
  YEAR = 1990,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Shrobe:88,
  EDITOR = {H. E. Shrobe and American Association for Artificial Intelligence},
  TITLE = {Exploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence},
  YEAR = 1988,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Shyamasundar92,
  EDITOR = {R. Shyamasundar},
  TITLE = {Foundations of Software Technology and Theoretical Computer Science: Proc. of the 12 Conference},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Siekmann81,
  EDITOR = {J. H. Siekmann},
  TITLE = {GWAI-81: German Workshop on Artificial Intelligence, Bad Honnef, January 1981},
  YEAR = 1981,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Siekmann:83a,
  EDITOR = {J. Siekmann and G. Wrightson},
  TITLE = {Automation of Reasoning 1: Classical Papers on Computational Logic 1957-1966},
  YEAR = 1983,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Siekmann:83b,
  EDITOR = {J. Siekmann and G. Wrightson},
  TITLE = {Automation of Reasoning 2: Classical Papers on Computational Logic 1967-1970},
  YEAR = 1983,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Simon:72,
  EDITOR = {H. A. Simon and L. Siklossy},
  TITLE = {Representation and Meaning: Experiments with Information Processing Systems},
  YEAR = 1972,
  PUBLISHER = {Prentice-Hall},
  ADDRESS = {Englewood Cliffs, NJ},
  KEYWORDS = {}}

@book{Singh94,
  EDITOR = {M. P. Singh},
  TITLE = {Multiagent Systems, A Theoretical Framework for Intentions, Know-How, and Communications},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Singh:94,
  EDITOR = {G. Singh and S. K. Feiner and D. Thalmann},
  TITLE = {Virtual Reality Software and Technology: Proc. of the VRST'94 Conference},
  YEAR = 1994,
  PUBLISHER = {World Scientific},
  ADDRESS = {Singapore},
  KEYWORDS = {}}

@book{Skillicorn:95,
  EDITOR = {D. B. Skillicorn and D. Talia},
  TITLE = {Programming Languages for Parallel Processing},
  YEAR = 1995,
  PUBLISHER = {IEEE Computer Society Press},
  ADDRESS = {Los Alamitos,},
  KEYWORDS = {}}

@book{Sleep:93,
  EDITOR = {M. R. Sleep and M. J. Plasmeijer and M. C. J. van Eekelenh},
  TITLE = {Term Graph Rewriting: Theory and Practice},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Sloman:93,
  EDITOR = {A. Sloman and D. Hogg and G. Humphreys and A. Ramsay and D. Partridge},
  TITLE = {Prospects for Artificial Intelligence: Proc. of AISB-93},
  YEAR = 1993,
  PUBLISHER = {IOS},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Smets:88,
  EDITOR = {P. Smets and E. H. Mamdani and D. Dubois and H. Prade},
  TITLE = {Non-Standard Logics for Automated Reasoning},
  YEAR = 1988,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {infer}}

@book{Smith91,
  EDITOR = {J.-C. Smith},
  TITLE = {Historical Foundations of Cognitive Science},
  YEAR = 1991,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Snepscheut93,
  EDITOR = {J. L. A. van de Snepscheut},
  TITLE = {What Computing is all about},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Soloway:88,
  EDITOR = {E. Soloway and D. Frye and S. B. Sheppard},
  TITLE = {CHI-88: Human Factors in Computing Systems (Special Issue of the SIGCHI Bulletin)},
  YEAR = 1988,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Reading, MA},
  KEYWORDS = {}}

@book{Sowa91,
  EDITOR = {J. F. Sowa},
  TITLE = {Principles of Semantic Networks: Explorations in the Representation of Knowledge},
  YEAR = 1991,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Sparck-Jones:85,
  EDITOR = {K. {Sparck Jones} and Y. Wilks},
  TITLE = {Automatic Natural Language Parsing},
  YEAR = 1985,
  PUBLISHER = {Ellis Horwood},
  ADDRESS = {Chichester},
  KEYWORDS = {ling, n-l-p}}

@book{Spirakis95,
  EDITOR = {P. Spirakis},
  TITLE = {Algorithms - ESA'95},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Stalnaker84,
  EDITOR = {R. C. Stalnaker},
  TITLE = {Inquiry},
  YEAR = 1984,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Staples:95,
  EDITOR = {J. Staples and P. Eades and N. Katoh and A. Moffat},
  TITLE = {Algorithms and Computation (ISAAC'95)},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin,},
  KEYWORDS = {}}

@book{Steels:91,
  EDITOR = {L. Steels and B. Smith},
  TITLE = {Artificial Intelligence and Simulation of Behaviour (AISB91)},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Steels:94,
  EDITOR = {L. Steels and G. Schreiber and W. {Van de Velde}},
  TITLE = {A Future for Knowledge Acquisition (EKAW'94)},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Steffens95,
  EDITOR = {P. Steffens},
  TITLE = {Machine Translation and the Lexicon: Proc. of the 3rd International EAMT Workshop 1993},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Stegmueller78,
  EDITOR = {W. Stegm\"uller},
  TITLE = {Hauptstr\"omungen der Gegenwartsphilosophie, Band I},
  YEAR = 1978,
  PUBLISHER = {Kr\"oner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {phil}}

@book{Stegmueller79,
  EDITOR = {W. Stegm\"uller},
  TITLE = {Hauptstr\"omungen der Gegenwartsphilosophie, Band II},
  YEAR = 1979,
  PUBLISHER = {Kr\"oner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {phil}}

@book{Sterling90,
  EDITOR = {L. Sterling},
  TITLE = {The Practice of Prolog},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Stickel90,
  EDITOR = {M. E. Stickel},
  TITLE = {10th International Conference on Automated Deduction},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Stone-Palmer90,
  EDITOR = {M. {Stone Palmer}},
  TITLE = {Semantic Processing for Finite Domains},
  YEAR = 1990,
  PUBLISHER = {Cambridge University Press},
  ADDRESS = {Cambridge},
  KEYWORDS = {}}

@book{Stonebraker:92,
  EDITOR = {M. Stonebraker},
  TITLE = {Proc. of the 1992 ACM SIGMOD International Conference on Management of Data, San Diego, CA},
  YEAR = 1992,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Stoyan86,
  EDITOR = {H. Stoyan},
  TITLE = {GWAI-85, 9th German Workshop on Artificial Intelligence},
  YEAR = 1986,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Stoyan88,
  EDITOR = {H. Stoyan},
  TITLE = {Begr\"undungsverwaltung: Beitr\"age zu einem Workshop \"uber Reason Maintenance},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Stoyan:83,
  EDITOR = {H. Stoyan and H. Wedekind},
  TITLE = {Objektorientierte Software- und Hardwarearchitekturen},
  YEAR = 1983,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Struss91,
  EDITOR = {P. Stru\ss{}},
  TITLE = {Wissensrepr\"asentation},
  YEAR = 1991,
  PUBLISHER = {Oldenbourg},
  ADDRESS = {M\"unchen},
  KEYWORDS = {}}

@book{Strzalkowski94,
  EDITOR = {T. Strzalkowski},
  TITLE = {Reversible Grammar in Natural Language Processing},
  YEAR = 1994,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Studer90,
  EDITOR = {R. Studer},
  TITLE = {Natural Language and Logic: Proc. of the International Scientific Symposium, Hamburg, FRG},
  YEAR = 1990,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Studer92,
  EDITOR = {R. Studer},
  TITLE = {Informationssysteme und K\"unstliche Intelligenz: Modellierung - Proc. of the 2. Workshop},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Sullivan:91,
  EDITOR = {J. W. Sullivan and S. W. Tyler},
  TITLE = {Intelligent User Interfaces},
  YEAR = 1991,
  PUBLISHER = {ACM Press},
  ADDRESS = {New York, NY},
  KEYWORDS = {}}

@book{Sullivan:94,
  EDITOR = {J. D. Sullivan and S. Tufekci},
  TITLE = {The International Emergency Management and Engineering Conference: Bridging the Gap Between Theory and Practice - Research and Application},
  YEAR = 1994,
  PUBLISHER = {The International Emergency Management and Engineering
		  Society (TIEMES)},
  ADDRESS = {Dallas, TX},
  KEYWORDS = {}}

@book{Sullivan:95,
  EDITOR = {J. D. Sullivan and J. L. Wybo and L. Buisson},
  TITLE = {The International Emergency Management and Engineering Conference 1995 (TIEMEC 1995): Globalization of Emergency Management and Engineering-National and International Issues Concerning Research and Applications},
  YEAR = 1995,
  PUBLISHER = {The International Emergency Management and Engineering
		  Society (TIEMES)},
  ADDRESS = {Dallas, TX},
  KEYWORDS = {}}

@book{Sun:95,
  EDITOR = {R. Sun and L. A. Bookman},
  TITLE = {Computational Architectures Integrating Neural and Symbolic Processes: A Perspective on the State of the Art},
  YEAR = 1995,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Sycara91,
  EDITOR = {K. P. Sycara},
  TITLE = {Proc. of the Workshop on Innovative Approaches to Planning, Scheduling and Control},
  YEAR = 1991,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Tarlecki91,
  EDITOR = {A. Tarlecki},
  TITLE = {Mathematical Foundations of Computer Science 1991: Proc. of the 16th International Symposium},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Taylor:89a,
  EDITOR = {J. G. Taylor and C. L. T. Mannion},
  TITLE = {New Developments in Neural Computing: Proc. of a Meeting on Neural Computing},
  YEAR = 1989,
  PUBLISHER = {Hilger},
  ADDRESS = {Bristol},
  KEYWORDS = {}}

@book{Taylor:89b,
  EDITOR = {M. M. Taylor and F. Neel and D. G. Bouwhuis},
  TITLE = {The Structure of Multimodal Dialogue},
  YEAR = 1989,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Teorey94,
  EDITOR = {T. J. Teorey},
  TITLE = {Database Modeling \& Design: The Fundamental Principles},
  YEAR = 1994,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Francisco, CA},
  KEYWORDS = {}}

@book{Tepfenhart:94,
  EDITOR = {W. M. Tepfenhart and J. P. Dick and J. F. Sowa},
  TITLE = {Conceptual Structures: Current Practices},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Teubert79,
  EDITOR = {W. Teubert},
  TITLE = {Valenz des Substantivs},
  YEAR = 1979,
  PUBLISHER = {Schwann},
  ADDRESS = {D\"usseldorf},
  KEYWORDS = {ling, n-l-p}}

@book{Thalheim:91,
  EDITOR = {B. Thalheim and J. Demetrovics and H.-D. Gerhardt},
  TITLE = {MFDBS-91: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems},
  YEAR = 1991,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Thomason89,
  EDITOR = {R. H. Thomason},
  TITLE = {Philosophical Logic and Artificial Intelligence},
  YEAR = 1989,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Tick:94,
  EDITOR = {E. Tick and G. Succi},
  TITLE = {Implementations of Logic Programming Systems},
  YEAR = 1994,
  PUBLISHER = {Kluwer},
  ADDRESS = {Dordrecht},
  KEYWORDS = {}}

@book{Tokoro:92,
  EDITOR = {M. Tokoro and O. Nierstrasz and W. Wegner},
  TITLE = {Object-Based Concurrent Computing: Proc. of the ECOOP'91 Workshop},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Tomek92,
  EDITOR = {I. Tomek},
  TITLE = {Computer Assisted Learning: Proc. of the 4th International Conference (ICCAL'92)},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Tomita91a,
  EDITOR = {M. Tomita},
  TITLE = {Current Issues in Parsing Technologgy},
  YEAR = 1991,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Tomita91b,
  EDITOR = {M. Tomita},
  TITLE = {Generalized LR Parsing},
  YEAR = 1991,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Torasso93,
  EDITOR = {P. Torasso},
  TITLE = {Advances in Artificial Intelligence: Proc. of the Third Congress of the Italian Association for Artificial Intelligence AI*IA'93},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Torrance84,
  EDITOR = {S. B. Torrance},
  TITLE = {The Mind and the Machine: Philosophical Aspects of Artificial Intelligence},
  YEAR = 1984,
  PUBLISHER = {Ellis Horwood},
  ADDRESS = {Chichester},
  KEYWORDS = {}}

@book{Touretzky89,
  EDITOR = {D. S. Touretzky},
  TITLE = {Advances in Neural Information Processing Systems 1},
  YEAR = 1989,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Touretzky90,
  EDITOR = {D. S. Touretzky},
  TITLE = {Advances in Neural Information Processing Systems 2},
  YEAR = 1990,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Touretzky:91,
  EDITOR = {D. S. Touretzky and J. L. Elman and T. J. Sejnowski and G. E. Hinton},
  TITLE = {Connectionist Models: Proc. of the 1990 SUmmer School},
  YEAR = 1991,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Toussaint95,
  EDITOR = {M. Toussaint},
  TITLE = {Ada in Europe},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Trappl85,
  EDITOR = {R. Trappl},
  TITLE = {Impacts of Artificial Intelligence},
  YEAR = 1985,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Trost88,
  EDITOR = {H. Trost},
  TITLE = {4. \"Osterreichische Artificial-Intelligence-Tagung: Wiener Workshop - Wissensbasierte Sprachverarbeitung},
  YEAR = 1988,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Trost:85,
  EDITOR = {H. Trost and J. Retti},
  TITLE = {\"Osterreichische Artificial Intelligence-Tagung},
  YEAR = 1985,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Tsichritzis85,
  EDITOR = {D. Tsichritzis},
  TITLE = {Office Automation},
  YEAR = 1985,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Ullman89,
  AUTHOR = {J. D. Ullman},
  TITLE = {Principles of Database and Knowledge-Base Systems, Volume 1: The New Technologies},
  YEAR = 1989,
  PUBLISHER = {Computer Science Press},
  ADDRESS = {New York},
  KEYWORDS = {}}

@book{Van-Hentenryck:94,
  EDITOR = {P. {Van Hentenryck}},
  TITLE = {Proc. of the Eleventh International Conference on Logic Programming},
  YEAR = 1994,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Van-de-Velde:96,
  EDITOR = {W. {Van de Velde} and J. W. Perram},
  TITLE = {Agents Breaking Away: Proc. of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'96},
  YEAR = 1996,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Vardi88,
  EDITOR = {M. Y. Vardi},
  TITLE = {Proc. of the Second Conference on Theoretical Aspects of Reasoning about Knowledge},
  YEAR = 1988,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Los Altos, CA},
  KEYWORDS = {infer, know-repr, user-mod, plans}}

@book{Veer:88,
  EDITOR = {G. C. van der Veer and T. R. G. Green and J.-M. Hoc and D. M. Murray},
  TITLE = {Working with Computers: Theory versus Outcome},
  YEAR = 1988,
  PUBLISHER = {Academic Press},
  ADDRESS = {London},
  KEYWORDS = {psych}}

@book{Veloso:95,
  EDITOR = {M. Veloso and A. Aamodt},
  TITLE = {Case-Based Reasoning Research and Development},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Velthuijsen92,
  EDITOR = {H. Velthuijsen},
  TITLE = {The Nature and Applicability of the Blackboard Architecture},
  YEAR = 1992,
  PUBLISHER = {PTT-Research},
  ADDRESS = {Maastricht},
  KEYWORDS = {}}

@book{Vitanyi95,
  EDITOR = {P. Vitanyi},
  TITLE = {Computational Learning Theory},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Voronkov92a,
  EDITOR = {A. Voronkov},
  TITLE = {Logic Programming and Automated Reasoning: Proc. of the International Conference LPAR'92},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Voronkov92b,
  EDITOR = {A. Voronkov},
  TITLE = {Logic Programming: Proc. of the First and Second Russian Conference on Logic Programming},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Voronkov93,
  EDITOR = {A. Voronkov},
  TITLE = {Logic Programming and Automated Reasoning: Proc. of the 4th International Conference LPAR'93},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Vossen87,
  EDITOR = {G. Vossen},
  TITLE = {Datenmodelle, Datenbanksprachen und Datenbankmanagement-Systeme},
  YEAR = 1987,
  PUBLISHER = {Addison-Wesley},
  ADDRESS = {Bonn},
  KEYWORDS = {}}

@book{Wahlster82,
  EDITOR = {W. Wahlster},
  TITLE = {GWAI-82: 6th German Workshop on Artificial Intelligence, Bad Honnef},
  YEAR = 1982,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Waibel:90,
  EDITOR = {A. Waibel and K.-F. Lee},
  TITLE = {Readings in Speech Recognition},
  YEAR = 1990,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Warren:85,
  EDITOR = {W. H. Warren and R. E. Shaw},
  TITLE = {Persistence and Change: Proc. of the 1th International Conference on Event Perception},
  YEAR = 1985,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Warren:90,
  EDITOR = {D. H. D. Warren and P. Szeredi},
  TITLE = {Logic Programming: Proc. of the Seventh International Conference},
  YEAR = 1990,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, MA},
  KEYWORDS = {}}

@book{Webber:81,
  EDITOR = {B. L. Webber and N. J. Nilsson},
  TITLE = {Readings in Artificial Intelligence},
  YEAR = 1981,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {Los Altos, CA},
  KEYWORDS = {}}

@book{Weiss:91,
  EDITOR = {S. M. Weiss and C. A. Kulikowski},
  TITLE = {Computer Systems that Learn: Classification and Prediction Methods from Statistics, Neural Nets, Machine Learning, and Expert Systems},
  YEAR = 1991,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo,CA},
  KEYWORDS = {}}

@book{Weld:90,
  EDITOR = {D. S. Weld and J. de Kleer},
  TITLE = {Qualitative Reasoning about Physical Systems},
  YEAR = 1990,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Werner:92,
  EDITOR = {E. Werner and Y. Demazeau},
  TITLE = {Decentralized A.I. 3: Proc. of the Third European Workshop on Modelling Autonomous Agents in a Multi-Agent World},
  YEAR = 1992,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Wess:93,
  EDITOR = {S. Wess and K.-D. Althoff and M. M. Richter},
  TITLE = {Topics in Case-Based Reasoning},
  YEAR = 1993,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Wetter:92,
  EDITOR = {T. Wetter and K.-D. Althoff and J. Boose and B. R. Gaines and M. Linster and F. Schmalhofer},
  TITLE = {Current Developments in Knowledge Acquisition: Proc. of the 6th European Acquisition Workshop EKAW'92},
  YEAR = 1992,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Wiedermann:95,
  EDITOR = {J. Wiedermann and P. Hajek},
  TITLE = {Mathematical Foundations of Computer Science 1995},
  YEAR = 1995,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Wilks89,
  EDITOR = {Y. Wilks},
  TITLE = {Theoretical Issues in Natural Language Processing},
  YEAR = 1989,
  PUBLISHER = {Erlbaum},
  ADDRESS = {Hillsdale, NJ},
  KEYWORDS = {}}

@book{Wilss:87,
  EDITOR = {W. Wilss and K.-D. Schmitz},
  TITLE = {Maschinelle \"Ubersetzung: Methoden und Werkzeuge},
  YEAR = 1987,
  PUBLISHER = {Niemeyer},
  ADDRESS = {T\"ubingen},
  KEYWORDS = {n-l-p, ling}}

@book{Winkler88,
  EDITOR = {J. F. H. Winkler},
  TITLE = {Proc. of the International Workshop on Software Version and Configuration Control},
  YEAR = 1988,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Winston:84,
  EDITOR = {P. H. Winston and K. H. Prendergast},
  TITLE = {The AI Business},
  YEAR = 1984,
  PUBLISHER = {MIT Press},
  ADDRESS = {Cambridge, Ma},
  KEYWORDS = {}}

@book{Winter86,
  EDITOR = {H. Winter},
  TITLE = {Artificial Intelligence and Man-Machine Systems},
  YEAR = 1986,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Wippermann86,
  EDITOR = {H.-W. Wippermann},
  TITLE = {Software-Architecture und modulare Programmierung},
  YEAR = 1986,
  PUBLISHER = {Teubner},
  ADDRESS = {Stuttgart},
  KEYWORDS = {}}

@book{Wooldridge:94,
  EDITOR = {M. J. Wooldridge and N. R. Jennings},
  TITLE = {Intelligent Agents (ECAI-94)},
  YEAR = 1994,
  PUBLISHER = {Springer},
  ADDRESS = {Berlin, Heidelberg},
  KEYWORDS = {}}

@book{Yager:92,
  EDITOR = {R. R. Yager and L. A. Zadeh},
  TITLE = {An Introduction to Fuzzy Logic Applications in Intelligent Systems},
  YEAR = 1992,
  PUBLISHER = {Kluwer},
  ADDRESS = {Boston},
  KEYWORDS = {}}

@book{Yesha92,
  EDITOR = {Y. Yesha},
  TITLE = {Proc. of the ISMM International Conference on Information and Knowledge Management CIKM-92},
  YEAR = 1992,
  PUBLISHER = {ISMM},
  ADDRESS = {Baltimore, MD},
  KEYWORDS = {}}

@book{Zampolli77,
  EDITOR = {A. Zampolli},
  TITLE = {Linguistic Structures Processing},
  YEAR = 1977,
  PUBLISHER = {North-Holland},
  ADDRESS = {Amsterdam},
  KEYWORDS = {}}

@book{Zdonik:90,
  EDITOR = {S. B. Zdonik and D. Maier},
  TITLE = {Readings in Object-Oriented Database Systems},
  YEAR = 1990,
  PUBLISHER = {Morgan Kaufmann},
  ADDRESS = {San Mateo, CA},
  KEYWORDS = {}}

@book{Zelinsky-Wibbelt93,
  AUTHOR = {C. Zelinsky-Wibbelt},
  TITLE = {The Semantics of Prepositions---From Mental Processing to
           Natural Language Processing},
  YEAR = 1993,
  PUBLISHER = {Mouton de Gruyter},
  ADDRESS = {Berlin},
  ABSTRACT = {}}

@book{Zimmermann:92,
  EDITOR = {H. H. Zimmermann and H.-D. Luckhardt and A. Schulz},
  TITLE = {Mensch und Maschine: Informationelle Schnittstellen der Kommunikation},
  YEAR = 1992,
  PUBLISHER = {Universit\"atsverlag},
  ADDRESS = {Konstanz},
  KEYWORDS = {}}

@book{Zock:88a,
  EDITOR = {M. Zock and G. Sabah},
  TITLE = {Advances in Natural Language Generation: An Interdisciplinary Perspective (Volume 1)},
  YEAR = 1988,
  PUBLISHER = {Pinter},
  ADDRESS = {London},
  KEYWORDS = {}}

@book{Zock:88b,
  EDITOR = {M. Zock and G. Sabah},
  TITLE = {Advances in Natural Language Generation: An Interdisciplinary Perspective (Volume 2)},
  YEAR = 1988,
  PUBLISHER = {Pinter},
  ADDRESS = {London},
  KEYWORDS = {}}