% bibliography of the Tutorial ``Representation of Spatial Knowledge''
% at IJCAI-95, Montreal. The majority of these entries were created by
% Daniel Hernandez; they were merged with some entries from the
% bibliography maintained by Amit Mukerjee.
%
% Mukerjee, Amitabha; and Hernandez, Daniel; 1995
%    Representation of Spatial Knowledge
%    Tutorial Notes from IJCAI-95, Montreal, August 20, 1995. Also
%	available  as http://www.cs.albany.edu/~amit/tutijcai.html
%

%******** Preamble *********
@PREAMBLE{"\newcommand{\nos}[1]{}"}

%******** Home base *********
@STRING{tum = {Institut f\"ur Informatik, Technische Universit\"at M\"unchen}}
@STRING{tumfopra = {Fortgeschrittenenpraktikum, } # tum}
@STRING{tumda = {Diplomarbeit, } # tum}
@STRING{fki = {Forschungsberichte K\"unstliche Intelligenz}}

%******** JOURNALS *********
@STRING{ai	= "Artificial Intelligence"}
@STRING{aim	= "AI Magazine"}
@STRING{cacm  	= "Communications of the ACM"}
@STRING{cs	= "Cognitive Science"}
@STRING{jacm	= "Journal of the Association for Computing Machinery"}

%******** PUBLISHER *********
@STRING{add		= "Addison-Wesley"}
@STRING{addort		= "Reading, MA"}
@STRING{ap		= "Academic Press"}
@STRING{aport		= "New York"}
@STRING{cup		= "Cambridge University Press"}
@STRING{cuport		= "Cambridge, MA"}
@STRING{csli		= "Center for the Study of Language and Information"}
@STRING{csliort		= "Stanford University"}
@STRING{kauf		= "Morgan Kaufmann"}
@STRING{kaufort		= "San Mateo, CA"}
@STRING{kluwer		= "Kluwer"}
@STRING{kluwerort	= "Dordrecht"}
@STRING{le		= "Lawrence Erlbaum"}
@STRING{leort		= "Hillsdale, NJ"}
@STRING{mit		= "The MIT Press"}
@STRING{mitort		= "Cambridge, MA"}
@STRING{nh		= "North-Holland"}
@STRING{nhort		= "Amsterdam"}
@STRING{reidel		= "Reidel"}
@STRING{reidelort	= "Dordrecht"}
@STRING{springer	= "Springer"}
@STRING{springerort	= "Berlin"}

% ACTUAL ENTRIES:

@Book{Abelson/Sussman:1985,
  author =	 {Harold Abelson and Gerald Jay Sussman},
  title =	 {Structure and Interpretation of Computer Programs},
  publisher =	 mit,
  year =	 {1985},
  address =	 mitort,
}

@InProceedings{Abdelmoty/Williams:1994,
  author =	 {Alia I. Abdelmoty and Howard Williams},
  title =	 {Approaches to the Representation of Qualitative
  		 Spatial Relationships for Geographic Databases},
  booktitle =	 {Advanced Geographic Data Modelling---International
  		 GIS Workshop}, 
  site =	 {Delft, The Netherlands},
  publisher =	 {Netherlands Geodetic Commission},
  year =	 {1994},
  note =	 {{to appear}},
}

@InProceedings{Abella/Kender:1993,
  author =	 {Alicia Abella and John R. Kender},
  title =	 {Qualitatively Describing Objects Using Spatial
		  Prepositions},
  pages =	 {536--540},
  crossref =	 {aaai:1993},
}

@InProceedings{Adorni/DiManzo:1983,
  author =	 {G. Adorni and Di Manzo, M.},
  title =	 {Top Down Approaches to Scene Interpretation},
  booktitle =	 {Proceedings CIL 83},
  site =	 {Barcelona, Spain},
  year =	 {1983},
  month =	 jun,
}

@InProceedings{Adorni_et_al:1983,
  author =	 {Adorni, G. and Di Manzo, M. and Giunchiglia, F.},
  title =	 {Some basic mechanisms for common sense reasoning
		 about stories environments},
  pages =	 {72--74},
  crossref =	 {ijcai:1983},
  topics =	 {K"unstliche Intelligenz / Wissensrepr"asentation},
}

@InProceedings{Adorni_et_al:1984,
  author =	 {Adorni, G. and Di Manzo, M. and Giunchiglia, F.},
  title =	 {From Descriptions to Images: What Reasoning in
		 between?},
  booktitle =	 {Proceedings ECAI-84},
  site =	 {Pisa, Italy},
  year =	 {1984},
  editor =	 {T. O'Shea},
  pages =	 {359--368},
}

@InCollection{Aiello/Nardi:1991,
  author =	 {Aiello, Luigia Carlucci and Nardi, Daniele},
  title =	 {Research Trends in Knowledge Representation},
  booktitle =	 {Future Directions in Artificial Intelligence},
  pages =	 {83--92},
  editor =	 {Peter A. Flach and Robert A. Meersman},
  publisher =	 nh,
  address =	 nhort,
  year =	 {1991},
}

@InProceedings{Allen/Hayes:1985,
  author =	 {Allen, J. F. and Hayes, P. J.},
  title =	 {A Common-Sense Theory of Time},
  pages =	 {528--531},
  crossref =	 {ijcai:1985},
}

@Article{Allen:1983,
  author =	 {James F. Allen},
  title =	 {Maintaining Knowledge about Temporal Intervals},
  journal =	 cacm,
  volume =	 {26},
  number =	 {11},
  year =	 {1983},
  month =	 nov,
  pages =	 {832--843},
}

@InProceedings{Alterman:1986,
  author =	 {Richard Alterman},
  title =	 {An Adaptive Planner},
  crossref =	 {aaai:1986},
}

@InCollection{Amarel:1987,
  author =	 {Saul Amarel},
  title =	 {Problem Solving},
  crossref =	 {Shapiro:1987},
  pages =	 {767--779},
}

@Article{Ambler/Popplestone:1975,
  author =	 {A. P. Ambler and R. J. Popplestone},
  title =	 {Inferring the positions of bodies from specified
  		  spatial relations},
  journal =	 ai,
  volume =	 {6},
  pages =	 {129--156},
  year =	 {1975},
}

@Article{Ananthanarayanan_et_al:1994,
  author =	 {Ananthanarayanan, S. P. and Goldenberg, A. A. and
		  Mylopoulos, J.},
  title =	 {A qualitative theoretical framework for
		  `common-sense' based multiple contact robotics
		  manipulation},
  journal =	 {Robotica},
  volume =	 {12},
  pages =	 {175--186},
  year =	 {1994},
}

@InCollection{Andre_et_al:1987,
  author =	 {E. Andr{\'{e}} and G. Bosch and G. Herzog and T. Rist},
  title =	 {Coping with the intrinsic and deictic uses of spatial
		 prepositions},
  editor =	 {P. Jorrand and V. Sgurev},
  booktitle =	 {Artificial Intelligence II. Methodology, Systems,
		 Applications},
  year =	 {1987},
  publisher =	 nh,
  address =	 nhort,
  pages =	 {375--382},
}

@InProceedings{Andre_et_al:1988,
  author =	 {E. Andr{\'{e}} and G. Herzog and T. Rist},
  title =	 {On the simultaneous interpretation of real world
		 image sequences and their natural language description:
		 the system {SOCCER}},
  editor =	 {Y. Kodratoff},
  booktitle =	 {Proc. of the 8th ECAI},
  year =	 {1988},
  publisher =	 {Pitman},
  address =	 {London},
  pages =	 {449--454},
}

@Article{Andress/Kak:1988,
  author =	 {K. M. Andress and A. C. Kak},
  title =	 {Evidence Accumulation and Flow of Control in a
		 Hierarchical Spatial Reasoning System},
  journal =	 aim,
  year =	 {1988},
  volume =	 {9},
  number =	 {2},
  pages =	 {75--94},
  month =	 {Summer},
}

@Article{Arkin:1990,
  author =	 {Ronald C. Arkin},
  title =	 {Integrating Behavioral, Perceptual, and World
		 Knowledge in Reactive Navigation},
  journal =	 {Robotics and Autonomous Systems},
  year =	 {1990},
  volume =	 {6},
  number =	 {1},
  pages =	 {105--122},
  publisher =	 nh,
  address =	 nhort,
}

@InProceedings{Asher_et_al:1993,
  author =	 {Nicholas Asher and Michel Aurnague and Myriam Bras
		 and Laure Vieu},
  title =	 {Space, time and discourse},
  crossref =	 {Anger_et_al:1993},
  pages =	 {219--235},
}

@InProceedings{Aurnague/Vieu:1993,
  author =	 {Michel Aurnague and Laure Vieu},
  title =	 {Toward a formal representation of space in
		 language: A commonsense reasoning approach},
  crossref =	 {Anger_et_al:1993},
  pages =	 {123--158},
}

@InCollection{Baeckstroem:1990,
  author =	 {Christer B{\"a}ckstr{\"o}m},
  title =	 {Logical Modeling of Simplified Geometrical Objects
		  and Mechanical Assembly Processes},
  crossref =	 {Chen:1990},
  pages =	 {35--61},
}

@Article{Baird:1979,
  author =	 {J. Baird},
  title =	 {Studies of the Cognitive Representation of Spatial
		  Relations: I. Overview},
  journal =	 {Journal of Experimental Psychology: General},
  year =	 {1979},
  volume =	 {108},
  number =	 {1},
  pages =	 {90--91},
}

@Article{Baird_et_al:1979,
  author =	 {J. Baird and A. Merrill and J. Tannenbaum},
  title =	 {Cognitive Representation of Spatial Relations: A
		  Familiar Environment},
  journal =	 {Journal of Experimental Psychology: General},
  year =	 {1979},
  volume =	 {108},
  number =	 {1},
  pages =	 {92--98},
}

@Book{Ballard/Brown:1982,
  author =	 {Dana H. Ballard and Christopher M. Brown},
  title =	 {Computer Vision},
  publisher =	 {Prentice-Hall},
  year =	 {1982},
  address =	 {Englewood Cliffs, NJ},
}

@Article{Barrow/Popplestone:1971,
  author =	 {H. G. Barrow and R. J. Popplestone},
  title =	 {Relational descriptions in picture processing},
  journal =	 {Machine Intelligence},
  year =	 {1971},
  volume =	 {6},
  pages =	 {377--396},
}

@Misc{Bauer:1994,
  author =	 {Stefan Bauer},
  title =	 {{Zellzerlegung zweidimensionaler R"aume zur
		  qualitativen Beschreibung des Freiraumes}},
  howpublished = tumfopra,
  month =	 dec,
  year =	 {1994},
  language =	 {german},
}

@InProceedings{Becker:1969,
  author =	 {Joseph D. Becker},
  title =	 {The Modelling of Simple Analogic and Inductive
		 Processes in a Semantic Memory System},
  crossref =	 {ijcai:1969},
  bibs =	 {analogic.bib},
}

@Article{Beckstein_et_al:1988,
  author =	 {Clemens Beckstein and G{\"u}nther G{\"o}rz and Daniel
		 Hern{\'a}ndez and Michael Tielemann},
  title =	 {An Integration of Object-Oriented Knowledge
		 Representation and Rule-Oriented Programming as a Basis
		 for Design and Diagnosis of Technical Systems},
  journal =	 {Annals of Operations Research},
  volume =	 {16},
  pages =	 {13--32},
  year =	 {1988},
  keywords =	 {Passauer Tagung},
  bibs =	 {veroeff1.bib},
}

@Book{Bennett:1975,
  author =	 {D. C. Bennett},
  title =	 {Spatial and Temporal Uses of English Prepositions. An
		 Essay in Stratificational Semantics},
  publisher =	 {Longman},
  year =	 {1975},
  address =	 {London},
}

@Misc{Bergler:1990,
  author =	 {Roland Bergler},
  title =	 {{Allens Zeitlogik: Eine Scheme Implementation}},
  howpublished = tumfopra,
  month =	 jul,
  year =	 {1990},
  language =	 {german},
}

@InProceedings{Beringer_et_al:1993,
  author =	 {Antje Beringer and Steffen H{\"o}lldobler and Franz
		  Kurfe{\ss{}}},
  title =	 {Spatial Reasoning and Connectionist Inference},
  pages =	 {1352--1357},
  crossref =	 {ijcai:1993},
}

@InCollection{Bestougeff/Ligozat:1992,
  author =	 {H. Bestougeff and G{\'e}rard F. Ligozat},
  title =	 {Logical Tools for Temporal Knowledge
		  Representation},
  editor =	 {J. Campbell},
  booktitle =	 {Ellis Horwood in Artificial Intelligence},
  publisher =	 {Ellis Horwood},
  address =	 {New York},
  year =	 {1992},
}

@InCollection{Bialystok/Olson:1987,
  author =	 {E. Bialystok and D. R. Olson},
  title =	 {Spatial categories: The perception and
		 conceptualization of spatial relations},
  editor =	 {S. Harnad},
  booktitle =	 {Categorial Perception: The Groundwork of Cognition},
  year =	 {1987},
  publisher =	 cup,
  address =	 cuport,
}

@InCollection{Bierwisch:1988,
  author =	 {M. Bierwisch},
  title =	 {On the grammar of local prepositions},
  editor =	 {Bierwisch and Motsch and Zimmermann},
  booktitle =	 {Syntax, Semantik und Lexikon},
  year =	 {1988},
  series =	 {Studia Grammatica},
  number =	 {29},
  publisher =	 {Akademie-Verlag},
  address =	 {Berlin},
  pages =	 {1--65},
}

@InProceedings{Binford:1971,
  author =	 {Binford, T. O.},
  title =	 {Visual Perception by computer},
  booktitle =	 {Proceedings IEEE Conf. Syst. Contr.},
  site =	 {Miami, Fl},
  year =	 {1971},
}

@InCollection{Blades:1991a,
  author =	 {Mark Blades},
  title =	 {The Development of Wayfinding Abilities},
  crossref =	 {Mark/Frank:1991},
  pages =	 {137--165},
}

@InCollection{Blades:1991b,
  author =	 {Mark Blades},
  title =	 {The Development of the Abilities Required to
		 Understand Spatial Representations},
  crossref =	 {Mark/Frank:1991},
  pages =	 {81--115},
}

@InCollection{Blamont/Ganascia:1991,
  author =	 {Denis Blamont and Jean Gabriel Ganascia},
  title =	 {Machine Learning and Knowledge Acquisition Applied to
		 Cartography},
  crossref =	 {Mark/Frank:1991},
}

@TechReport{Blocher_et_al:1992,
  author =	 {Blocher, A. and Eva Stopp and T. Weis},
  title =	 {{ANTLIMA-1: Ein System zur Generierung von
		  Bildvorstellungen ausgehend von Propositionen}},
  institution =	 {Universit"at des Saarlandes},
  type =	 {SFB 314 (VITRA), Memo},
  number =	 {50},
  year =	 {1992},
  month =	 mar,
  address =	 {Saarbr"ucken, Germany},
  language =	 {german},
}

@InCollection{Bobrow:1975,
  author =	 {Daniel G. Bobrow},
  title =	 {Dimensions of Representation},
  booktitle =	 {Representation and Understanding},
  chapter =	 {1},
  pages =	 {1--34},
  editor =	 {Daniel G. Bobrow and Allan Collins},
  publisher =	 ap,
  address =	 aport,
  year =	 {1975},
  bibs =	 {gwaikrs.bib ss89.bib},
}

@Article{Bock:1982,
  author =	 {J. Kathryn Bock},
  title =	 {Toward a Cognitive Psychology of Syntax: Information
		 Processing Contributions to Sentence Formulation},
  journal =	 {Psychological Review},
  volume =	 {89},
  pages =	 {1--47},
  year =	 {1982},
  bibs =	 {connproj.bib},
}

@TechReport{Borning:1979,
  title =	 {Thinglab: A Constraint-Oriented Simulation
		 Laboratory},
  author =	 {Alan Borning},
  institution =	 {Computer Science Dept.},
  year =	 {1979},
  type =	 {Report},
  number =	 {CS-79-746},
  address =	 {Stanford University, CA},
  rnotes =	 {could be useful for visualization part of archdesign
		 fopra},
  keywords =	 {constraint satisfaction, object-oriented languages,
		 part-whole hierarchies, interactive computer graphics,
		 Sketchpad, Smalltalk},
}

@Article{Brachman/Smith:1980,
  author =	 {R. J. Brachman and B. C. Smith},
  title =	 {Special Issue on Knowledge Representation},
  journal =	 {Sigart newsletter},
  pages =	 {41--137},
  year =	 {1980},
  volume =	 {70},
  month =	 feb,
  bibs =	 {ss89.bib},
}

@InCollection{Brachman:1979,
  author =	 {Ronald J. Brachman},
  title =	 {On the Epistemological Status of Semantic Nets},
  booktitle =	 {Associative Networks: Representation of Knowledge and
		 Use of Knowledge by Examples},
  year =	 {1979},
  publisher =	 ap,
  editor =	 {N. V. Findler},
  address =	 aport,
  bibs =	 {ss89.bib},
}

@InProceedings{Brachman:1990,
  author =	 {Ronald J. Brachman},
  title =	 {The Future of Knowledge Representation},
  pages =	 {1082--1092},
  crossref =	 {aaai:1990},
}

@InProceedings{Braeunling:1990,
  author =	 {Petra Br{\"a}unling},
  title =	 {{Zur kontextabh"angigen Objektbenennung --- Ist ein
		 gro"ses gelbes Haus immer gro"s und gelb?}},
  crossref =	 {Hoeppner:1990},
  pages =	 {1--6},
}

@techreport{Braeunling_et_al:1990,
  title =	 {{The SpaceGarden Bibliography}},
  editor =	 {Petra Br\"{a}unling and Christian Freksa and Kai
		  Zimmermann},
  institution =	 tum,
  year =	 {1990},
  type =	 fki,
  number =	 {FKI-138-90}
}

@Book{Braitenberg:1986,
  author =	 {Valentin Braitenberg},
  title =	 {{K"unstliche Wesen: Verhalten kybernetischer
		 Vehikel}},
  publisher =	 {Vieweg},
  address =	 {Braunschweig},
  year =	 {1986},
  bibs =	 {ss89.bib},
  language =	 {german},
}

@InCollection{Briggs:1973,
  author =	 {Ronald Briggs},
  title =	 {Urban Cognitive Distance},
  crossref =	 {Downs/Stea:1973},
  pages =	 {361--388},
}

@TechReport{Brooks:1986,
  author =	 {Rodney A. Brooks},
  title =	 {Achieving {A}rtificial {I}ntelligence through building
		 robots},
  institution =	 {MIT},
  year =	 {1986},
  type =	 {AI Memo},
  number =	 {899},
  address =	 {Cambridge, MA},
  month =	 may,
}

@InProceedings{Brooks:1991,
  author =	 {Rodney A. Brooks},
  title =	 {Intelligence without reason},
  pages =	 {569--595},
  crossref =	 {ijcai:1991},
}

@Book{Brown:1988,
  author =	 {Marc H. Brown},
  title =	 {Algorithm Animation},
  publisher =	 mit,
  address =	 mitort,
  year =	 {1988},
}

@Book{Burger/Bhanu:1992,
  author =	 {Wilhelm Burger and Bir Bhanu},
  title =	 {Qualitative Motion Planning},
  publisher =	 kluwer,
  address =	 kluwerort,
  year =	 {1992},
}

@Article{Canter/Tagg:1975,
  author =       {D. Canter and S. K. Tagg},
  title	=        {Distance estimation in cities},
  journal =      {Environment and Behavior},
  year =         {1975},
  volume =       {7},
  pages =        {59--80},
}

@InProceedings{Carney/Brown:1989,
  author =	 {Carney, Stephen P. and Brown, David C.},
  title =	 {A Qualitative Model for Reasoning about Shape and
		 Fit},
  booktitle =	 {Artificial Intelligence in Design},
  year =	 {1989},
  editor =	 {Gero, J. S.},
  pages =	 {251--273},
  publisher =	 springer,
  address =	 springerort,
  month =	 jul,
}

@Book{Casati/Varzi:1994,
  author =	 {Roberto Casati and Achille C. Varzi},
  title =	 {Holes and other Superficialities},
  publisher =	 mit,
  address =	 mitort,
  year =	 {1994},
}

@InCollection{Catedra:1991,
  author =	 {Mar{\'\i}a C{\'a}tedra},
  title =	 {``{T}hrough the Door'': A View of Space from an
		 Anthropological Perspective},
  crossref =	 {Mark/Frank:1991},
  pages =	 {53--63},
}

@InProceedings{Chandrasekaran/Narayanan:1990,
  author =	 {Chandrasekaran, B. and Narayanan, N. H.},
  title =	 {Towards a Theory of Commonsense Visual Reasoning},
  booktitle =	 {Foundations of Software Technology and Theoretical
		 Computer Science, Tenth Conference},
  site =	 {Bengalore, India},
  year =	 {1990},
  editor =	 {Nori, K. V. and Madhavan, C. E. V.},
  pages =	 {388--409},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 springer,
  address =	 springerort,
}

@Misc{Chandrasekaran/Narayanan:1992,
  author =	 {Chandrasekaran, B. and Narayanan, N. H.},
  title =	 {Reasoning with Diagrammatic Representations},
  year =	 {1992},
  howpublished = {Proceedings of the 1992 AAAI Spring Symposium, March
		 25-27th, 1992, Stanford University},
}

@InCollection{Chang/Jungert:1990,
  author =	 {Shi-Kuo Chang and Erland Jungert},
  title =	 {A Spatial Knowledge Structure for Visual
		  Information Systems},
  editor =	 {T. Ichikawa and E. Jungert and R. Korfhage},
  booktitle =	 {Visual Languages and Applications},
  publisher =	 {Plenum Press},
  address =	 {New York},
  year =	 {1990},
  pages =	 {277--304},
}

@Article{Chang/Jungert:1991,
  author =	 {Shi-Kuo Chang and Erland Jungert},
  title =	 {Pictorial Data Management Based Upon the Theory of
		  Symbolic Projections},
  journal =	 {Journal of Visual Languages and Computing},
  volume =	 {2},
  number =	 {3},
  pages =	 {195--215},
  month =	 sep,
  year =	 {1991},
}

@InProceedings{Chang/Li:1988,
  author =	 {Shi-Kuo Chang and Y. Li},
  title =	 {Representation of Multi-Resolution Symbolic and Binary
		 Pictures Using {2DH}-Strings},
  booktitle =	 {Proceedings of the IEEE Workshop on Language for
		 Automation},
  year =	 {1988},
  pages =	 {190--195},
}

@Misc{Chang:1990,
  author =	 {Shi-Kuo Chang},
  title =	 {Pictorial Data Management based upon the Theory of
		 Symbolic Projections},
  howpublished = {Presented at the NATO ASI ``Cognitive and Linguistic
		 Aspects of Geographic Space'', Las Navas del Marqu\'es,
		 Spain},
  month =	 jul,
  year =	 {1990},
}

@Article{Chang_et_al:1987,
  author =	 {Shi-Kuo Chang and Q.-Y. Shi and C.-W. Yan},
  title =	 {Iconic Indexing by {2D}-Strings},
  journal =	 {IEEE Transactions on Pattern Analysis and Machine
		 Intelligence},
  year =	 {1987},
  volume =	 {9},
  number =	 {3},
  pages =	 {413--427},
}

@Book{Charniak_et_al:1980,
  author =	 {Charniak, E. and Riesbeck, C. K. and McDermott, D.
		 V.},
  title =	 {Artificial Intelligence Programming},
  publisher =	 le,
  address =	 leort,
  year =	 {1980},
}

@InCollection{Chase/Chi:1981,
  author =       {W. G. Chase and M. T. H. Chi},
  title =        {Cognitive Skill: Implications for Spatial Skill in
                 Large-Scale Environments},
  booktitle =    {Cognition, Social Behavior, and the Environment},
  editor =       {J. H. Harvey},
  pages =        {111--136},
  address =      {Hillsdale, NJ},
  publisher =    {Lawrence Erlbaum Associates},
  year =         {1981},
}

@InProceedings{Chatila:1982,
  author =	 {Chatila, R.},
  title =	 {Path planning and environment learning in a mobile
		 robot system},
  booktitle =	 {Proceedings ECAI-82},
  site =	 {Paris},
  year =	 {1982},
}

@Article{Chen:1982,
  author =	 {Lin Chen},
  title =	 {Topological Structure in Visual Perception},
  journal =	 {Science},
  year =	 {1982},
  volume =	 {218},
  number =	 {699},
}

@InCollection{Chen:1989,
  author =	 {Lin Chen},
  title =	 {Topological Perception: A Challenge to Computational
		 Approaches to Vision},
  booktitle =	 {Connectionism in Perspective},
  publisher =	 nh,
  address =	 nhort,
  year =	 {1989},
  editor =	 {R. Pfeifer and others},
  pages =	 {317--329},
}

@Article{Clark/Chase:1972,
  author =	 {H. H. Clark and W. G. Chase},
  title =	 {On the Process of Comparing Sentences against
		 Pictures},
  journal =	 {Cognitive Psychology},
  year =	 {1972},
  volume =	 {3},
  pages =	 {472--517},
}

@Article{Clarke:1981,
  author =	 {Bowan Clarke},
  title =	 {A calculus of individuals based on ``connection''},
  journal =	 {Notre Dame Journal of Formal Logic},
  volume =	 {22},
  number =	 {3},
  pages =	 {204--218},
  year =	 {1981},
}

@Article{Clarke:1985,
  author =	 {Bowan Clarke},
  title =	 {Individuals and points},
  journal =	 {Notre Dame Journal of Formal Logic},
  volume =	 {26},
  number =	 {1},
  pages =	 {61--75},
  year =	 {1985},
}

@Article{Clement:1988,
  author =	 {John Clement},
  title =	 {Observed Methods for Generating Analogies in
		 Scientific Problem Solving},
  journal =	 cs,
  year =	 {1988},
  volume =	 {12},
  pages =	 {563--586},
  bibs =	 {gwaikrs.bib},
}

@InProceedings{Clementini_et_al:1993,
  author =	 {Eliseo Clementini and Di Felice, Paolino and Peter
		 van Oosterom},
  title =	 {A Small Set of Formal Topological Relationships
		 Suitable for End-User Interaction},
  crossref =	 {Abel/Ooi:1993},
  pages =	 {277--295},
}

@Article{Clementini_et_al:1994,
  author =	 {Eliseo Clementini and Jayant Sharma and Max J. Egenhofer},
  title =	 {Modeling topological spatial relations: Strategies
		  for query processing},
  journal =	 {Computers and Graphics},
  year =	 {1994},
  volume =	 {18},
  number =	 {6},
  pages =	 {815--822},
}

@Misc{Clementini_et_al:1995,
  author =	 {Eliseo Clementini and Di Felice, Paolino and Daniel
		 Hern{\'a}ndez},
  title =	 {Qualitative Representation of Positional Information},
  howpublished = {In preparation},
  year =	 {1995},
}

@Article{Clementini/DiFelice:1995,
  author =	 {Eliseo Clementini and Di Felice, Paolino},
  title =	 {A Comparison of Methods for Representing
  		 Topological Relationships},
  journal =	 {Information Sciences},
  year =	 {1995},
  volume =	 {3},
  pages =	 {149--178},
}

@Book{Cohen:1983,
  author =	 {R. Cohen},
  title =	 {The Development of Spatial Cognition},
  publisher =	 le,
  address =	 leort,
  year =	 {1983},
}

@InProceedings{Cohn:1993,
  author =	 {A. G. Cohn},
  title =	 {Modal and non-modal qualitative spatial logics},
  crossref =	 {Anger_et_al:1993},
  pages =	 {95--100},
}

@InProceedings{Cohn_et_al:1992,
  author =	 {A. G. Cohn and Z. Cui and D. A. Randell},
  title =	 {Logical and Computational Aspects of Spatial Reasoning},
  editor =	 {Simone Pribbenow and Christoph Schlieder},
  booktitle =	 {Spatial Concepts: Connecting Cognitive Theories with
		  Formal Representations},
  year =	 {1992},
  organization = {ECAI-92 Workshop},
  month =	 aug,
  note =	 {Reprinted as: Bericht Graduiertenkolleg
		  Kognitionswissenschaft, Universit\"at Hamburg, 1993},
}

@InProceedings{Cohn_et_al:1993,
  author =	 {A. G. Cohn and D. A. Randell and Z. Cui and B. Bennett},
  title =	 {Qualitative Spatial Reasoning and Representation},
  pages =	 {513--522},
  crossref =	 {Piera/Singh:1993},
}

@Article{Cresswell:1978,
  author =	 {M. J. Cresswell},
  title =	 {Prepositions and points of view},
  journal =	 {Linguistics and Philosophy},
  year =	 {1978},
  volume =	 {2},
  number =	 {1},
  pages =	 {1--41},
}

@InCollection{Crowley:1987,
  author =	 {J. L. Crowley},
  title =	 {Path Planning and Obstacle Avoidance},
  crossref =	 {Shapiro:1987},
  pages =	 {708--715},
}

@InProceedings{Cui_et_al:1992,
  author =	 {Z. Cui and A. G. Cohn and D. A. Randell},
  title =	 {Qualitative Simulation Based on a Logical Formalism
		  of Space and Time},
  pages =	 {679--684},
  crossref =	 {aaai:1992},
}

@InProceedings{Cui_et_al:1993,
  author =	 {Z. Cui and A. G. Cohn and D. A. Randell},
  title =	 {Qualitative and Topological Relationships in Spatial
		  Databases},
  crossref =	 {Abel/Ooi:1993},
  pages =	 {293--315},
}

@InProceedings{Davis:1983,
  author =	 {Ernest Davis},
  title =	 {The {MERCATOR} Representation of Spatial Knowledge},
  crossref =	 {ijcai:1983},
  pages =	 {295--301},
}

@Book{Davis:1986,
  author =	 {Ernest Davis},
  title =	 {Representing and Acquiring Geographic Knowledge},
  publisher =	 kauf,
  year =	 {1986},
  address =	 kaufort,
}

@InProceedings{Davis:1987,
  author =	 {Ernest Davis},
  title =	 {A Framework for Qualitative Reasoning About Solid
		 Objects},
  editor =	 {G. Rodriguez},
  booktitle =	 {Proceedings of the Workshop on Space Telerobotics},
  pages =	 {369--375},
  organization = {NASA and JPL},
  year =	 {1987},
  note =	 {Reprinted in \cite{Weld/deKleer:1990}},
  bibs =	 {qualphys.bib},
}

@InProceedings{Davis:1989,
  author =	 {Ernest Davis},
  title =	 {Solutions to a Paradox of Perceptual Acuity},
  booktitle =	 {Proceedings of the First Conference on Theoretical
		 Aspects of Knowledge Representation},
  site =	 {Toronto},
  month =	 oct,
  year =	 {1989},
}

@Book{Davis:1990,
  author =	 {Ernest Davis},
  title =	 {Representations of commonsense knowledge},
  publisher =	 kauf,
  year =	 {1990},
  address =	 kaufort,
}

@Article{Davis_et_al:1993,
  author =	 {Randall Davis and Howard Shrobe and Peter Szolovits},
  title =	 {What is a Knowledge Representation},
  journal =	 aim,
  year =	 {1993},
  volume =	 {14},
  number =	 {1},
  pages =	 {17--33},
}

@Article{Dean/Boddy:1988,
  author =	 {Thomas Dean and Mark Boddy},
  title =	 {Reasoning about Partially Ordered Events},
  journal =	 ai,
  volume =	 {36},
  pages =	 {375--387},
  year =	 {1988},
  note =	 {Reprinted in \cite{Weld/deKleer:1990}},
  bibs =	 {qualphys.bib},
}

@InProceedings{Dechter/Dechter:1987,
  author =	 {Dechter, A. and Dechter, R.},
  title =	 {Removing Redundancies in Constraint Networks},
  pages =	 {105--109},
  crossref =	 {aaai:1987},
  source =	 {Meseguer:1989},
}

@InProceedings{Dechter/Pearl:1985,
  author =	 {Dechter, R. and Pearl, J.},
  title =	 {The Anatomy of Easy Problems: A Constraint
		 Satisfaction Formulation},
  pages =	 {1066--1072},
  crossref =	 {ijcai:1985},
  source =	 {Meseguer:1989},
}

@Article{Dechter/Pearl:1988,
  author =	 {Dechter, R. and Pearl, J.},
  title =	 {Network-Based Heuristics for Constraint-Satisfaction
		 Problems},
  journal =	 ai,
  year =	 {1988},
  volume =	 {34},
  number =	 {1},
  pages =	 {1--38},
  source =	 {Meseguer:1989},
}

@InProceedings{Dechter:1986,
  author =	 {Dechter, R.},
  title =	 {Learning while Searching in Constraint Satisfaction
		 Problems},
  pages =	 {178--183},
  crossref =	 {aaai:1986},
}

@Article{Dechter:1990,
  author =	 {Dechter, R.},
  title =	 {Enhancement Schemes for Constraint Processing:
		 Backjumping, Learning, and Cutset Decomposition},
  journal =	 ai,
  year =	 {1990},
  volume =	 {41},
  number =	 {3},
  pages =	 {273--312},
  source =	 {Kumar:1992},
}

@InProceedings{DiManzo_et_al:1985,
  author =	 {Di Manzo, Mauro and Fausto Giunchiglia and Ernesto
		 Pino},
  title =	 {Space Representation and Object Positioning in Natural
		 Language Driven Image Generation},
  booktitle =	 {Artificial Intelligence Methodology, Systems,
		 Applications},
  site =	 {Varna, Bulgaria},
  year =	 {1985},
  editor =	 {Bibel, W. and Petkoff, B.},
  pages =	 {207--214},
  publisher =	 nh,
  address =	 nhort,
  month =	 sep,
}

@TechReport{Dickinson:1991,
  title =	 {The Recovery and Recognition of Three-dimensional
		 Objects Using Part-based Aspect Matching},
  author =	 {Sven Josef Dickinson},
  institution =	 {Center for Automation Research, University of
		 Maryland},
  year =	 {1991},
  number =	 {CAR-TR-572},
  address =	 {College Park, MD},
  month =	 aug,
}

@TechReport{Dorigo/Schaetz:1990,
  title =	 {Mapping a Generator for Neural Network Simulators to a
		 Transputer System},
  author =	 {Marco Dorigo and Bernhard Sch{\"a}tz},
  institution =	 tum,
  year =	 {1990},
  type =	 fki,
  number =	 {FKI-137-90},
}

@InCollection{Downs/Stea:1973a,
  author =	 {R. M. Downs and D. Stea},
  title =	 {Cognitive Maps and Spatial Behavior: Process and Products},
  crossref =	 {Downs/Stea:1973},
  pages =	 {8--26},
}

@Article{Doyle:1979,
  author =	 {J. Doyle},
  title =	 {A Truth Maintenance System},
  journal =	 ai,
  volume =	 {12},
  pages =	 {231--272},
  year =	 {1979},
}

@InCollection{Dretske:1990,
  author =	 {Fred Dretske},
  title =	 {Seeing, Believing, and Knowing},
  crossref =	 {Osherson_et_al:1990},
  chapter =	 {5},
  pages =	 {129--148},
}

@Book{Edelsbrunner:1987,
  author =	 {H. Edelsbrunner},
  title =	 {Algorithms in Combinatorial Geometry},
  publisher =	 springer,
  address =	 springerort,
  year =	 {1987},
}

@Misc{Eder/Schneider:1991,
  author =	 {Andrea Eder and Kathrin Schneider},
  title =	 {{Anwendung des qualitativen Repr"asentationsansatzes
		 im Bereich des architektonischen Entwurfs}},
  howpublished = tumfopra,
  month =	 aug,
  year =	 {1991},
  language =	 {german},
}

@InCollection{Edwards:1991,
  author =	 {Geoffrey Edwards},
  title =	 {Propositional and Spatial Knowledge for Image
		 Understanding},
  crossref =	 {Mark/Frank:1991},
  pages =	 {295--307},
}

@InProceedings{Egenhofer/Al-Taha:1992,
  author =	 {Max J. Egenhofer and Khaled K. Al-Taha},
  title =	 {Reasoning about Gradual Changes of Topological
		 Relationships},
  pages =	 {196--219},
  crossref =	 {Frank_et_al:1992},
}

@Article{Egenhofer/Franzosa:1991,
  author =	 {Max J. Egenhofer and Robert Franzosa},
  title =	 {Point-Set Topological Spatial Relations},
  journal =	 {International Journal of Geographical Information
		 Systems},
  year =	 {1991},
  volume =	 {5},
  number =	 {2},
  pages =	 {161--174},
}

@InProceedings{Egenhofer/Herring:1990a,
  author =	 {Max J. Egenhofer and John Herring},
  title =	 {A Mathematical Framework for the Definition of
		  Topological Relationships},
  booktitle =	 {Fourth International Symposium on Spatial Data
		 Handling},
  site =	 {Zurich, Switzerland},
  year =	 {1990},
  pages =	 {803--813},
}

@Incollection{Egenhofer/Herring:1990b,
  author =	 {Max J. Egenhofer and John Herring},
  title =	 {High-Level Spatial Data Structures in {GIS}},
  crossref =	 {Maguire_et_al:1991},
  pages =	 {227--237},
}

@TechReport{Egenhofer/Herring:1991,
  author =	 {Max J. Egenhofer and John Herring},
  title =	 {Categorizing binary topological relationships
  		 between regions, lines, and points in geographic
		 databases}, 
  institution =	 {University of Maine, Department of Surveying
  		 Engineering}, 
  year =	 {1991},
}

@InProceedings{Egenhofer/Sharma:1992,
  author =	 {Max J. Egenhofer and Jayant Sharma},
  title =	 {Topological Consistency},
  crossref =	 {Cowen:1992},
  pages =	 {335--343},
}

@Article{Egenhofer/Sharma:1993,
  author =	 {Max J. Egenhofer and Jayant Sharma},
  title =	 {Assessing the Consistency of Complete and
		 Incomplete Topological Information},
  journal =	 {Geographical Systems},
  year =	 {1993},
  volume =	 {1},
  pages =	 {47--68},
}

@InProceedings{Egenhofer:1989,
  author =	 {Max J. Egenhofer},
  title =	 {A Formal Definition of Binary Topological
		 Relationships},
  booktitle =	 {Third International Conference on Foundations of Data
		 Organization and Algorithms},
  year =	 {1989},
  editor =	 {W. Litwin and H.-J. Schek},
  pages =	 {457--472},
  volume =	 {367},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 springer,
  address =	 springerort,
  month =	 jun,
}

@InCollection{Egenhofer:1991a,
  author =	 {Max J. Egenhofer},
  title =	 {Deficiencies of {SQL} as a {GIS} Query Language},
  crossref =	 {Mark/Frank:1991},
  pages =	 {477--491},
}

@InProceedings{Egenhofer:1991b,
  author =	 {Max J. Egenhofer},
  title =	 {Reasoning about Binary Topological Relations},
  editor =	 {O. Gunther and H.-J. Schek},
  booktitle =	 {Advances in Spatial Databases, Second Symposium on
		  Large Spatial Databases}, 
  series =	 {Lecture Notes in Computer Science},
  volume =	 {525},
  key =		 {LNCS},
  year =	 {1991},
  publisher =	 springer,
  address =	 springerort,
  pages =	 {143--160},
}

unpublished{Egenhofer:1991b,
    AUTHOR = {Max J. Egenhofer},
    TITLE = {Reasoning about Binary Topological Relations},
    NOTE = {send to me by Andrew Frank, find out how published!},
    year = {1991}}

@Article{Egenhofer:1994,
  author =       {Max J. Egenhofer},
  title =        {Deriving the composition of binary topological relations},
  journal =      {Journal of Visual Languages and Computing},
  year =         {1994},
  volume =       {5},
  number =       {1},
  pages =        {133--149},
}

@TechReport{Eldracher_et_al:1992a,
  author =	 {Martin Eldracher and Daniel Hern{\'a}ndez and Margit
		 Kinder},
  title =	 {Concept of an Integrated Trajectory Generation
		 System},
  institution =	 tum,
  year =	 {1992},
  type =	 fki,
  number =	 {FKI-171-92},
  month =	 nov,
}

@InProceedings{Eldracher_et_al:1992b,
  author =	 {M. Eldracher and D. Hern{\'a}ndez and M. Kinder},
  title =	 {Neural Modeling of the Kinematics of Robot
		 Trajectories},
  booktitle =	 {Proceedings of BMFT Status-Seminar
		 Neuro-Informatics},
  site =	 {Maurach},
  month =	 oct,
  year =	 {1992},
}

@InCollection{Evans:1968,
  author =	 {T. G. Evans},
  title =	 {A heuristic program to solve geometric analogy
		 problems},
  crossref =	 {Minsky:1968},
}

@Article{Faltings:1990,
  author =	 {Boi Faltings},
  title =	 {Qualitative Kinematics in Mechanisms},
  journal =	 ai,
  year =	 {1990},
  volume =	 {44},
  number =	 {1},
  pages =	 {89--119},
}

@Misc{Feiner:1994,
  author =	 {Thomas Feiner},
  title =	 {{Datenabh"angigkeiten bei der qualitativen
		  Raumrepr"asentation}},
  howpublished = tumda,
  month =	 may,
  year =	 {1994},
  language =	 {german},
}

@Article{Feldman:1985,
  author =	 {J. A. Feldman},
  title =	 {Four frames suffice: A provisional model of vision
		 and space},
  journal =	 {Behavioral and Brain Sciences},
  year =	 {1985},
  volume =	 {8},
  pages =	 {265--289},
}

@TechReport{Feldman:1988,
  author =	 {J. A. Feldman},
  title =	 {Time, Space and Form in Vision},
  institution =	 {University of Rochester},
  number =	 {TR 244},
  address =	 {Computer Science Department},
  year =	 {1988},
}

@InCollection{Forbus:1983,
  author =	 {Kenneth D. Forbus},
  title =	 {Qualitative reasoning about space and motion},
  editor =	 {Dedre Gentner and Albert L. Stevens},
  booktitle =	 {Mental Models},
  publisher =	 le,
  address =	 leort,
  year =	 {1983},
  pages =	 {53--73},
}

@Article{Forbus:1984,
  author =	 {Kenneth D. Forbus},
  title =	 {Qualitative Process Theory},
  journal =	 ai,
  year =	 {1984},
  volume =	 {24},
  pages =	 {85--168},
}

@InCollection{Forbus:1988,
  author =	 {Kenneth D. Forbus},
  title =	 {Qualitative Physics: Past, Present, and Future},
  editor =	 {Howard Shrobe},
  booktitle =	 {Exploring Artificial Intelligence},
  publisher =	 kauf,
  address =	 kaufort,
  pages =	 {239--296},
  year =	 {1988},
  note =	 {Reprinted in \cite{Weld/deKleer:1990}},
  bibs =	 {qualphys.bib},
}

@Article{Forbus_et_al:1991,
  author =	 {Kenneth D. Forbus and Paul Nielsen and Boi Faltings},
  title =	 {Qualitative spatial reasoning: The {\tt CLOCK} project},
  journal =	 ai,
  year =	 {1991},
  volume =	 {51},
  pages =	 {417--471},
}

@Incollection{Frank/Mark:1991,
  author =	 {Andrew U. Frank and David M. Mark},
  title =	 {Language Issues for Geographical Information
		 Systems},
  crossref =	 {Maguire_et_al:1991},
  pages =	 {147--163},
}

@Unpublished{Frank:1990,
  author =	 {Andrew U. Frank},
  title =	 {Spatial Concepts, Geometric Data Models and Data
		 Structures},
  note =	 {Unpublished Draft handed out at the NATO ASI Cognitive
		 and Linguistic Aspects of Geographic Space},
  month =	 jul,
  year =	 {1990},
}

@InProceedings{Frank:1991,
  author =	 {Andrew U. Frank},
  title =	 {Qualitative Spatial Reasoning with Cardinal
		 Directions},
  booktitle =	 {7. {\"O}sterreichische Artificial Intelligence
		 Tagung},
  year =	 {1991},
  editor =	 {H. Kaindl},
  publisher =	 springer,
  address =	 springerort,
}

@Article{Frank:1992,
  author =	 {Andrew U. Frank},
  title =	 {Qualitative Spatial Reasoning with Cardinal
		 Directions},
  journal =	 {Journal of Visual Languages and Computing},
  year =	 {1992},
  volume =	 {3},
  pages =	 {343--371},
  source =	 {reprint sent to me by author in Spring 1993},
}

@Article{Franklin_et_al:1992,
  author =	 {Franklin, N. and Tversky, B. and Coon, V.},
  title =	 {Switching points of view in spatial mental models
		 acquired from text},
  journal =	 {Memory and Cognition},
  year =	 {1992},
  volume =	 {20},
  pages =	 {507--518},
}

@Article{Freeman:1975,
  author =	 {Freeman, John},
  title =	 {The Modelling of Spatial Relations},
  journal =	 {Computer Graphics and Image Processing},
  year =	 {1975},
  volume =	 {4},
  pages =	 {156--171},
  rnotes =	 {UMD, College Park; Rosenfeld; Egenhofer's Lit},
}

@InCollection{Freksa/Habel:1990a,
  author =	 {Christian Freksa and Christopher Habel},
  title =	 {{Warum interessiert sich die Kognitionsforschung f"ur
		 die Darstellung r"aumlichen Wissens?}},
  crossref =	 {Freksa/Habel:1990},
  language =	 {german},
}

@Unpublished{Freksa/Hernandez:1991,
  author =	 {Christian Freksa and Daniel Hern{\'a}ndez},
  title =	 {Qualitative and quantitative knowledge about physical
		 space},
  note =	 {Unpublished position paper at the SPQR Workshop on
		 Multiple Models, Karlsruhe},
  month =	 mar,
  year =	 {1991},
}

@InProceedings{Freksa/Roehrig:1993,
  author =	 {Christian Freksa and Ralf R{\"o}hrig},
  title =	 {Dimensions of Qualitative Spatial Reasoning},
  pages =	 {483--492},
  crossref =	 {Piera/Singh:1993},
}

@InProceedings{Freksa/Zimmermann:1992,
  author =	 {Christian Freksa and Kai Zimmermann},
  title =	 {On the Utilization of Spatial Structures for
		 Cognitively Plausible and Efficient Reasoning},
  booktitle =	 {Proceedings of the 1992 IEEE International Conference on
		 Systems, Man, and Cybernetics},
  site =	 {Chicago},
  year =	 {1992},
}

@TechReport{Freksa:1990a,
  title =	 {Temporal Reasoning Based on Semi-Intervals},
  author =	 {Freksa, Christian},
  institution =	 {ICSI},
  year =	 {1990},
  number =	 {TR-90-016},
  address =	 {Berkeley, CA},
  month =	 apr,
}

@TechReport{Freksa:1990b,
  author =	 {Freksa, Christian},
  title =	 {Qualitative Spatial Reasoning},
  institution =	 tum,
  year =	 {1990},
  type =	 {FKI-Report},
  number =	 {FKI-136-90},
  month =	 aug,
}

@InCollection{Freksa:1991,
  author =	 {Freksa, Christian},
  title =	 {Qualitative Spatial Reasoning},
  crossref =	 {Mark/Frank:1991},
  pages =	 {361--372},
}

@Article{Freksa:1992a,
  author =	 {Freksa, Christian},
  title =	 {Temporal Reasoning Based on Semi-Intervals},
  journal =	 ai,
  year =	 {1992},
  volume =	 {54},
  pages =	 {199--227},
}

@InProceedings{Freksa:1992b,
  author =	 {Freksa, Christian},
  title =	 {Using Orientation Information for Qualitative Spatial
		 Reasoning},
  pages =	 {162--178},
  crossref =	 {Frank_et_al:1992},
}

@InProceedings{Freksa_et_al:1985,
  author =	 {Freksa, C. and Furbach, U. and Dirlich, G.},
  title =	 {Cognition and Representation: An Overview of Knowledge
		 Representation Issues in Cognitive Science},
  editor =	 {Laubsch, J.},
  booktitle =	 {GWAI-84, 8th German Workshop on Artificial
		 Intelligence},
  series =	 {Informatik Fachberichte},
  volume =	 {103},
  publisher =	 springer,
  address =	 springerort,
  year =	 {1985},
  bibs =	 {connproj.bib},
}

@InProceedings{Freksa_et_al:1988,
  author =	 {Christian Freksa and Daniel Hern{\'a}ndez and Matthias
		 Marcinowski and J{\"u}rgen Schmidhuber},
  title =	 {{Sprachartige Beschreibung von Objekten und
		 r"aumlichen Gegebenheiten in einem konnektionistischen
		 System}},
  booktitle =	 {Workshop Konnektionismus},
  year =	 {1988},
  address =	 {St. Augustin},
  editor =	 {Christoph Lischka and J{\"o}rg Kindermann},
  series =	 {GMD Berichte},
  organization = {GMD},
  bibs =	 {veroeff1.bib},
  language =	 {german},
}

@Article{Freuder:1978,
  author =	 {Freuder, E. C.},
  title =	 {Synthesizing Constraint Expressions},
  journal =	 cacm,
  year =	 {1978},
  volume =	 {21},
  number =	 {11},
  pages =	 {958--966},
  month =	 nov,
}

@Article{Freuder:1982,
  author =	 {Freuder, E. C.},
  title =	 {A Sufficient Condition for Backtrack-Free Search},
  journal =	 jacm,
  year =	 {1982},
  volume =	 {29},
  number =	 {1},
  pages =	 {24--32},
}

@InProceedings{Fuhr_et_al:1992,
  author =	 {Thomas Fuhr and Franz Kummert and Stefan Posch and
		 Gerhard Sagerer},
  title =	 {An Approach for Qualitatively Predicting Relations
		 from Relations},
  booktitle =	 {Proceedings of the Scandinavian Conference on
		  Artificial Intelligence},
  year =	 {1992},
  editor =	 {Erik Sandewall and Carl Gustav Jansson},
  pages =	 {38--49},
  publisher =	 {IOS Press},
  address =	 {Amsterdam},
}

@TechReport{Fujihara/Mukerjee:1991,
  title =	 {Qualitative Reasoning about Document Structures},
  author =	 {Hiroko Fujihara and Amitabha Mukerjee},
  institution =	 {Computer Science Department, Texas A \& M University},
  year =	 {1991},
  number =	 {TAMU 91-010},
  month =	 jun,
}

@PhdThesis{Funt:1976,
  author =	 {Brian V. Funt},
  title =	 {{WHISPER}: A Computer Implementation Using
		  Analogues in Reasoning},
  school =	 {University of British Columbia},
  year =	 {1976},
  month =	 mar,
  note =	 {Reprinted as Technical Report of the School of
		  Computing Science, Simon Fraser University,
		  Burnaby, B.C., V5A 1S6, Canada, 1992},
}

@Article{Funt:1980,
  author =	 {Brian V. Funt},
  title =	 {Problem Solving with Diagrammatic Representations},
  journal =	 ai,
  year =	 {1980},
  volume =	 {13},
  number =	 {3},
  pages =	 {201--230},
  bibs =	 {gwaikrs.bib},
}

@InCollection{Funt:1987,
  author =	 {Brian V. Funt},
  title =	 {Analogical Modes of Reasoning and Process Modelling},
  editor =	 {N. Cercone and G. McCalla},
  booktitle =	 {The Knowledge Frontier---Essays in the Representation
		 of Knowledge},
  chapter =	 {15},
  publisher =	 springer,
  address =	 springerort,
  year =	 {1987},
  pages =	 {414--428},
  bibs =	 {analogic.bib},
}

@InCollection{Furbach_et_al:1985,
  author =	 {Furbach, U. and Dirlich, G. and Freksa, C.},
  title =	 {Towards a Theory of Knowledge Representation Systems},
  editor =	 {Bibel, W. and Petkoff, B.},
  booktitle =	 {Artificial Intelligence Methodology, Systems,
		 Applications},
  publisher =	 nh,
  address =	 nhort,
  year =	 {1985},
  bibs =	 {connproj.bib},
}

@InProceedings{Galton:1993,
  author =	 {Antony Galton},
  title =	 {Towards an integrated logic of space, time, and motion},
  pages =	 {1550--1555},
  crossref =	 {ijcai:1993},
}

@Unpublished{Galton:1995,
  author =	 {Anthony Galton},
  title =	 {Space, Time, and Movement},
  note =	 {Unpublished manuscript distributed at the Bolzano
		  School on Spatial Reasoning},
  source =	 {Jonas Persson},
  month =	 mar,
  year =	 {1995},
}

@InCollection{Ganascia_et_al:1991,
  author =	 {Jean Gabriel Ganascia and Denis Blamont and Catherine
		 Mering},
  title =	 {A Symbolic of Geographic Space Through Remote
		 Sensing},
  crossref =	 {Mark/Frank:1991},
}

@MastersThesis{Gapp:1993,
  author =	 {Gapp, K.-P.},
  title =	 {{Berechnungsverfahren f{"u}r r{"a}umliche
		  Relationen in 3D-Szenen}},
  type =	 {Diplomarbeit},
  school =	 {Universit"at des Saarlandes},
  note =	 {Published as: SFB 314 (VITRA), Memo Nr. 59},
  year =	 {1993},
  month =	 aug,
  address =	 {Saarbr"ucken, Germany},
  language =	 {german},
}

@InProceedings{Gapp:1994,
  author =	 {Gapp, Klaus-Peter},
  title =	 {Basic meanings of spatial relations: computation and
		  evaluation of 3D space},
  pages =	 {1393--1398},
  crossref =	 {aaai:1994},
}

@Article{Gardin/Meltzer:1989,
  author =	 {Francesco Gardin and Bernard Meltzer},
  title =	 {Analogical Representations of Naive Physics},
  journal =	 ai,
  year =	 {1989},
  volume =	 {38},
  pages =	 {139--159},
  bibs =	 {gwaikrs.bib},
}

@InProceedings{Geffner/Pearl:1987,
  author =	 {Geffner, H. and Pearl, J.},
  title =	 {On the Probabilistic Semantics of Connectionist
		 Networks},
  booktitle =	 {IEEE87},
  pages =	 {II/187--195},
  year =	 {1987},
  bibs =	 {connproj.bib},
}

@InCollection{Gentry:1991,
  author =	 {Thomas Gentry},
  title =	 {Methods for Measuring Spatial Cognition},
  crossref =	 {Mark/Frank:1991},
  pages =	 {185--217},
}

@Article{Glasgow/Papadias:1992,
  author =	 {Jannice I. Glasgow and Dimitris Papadias},
  title =	 {Computational Imagery},
  journal =	 cs,
  volume =	 {16},
  pages =	 {355--394},
  year =	 {1992},
}

@InProceedings{Glasgow:1994,
  author =	 {Jannice I. Glasgow},
  title =	 {Spatial reasoning in indeterminate worlds},
  pages =	 {1399--1404},
  crossref =	 {aaai:1994},
}

@InProceedings{Goerz/Hernandez:1987,
  author =	 {G{\"u}nther G{\"o}rz and Daniel Hern{\'a}ndez},
  title =	 {Knowledge-Based Diagnosis of Electromechanical
		 Systems},
  booktitle =	 {Proceedings ACM German Chapter Expert Systems 87},
  site =	 {N{\"u}rnberg},
  year =	 {1987},
  bibs =	 {veroeff1.bib},
}

@InCollection{Gotts:1987,
  author =	 {N. M. Gotts},
  title =	 {A Qualitative Spatial Representation for Cardiac
		  Electrophysiology},
  editor =	 {Fox, J. and Fieschi, M. and Engelbrecht, R.},
  booktitle =	 {Lecture Notes in Medical Informatics},
  volume =	 {33},
  publisher =	 springer,
  address =	 springerort,
  year =	 {1987},
  pages =	 {88--95},
}

@InCollection{Gould:1991,
  author =	 {Michael D. Gould},
  title =	 {Integrating Spatial Cognition and Geographic
		 Information Systems},
  crossref =	 {Mark/Frank:1991},
  pages =	 {435--447},
}

@InProceedings{Green:1987,
  author =	 {Sue Green},
  title =	 {{SPACES} --- {A} System for the Representation of
		 Commonsense Knowledge about Space for Design},
  editor =	 {Bramer, M. A.},
  booktitle =	 {Research and Development in Expert Systems III},
  year =	 {1987},
  pages =	 {195--206},
  publisher =	 cup,
  address =	 cuport,
  month =	 dec,
}

@Article{Greiner:1988,
  author =	 {Russell Greiner},
  title =	 {Learning by Understanding Analogies},
  journal =	 ai,
  year =	 {1988},
  volume =	 {35},
  pages =	 {81--125},
  bibs =	 {analogic.bib},
}

@InProceedings{Guesgen/Hertzberg:1993,
  author =	 {Hans Werner Guesgen and Joachim Hertzberg},
  title =	 {Spatial Persistence (Preliminary Report)},
  crossref =	 {Anger_et_al:1993},
  pages =	 {11--34},
}

@TechReport{Guesgen:1989,
  title =	 {Spatial Reasoning Based on {A}llen's Temporal Logic},
  author =	 {Guesgen, H-W.},
  institution =	 {ICSI},
  year =	 {1989},
  number =	 {TR-89-049},
  address =	 {Berkeley, CA},
  month =	 aug,
}

@InProceedings{Gueting/Schneider:1993,
  author =	 {G{\"u}ting, Ralf and Schneider, M.},
  title =	 {Realms: A Foundation for Spatial Data Types in
		  Database Systems},
  crossref =	 {Abel/Ooi:1993},
  pages =	 {14--35},
}

@InProceedings{Gueting:1988,
  author =	 {G{\"u}ting, Ralf},
  title =	 {Geo-Relational Algebra: A Model and Query Language
		 for Geometric Database Systems},
  booktitle =	 {Advances in Database Technology EDBT 88, International
		 Conference on Extending Database Technology},
  year =	 {1988},
  editor =	 {Schmidt, J. W. and others},
  pages =	 {506--527},
  publisher =	 springer,
  address =	 springerort,
}

@TechReport{Haar:1976,
  title =	 {Computational Models of Spatial Relations},
  author =	 {Haar, R.},
  institution =	 {Dept. of Computer Science, University of Maryland},
  year =	 {1976},
  number =	 {TR-478 MCS-72-0361-10},
}

@TechReport{Habel/Pribbenow:1988,
  author =	 {Christopher Habel and Simone Pribbenow},
  title =	 {{Gebietskonstituierende Prozesse}},
  institution =	 {IBM Deutschland},
  year =	 {1988},
  type =	 {LILOG-Report},
  number =	 {18},
  topics =	 {K"unstliche Intelligenz / Linguistik /
		 Raumbeschreibung / Wissensrepr"asentation},
  language =	 {german},
}

@InProceedings{Habel/Pribbenow:1989,
  author =	 {Christopher Habel and Simone Pribbenow},
  title =	 {{Zum Verstehen r"aumlicher Ausdr"ucke des Deutschen
		 --- Transitivit"at r"aumlicher Relationen}},
  booktitle =	 {{Wissensbasierte Systeme, 3.\ Internationaler
		 GI-Kongre"s}},
  site =	 {{M"unchen}},
  year =	 {1989},
  editor =	 {W. Brauer and C. Freksa},
  pages =	 {139--152},
  publisher =	 springer,
  address =	 springerort,
  month =	 oct,
  language =	 {german},
}

@InCollection{Habel:1988a,
  author =	 {Christopher Habel},
  title =	 {{Prozedurale Aspekte der Wegplanung und
		 Wegbeschreibung}},
  editor =	 {H. Schnelle and G. Rickheit},
  booktitle =	 {Sprache in Mensch und Computer},
  year =	 {1988},
  publisher =	 {Westdeutscher Verlag},
  address =	 {Wiesbaden},
  pages =	 {pp.107--133},
  language =	 {german},
}

@InCollection{Habel:1988b,
  author =	 {Christopher Habel},
  title =	 {{Repr"asentation r"aumlichen Wissens}},
  editor =	 {G. Rahmstorf},
  booktitle =	 {Wissensrepr"asentation in Expertensystemen},
  year =	 {1988},
  publisher =	 springer,
  address =	 springerort,
  language =	 {german},
}

@TechReport{Habel:1988c,
  author =	 {Christopher Habel},
  title =	 {Cognitive Linguistics: The Processing of Spatial
		 Concepts},
  institution =	 {IBM Deutschland},
  year =	 {1988},
  type =	 {LILOG-Report},
  number =	 {45},
}

@TechReport{Habel:1989,
  author =	 {Christopher Habel},
  title =	 {Propositional and Depictorial Representations of
		 Spatial Knowledge: The Case of Path Concepts},
  institution =	 {Univ. Hamburg. Fachbereich Informatik},
  year =	 {1989},
  type =	 {Mitteilung},
  number =	 {171},
  topics =	 {K"unstliche Intelligenz / Linguistik /
		 Wissensrepr"asentation / Raumbeschreibung / Imagery /
		 Psychologie / Abstrakter Raum / Mathematik/Geometrie},
  language =	 {german},
}

@Article{Habel:1990,
  author =	 {Christopher Habel},
  title =	 {{Repr"asentation von Wissen}},
  journal =	 {Informatik Spektrum},
  year =	 {1990},
  volume =	 {13},
  number =	 {3},
  pages =	 {126--136},
  month =	 jun,
  rnotes =	 {die Pr"adikat-Argument-Struktur der NL bedingt
		 Operator-Operanden-Struktur der Repr.Sprache;
		 prototypisches Wissen u. Standardannahmen Grundlagen
		 menschlicher Inferenz; Zusammenspiel von Zeit u.
		 Ableitbarkeit: Fourier-Transform Effekt; Mi"sverst.
		 Aussagen: constraints nur quantitativ; analog vs.
		 analogisch},
  language =	 {german},
}

@InBook{Habel_et_al:1993,
  author = 	 {Christopher Habel and Michael Herweg and Simone
		  Pribbenow},
  title = 	 {{Wissen "uber Raum und Zeit}},
  crossref =     {Goerz:1993},
  pages = 	 {139--204},
}

@Misc{Hafner/Kobler:1991,
  author =	 {Walter Hafner and Daniel Kobler},
  title =	 {{Repr"asentation r"aumlichen Wissens: stabile
		 Raumdarstellung}},
  howpublished = tumfopra,
  month =	 aug,
  year =	 {1991},
  language =	 {german},
}

@InProceedings{Haegerstrand:1957,
  author =	 {Torsten H{\"a}gerstrand},
  title = 	 {Migration and Area},
  booktitle = 	 {Migration in Sweden},
  editor = 	 {David Hannerberg and Torsten H{\"a}gerstrand and
		 Bruno Odeving}, 
  series = 	 {Lund Studies in Geography, Series B, Human Geography},
  volume = 	 {13},
  pages = 	 {27--158},
  publisher = 	 {Lund: C. W. K. Gleerup},
  year =	 {1957},
}

@Misc{Hahn:1990,
  author =	 {Thomas Hahn},
  title =	 {{Funts parallele Retina zur Handhabung
		 diagrammatischer Repr"asentationen}},
  howpublished = tumfopra,
  month =	 jul,
  year =	 {1990},
  language =	 {german},
}

@Article{Hall:1989,
  author =	 {Rogers P. Hall},
  title =	 {Computational Approaches to Analogical Reasoning: A
		 Comparative Analysis},
  journal =	 ai,
  year =	 {1989},
  volume =	 {39},
  pages =	 {39--120},
  bibs =	 {gwaikrs.bib},
}

@InProceedings{Haller/Mark:1990,
  author =	 {Susan M. Haller and David M. Mark},
  title =	 {Knowledge representation for understanding
		 geographical locatives},
  booktitle =	 {Fourth International Symposium on Spatial
		 Data Handling},
  site =	 {Zurich, Switzerland},
  year =	 {1990},
  pages =	 {465--477},
}

@InProceedings{Hamblin:1972,
  author =	 {Hamblin, C. L.},
  title =	 {Instants and Intervals},
  editor =	 {Fraser, J. T. and Haber, F. C. and M{\"u}ller, G. H.},
  booktitle =	 {The Study of Time: Proceedings of the First
		  Conference of the Intl.\ Society for the Study of
		  Time},
  site =	 {Oberwolfach, FRG},
  year =	 {1972},
  pages =	 {324--331},
  publisher =	 springer,
  address =	 springerort,
}

@InCollection{Hart/Moore:1973,
  author =	 {Hart, R. A. and Moore, G. T.},
  title =	 {The development of spatial cognition: A Review},
  crossref =	 {Downs/Stea:1973},
}

@InCollection{Haugeland:1987,
  author =	 {J. Haugeland},
  title =	 {An Overview of the Frame Problem},
  crossref =	 {Pylyshyn:1987},
  pages =	 {77--94},
  bibs =	 {gwaikrs.bib ss89.bib},
}

@Article{Havens/Mackworth:1983,
  author =	 {William Havens and Alan Mackworth},
  title =	 {Representing Knowledge of the Visual World},
  journal =	 {IEEE Computer},
  year =	 {1983},
  volume =	 {16},
  number =	 {10},
  pages =	 {90--96},
  month =	 oct,
  keywords =	 {constraint satisfaction},
}

@InProceedings{Hayes/Allen:1987,
  author =	 {Hayes, P. J. and Allen, J. F.},
  title =	 {Short Time Periods},
  crossref =	 {ijcai:1987},
}

@InProceedings{Hayes:1974,
  author =	 {P. J. Hayes},
  title =	 {Some Problems and Non-Problems in Representation
		 Theory},
  booktitle =	 {Proceedings AISB Summer Conference},
  year =	 {1974},
  pages =	 {63--79},
  organization = {University of Sussex},
  note =	 {Reprinted in \cite{Brachman/Levesque:1985}},
  bibs =	 {ss89.bib},
}

@InProceedings{Hayes:1977a,
  author =	 {P. J. Hayes},
  title =	 {In Defence of Logic},
  crossref =	 {ijcai:1977},
  pages =	 {559--565},
  bibs =	 {ss89.bib},
}

@InCollection{Hayes:1979,
  author =	 {P. J. Hayes},
  title =	 {The Naive Physics Manifesto},
  editor =	 {D. Michie},
  booktitle =	 {Expert Systems in the Electronic Age},
  publisher =	 {Edinburgh University Press},
  address =	 {Edinburgh, Scotland},
  year =	 {1979},
  pages =	 {242--270},
}

@InCollection{Hays:1990,
  author =	 {E. Hays},
  title =	 {On defining motion verbs and spatial prepositions},
  crossref =	 {Freksa/Habel:1990},
  pages =	 {192--206},
}

@InCollection{Head:1991,
  author =	 {Head, C. Grant},
  title =	 {Mapping as Language or Semiotic System: Review and
		 Comment},
  crossref =	 {Mark/Frank:1991},
  pages =	 {237--262},
}

@TechReport{Hernandez/Zimmermann:1993,
  author =	 {Daniel Hern{\'a}ndez and Kai Zimmermann}, 
  title =	 {Default reasoning and the
		  qualitative representation of spatial knowledge}, 
  institution =	 tum, 
  year =	 {1993}, 
  type =	 fki, 
  number =	 {FKI-175-93}, 
  month =	 apr, 
  note =	 {To appear in Habel et al.\ {\em Defaults and
		  Prototypes---Non-monotonic Reasoning for Language
		  and Knowledge Processing\/}, Springer}
}

@Misc{Hernandez:1984,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {{Modulare Softwarebausteine zur
		 Wissensrepr"asentation}},
  howpublished = {Studienarbeit, IMMD (IV) and RRZE Universit"at
		 Erlangen-N"urnberg},
  year =	 {1984},
  keywords =	 {FRL, Duckito},
  bibs =	 {veroeff1.bib},
  language =	 {german},
}

@MastersThesis{Hernandez:1986,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {{Wissensbasierte Diagnose technischer Systeme}},
  type =	 {Diplomarbeit},
  school =	 {Universit"at Erlangen-N"urnberg},
  year =	 {1986},
  month =	 jun,
  note =	 {Published as: Mitteilungsblatt des RRZE Nr. 44},
  keywords =	 {Diagmufa, Diagtech},
  bibs =	 {veroeff1.bib},
  language =	 {german},
}

@MastersThesis{Hernandez:1987,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {Module Fault Localization in a Software Toolbus based
		 System},
  school =	 {University of Maryland},
  year =	 {1987},
  address =	 {College Park, MD},
  bibs =	 {veroeff1.bib},
}

@TechReport{Hernandez:1988a,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {Module Fault Localization in a Software Toolbus based
		 System},
  institution =	 {Dept. of Computer Science, University of Maryland},
  month =	 apr,
  year =	 {1988},
  number =	 {CS-TR-2012},
  address =	 {College Park, MD},
  note =	 {Also published as: } # 
		  fki # { FKI-88-88, } # 
		  tum # {, M{\"a}rz 1988},
  bibs =	 {veroeff1.bib},
}

@Article{Hernandez:1988b,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {{Bericht "uber den Workshop Konnektionismus an der
		 GMD}},
  journal =	 {KI},
  volume =	 {3},
  month =	 {Juni},
  year =	 {1988},
  bibs =	 {veroeff2.bib},
  language =	 {german},
}

inproceedings{Hernandez:1988c,
	author = {Daniel Hern{\'a}ndez},
    title = {A Principled Approach to Knowledge Representation
	in Connectionist Systems},
    booktitle = {Proceedings ``Connectionism in Perspective 88''},
    publisher = {SGAICO},
    year = {1988},
    bibs = {connproj.bib}}

@InCollection{Hernandez:1989a,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {A Principled Approach to Knowledge Representation in
		 Connectionist Systems},
  editor =	 {Brauer, W. and Freksa, C.},
  booktitle =	 {Connectionist Approaches to the Description of Spatial
		 Knowledge and related papers},
  publisher =	 tum,
  year =	 {1989},
  month =	 jan,
  note =	 {Report FKI-98-89},
  bibs =	 {veroeff1.bib},
}

@InProceedings{Hernandez:1989b,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {{Zur Implementierbarkeit analogischer
		 Repr"asentationen}},
  crossref =	 {Metzing:1989},
  pages =	 {479--481},
  bibs =	 {veroeff1.bib},
  language =	 {german},
}

@Unpublished{Hernandez:1989c,
  author =	 {Daniel Hern\'{a}ndez},
  title =	 {Code Analyzer: An Exercise in Scheme Programming},
  note =	 {Unpublished programm documentation},
  school =	 tum,
  year =	 {1989},
}

@InProceedings{Hernandez:1990a,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {Using Comparative Relations to Represent Spatial
		 Knowledge},
  crossref =	 {Hoeppner:1990},
  pages =	 {69--80},
  bibs =	 {veroeff1.bib},
}

@TechReport{Hernandez:1990b,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {Relative Representation of Spatial Knowledge: The
		 2-{D} Case},
  institution =	 tum,
  year =	 {1990},
  type =	 fki,
  number =	 {FKI-135-90},
  month =	 aug,
}

@InCollection{Hernandez:1991,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {Relative Representation of
		  Spatial Knowledge: The 2-{D}
		  Case},
  crossref =	 {Mark/Frank:1991},
  pages =	 {373--385},
}

@TechReport{Hernandez:1992a,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {Diagrammatical Aspects of Qualitative Representations
		 of Space},
  institution =	 tum,
  year =	 {1992},
  type =	 fki,
  number =	 {FKI-164-92},
  month =	 mar,
  note =	 {Also in Proceedings of the 1992 AAAI Spring Symposium on
		 Reasoning with Diagrammatic Representations, March
		 25-27th, 1992, Stanford University},
}

@PhdThesis{Hernandez:1992b,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {Qualitative Representation of Spatial Knowledge},
  school =	 tum,
  year =	 {1992},
  note =	 {A revised version also appeared as Vol.\ 804 of
		  Lecture Notes in Artificial Intelligence, Springer, 1994},
}

@InProceedings{Hernandez:1992c,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {Diagrammatical Aspects of
		  Qualitative Representations of Space},
  editor =	 {Narayanan, N. Hari},
  booktitle =	 {Proceedings of the 1992 AAAI Spring Symposium on Reasoning
		 with Diagrammatic Representations, March 25-27th, 1992},
  site =	 {Stanford University, CA},
  year =	 {1992},
  pages =	 {225--228},
}

@InProceedings{Hernandez:1993a,
  author =	 {Daniel Hern{\'a}ndez}, 
  title =	 {Reasoning with qualitative
		  representations: Exploiting the structure of space},
  pages =	 {493--502},
  crossref =	 {Piera/Singh:1993},
}

@InProceedings{Hernandez:1993b, 
  author =	 {Daniel Hern{\'a}ndez}, 
  title =	 {Maintaining Qualitative Spatial
		  Knowledge},
  pages =	 {36--53},
  crossref =	 {Frank/Campari:1993},
}

@InProceedings{Hernandez:1993c,
  author =	 {Daniel Hern{\'a}ndez}, 
  title =	 {{Hybride und integrierte Ans"atze zur
		  Raumrepr"asentation und ihre Anwendung}},
  pages =	 {210--216},
  crossref =	 {Herzog_et_al:1993},
  language =	 {german},
}

@TechReport{Hernandez:1993d, 
  editor =	 {Daniel Hern{\'a}ndez}, 
  title =	 {{Proceedings des Workshops ``Hybride und integrierte
		  Ans"atze zur Raumrepr"asentation und ihre Anwendung''}},
  institution =	 tum, 
  year =	 {1993}, 
  type =	 fki, 
  number =	 {FKI-185-93}, 
  month =	 nov, 
  note =	 {Im Rahmen der 17.\ Fachtagung f"ur K"unstliche
		  Intelligenz vom 13.-16.\ Sept. 1993 an der
		  Humboldt-Universit"at zu Berlin},
  language =	 {german},
}

@TechReport{Hernandez:1993af, 
  author =	 {Daniel Hern{\'a}ndez}, 
  title =	 {Reasoning with qualitative representations:
		 Exploiting the structure of space},
  institution =	 tum, 
  year =	 {1993}, 
  type =	 fki, 
  number =	 {FKI-176-93}, 
  month =	 may, 
  note =	 {To appear in: QUARDET'93, Proceedings of the III IMACS
		 International Workshop on Qualitative Reasoning and
		 Decision Technologies, Barcelona, 16--18 June 1993},
}

@TechReport{Hernandez:1993bf, 
  author =	 {Daniel Hern{\'a}ndez}, 
  title =	 {Maintaining Qualitative Spatial Knowledge},
  institution =	 tum, 
  year =	 {1993}, 
  type =	 fki, 
  number =	 {FKI-177-93}, 
  month =	 may, 
  note =	 {To appear in: COSIT 93, Proceedings of the European
		  Conference on Spatial Information Theory, Elba,
		  Italy, 19--22 Sept.\ 1993},
}

@Book{Hernandez:1994,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {Qualitative Representation of Spatial Knowledge},
  series =	 {Lecture Notes in Artificial Intelligence},
  volume =	 {804},
  key =		 {LNAI},
  year =	 {1994},
  publisher =	 springer,
  address =	 springerort,
}

@Book{Hernandez:1994d,
  author =	 {Daniel Hern{\'a}ndez},
  title =	 {Qualitative Representation of Spatial Knowledge},
  series =	 {Lecture Notes in Artificial Intelligence},
  volume =	 {804},
  key =		 {LNAI},
  year =	 {1994},
  publisher =	 springer,
  address =	 springerort,
  note =	 {Revised version of a 1992 Ph.D. Thesis at the
		  Institut f\"ur Informatik, Technische Universit\"at
		  M\"unchen},
}

@TechReport{Hernandez:1994a, 
  author =	 {Daniel Hern{\'a}ndez}, 
  title =	 {{HCI} Aspects of a Framework for the Qualitative
		  Representation of Space},
  institution =	 tum, 
  year =	 {1994}, 
  type =	 fki, 
  number =	 {FKI-193-94}, 
  month =	 jun, 
  note =	 {},
}

@InProceedings{Hernandez_et_al:1988,
  author =	 {Daniel Hern{\'a}ndez and Levin Kanal and James
		 Purtilo},
  title =	 {A Debugging Assistant for Distributed Systems},
  booktitle =	 {Proceedings of the Northwest Software Quality
		 Conference},
  site =	 {Portland, OR},
  pages =	 {301--316},
  month =	 {Sept. 19.--20.},
  year =	 {1988},
  bibs =	 {veroeff1.bib},
}

@TechReport{Hernandez_et_al:1992,
  author =	 {Daniel Hern{\'a}ndez and Margit Kinder and Kai
		 Zimmermann and Wilfried Brauer},
  title =	 {{Standardannahmen bei der qualitativen Repr"asentation
		 r"aumlichen Wissens}},
  institution =	 tum,
  year =	 {1992},
  type =	 fki,
  number =	 {FKI-165-92},
  month =	 mar,
  language =	 {german},
}

@InProceedings{Hernandez_et_al:1995,
  author =	 {Daniel Hern{\'a}ndez and Eliseo Clementini and Di
		  Felice, Paolino},
  title =	 {Qualitative Distances},
  booktitle =	 {Proceedings of COSIT'95},
  site =	 {Semmering},
  year =	 {1995},
  pages =	 {},
  note =	 {To appear},
}

@TechReport{Hernandez_et_al:1995af,
  author =	 {Daniel Hern{\'a}ndez and Eliseo Clementini and Di
		  Felice, Paolino},
  title =	 {Qualitative Distances},
  institution =	 tum,
  year =	 {1995},
  type =	 fki,
  number =	 {FKI-203-95},
  month =	 feb,
}

@InCollection{Herring:1991,
  author =	 {John Herring},
  title =	 {The Mathematical Modeling of Spatial and Non-Spatial
		 Information in Geographic Information Systems},
  crossref =	 {Mark/Frank:1991},
  pages =	 {313--350},
}

@Book{Herskovits:1986,
  author =	 {Herskovits, A.},
  title =	 {Language and Spatial Cognition. An Interdisciplinary
		 Study of the Prepositions in English},
  publisher =	 cup,
  address =	 cuport,
  year =	 {1986},
}

@InProceedings{Hertzberg_et_al:1988,
  author =	 {Joachim Hertzberg and Hans-Werner G{\"u}sgen and
		 Angelika Vo{\ss{}} and Manfred Fidelak and Hans
		 Vo{\ss{}}},
  title =	 {Relaxing constraint networks to resolve
		 inconsistencies},
  crossref =	 {Hoeppner:1988},
  year =	 {1988},
}

@TechReport{Herweg:1988,
  author =	 {M. Herweg},
  title =	 {{Zur Semantik einiger lokaler Pr"apositionen des
		 Deutschen}},
  institution =	 {IBM Deutschland GmbH},
  year =	 {1988},
  number =	 {LILOG-Report \# 21},
  language =	 {german},
  topics =	 {Linguistik / Raumbeschreibung / Spatial Reasoning},
}

@InCollection{Herweg:1989,
  author =	 {M. Herweg},
  title =	 {{Ans"atze zu einer semantischen Beschreibung
		 topologischer Pr"apositionen}},
  crossref =	 {Habel_et_al:1989},
  language =	 {german},
}

@InCollection{Hill:1982,
  author =	 {C. Hill},
  title =	 {Up/down, front/back, left/right. {A} contrastive study
		 of {H}ausa and {E}nglish},
  editor =	 {J. Weissenborn and W. Klein},
  booktitle =	 {Here and There. Cross-Linguistic Studies on Deixis and
		 Demonstration},
  year =	 {1982},
  publisher =	 {John Benjamins},
  address =	 {Amsterdam},
}

@InProceedings{Hinrichs:1986,
  author =	 {E. W. Hinrichs},
  title =	 {A compositional semantics for directional
  		  modifiers---locative case reopened},
  booktitle =	 {Proceedings of COLING},
  year =	 {1986},
  address =	 {Bonn},
}

@InCollection{Hinton:1981,
  author =	 {Hinton, G. E.},
  title =	 {Implementing Semantic Networks in Parallel Hardware},
  editor =	 {Hinton, G. E. and Anderson, J. A.},
  booktitle =	 {Parallel Models of Associative Memory},
  publisher =	 le,
  address =	 leort,
  year =	 {1981},
  bibs =	 {connproj.bib},
}

@InCollection{Hinton_et_al:1986,
  author =	 {Hinton, G. E. and McClelland, J. L. and Rumelhart, D.
		 E.},
  title =	 {Distributed Representations},
  crossref =	 {Rumelhart_et_al:1986b},
  pages =	 {78--109},
  bibs =	 {ss89.bib},
}

@InCollection{Hirtle:1991,
  author =	 {S. C. Hirtle},
  title =	 {Knowledge representations of spatial relations},
  editor =	 {Doignon, J.-P. and Falmagne, J.-C.},
  booktitle =	 {Mathematical Psychology: Current developments},
  publisher =	 springer,
  address =	 springerort,
  year =	 {1991},
  pages =	 {233--250},
}

@InProceedings{Hirtle_et_al:1993,
  author =	 {S. C. Hirtle and Ghiselli-Crippa, T. and Spring, M.
		  S.},
  title =	 {The cognitive structure of space: An analysis of
		  temporal sequences},
  pages =	 {177--189},
  crossref =	 {Frank/Campari:1993},
}

@InProceedings{Hobbs:1985,
  author =	 {Jerry R. Hobbs},
  title =	 {Granularity},
  pages =	 {432--435},
  crossref =	 {ijcai:1985},
}

@TechReport{Hoegg/Schwarzer:1991,
  author =	 {Stefan H{\"o}gg and Irmgard Schwarzer},
  title =	 {Composition of Spatial Relations},
  institution =	 tum,
  type =	 fki,
  number =	 {FKI-163-91},
  year =	 {1991},
  month =	 dec,
}

@Misc{Hoegg:1993,
  author =	 {Stefan H{\"o}gg},
  title =	 {{Ein Modell zur qualitativen Beschreibung von Grundformen}},
  howpublished = tumda,
  year =	 {1993},
  language =	 {german},
}

@Misc{Hohendorf:1990,
  author =	 {Christian Hohendorf},
  title =	 {{Leistungsvergleich von Scheme-Umgebungen}},
  howpublished = tumfopra,
  month =	 nov,
  year =	 {1990},
  language =	 {german},
}

@Article{Holmes/Jungert:1992,
  author =	 {Peter Holmes and Erland Jungert},
  title =	 {Symbolic and Geometric Connectivity Graph Methods
		  for Route Planning in Digitized Maps},
  journal =	 {IEEE Transactions on Pattern Analysis and Machine
		  Intelligence},
  volume =	 {14},
  number =	 {5},
  pages =	 {549--565},
  month =	 may,
  year =	 {1992},
}

@InProceedings{Hopfield:1982,
  author =	 {Hopfield, J. J.},
  title =	 {Neural networks and physical systems with emergent
		 collective computational abilities},
  booktitle =	 {Proceedings of the Nat. Acad. of Sciences 79},
  pages =	 {2554--2558},
  year =	 {1982},
  bibs =	 {connproj.bib},
}

@InProceedings{Hunter_et_al:1989,
  author =	 {Hunter, J. R. W. and Gotts, N. M. and Hamlet, I. and
		  Kirby, I.},
  title =	 {Qualitative Spatial and Temporal Reasoning in
		  Cardiac Electrophysiology},
  booktitle =	 {AIME-89: Proceedings of the Second European
		  Conference on Artificial Intelligence in Medicine},
  publisher =	 springer,
  address =	 springerort,
  year =	 {1989},
}

@InBook{Ittelson:1973,
  author = 	 {W. H. Ittelson},
  title = 	 {Environment perception and contemporary perceptual theory},
  booktitle = 	 {Environment and cognition},
  publisher =	 {Seminar},
  address =	 {New York},
  year =	 {1973},
  pages = 	 {1--19},
}

@InCollection{Jacobson:1991,
  author =	 {Robert Jacobson},
  title =	 {Virtual Worlds, Inside and Out},
  crossref =	 {Mark/Frank:1991},
}

@InCollection{Janlert:1987,
  author =	 {L. Janlert},
  title =	 {Modeling Change --- The Frame Problem},
  crossref =	 {Pylyshyn:1987},
  pages =	 {1--40},
  bibs =	 {ss89.bib},
}

@InCollection{Joao:1991,
  author =	 {Elsa Maria Jo{\~a}o},
  title =	 {What Expert Systems Don't Know: The Role of the User
		 in {GIS} Generalization},
  crossref =	 {Mark/Frank:1991},
}

@TechReport{Joe/Mukerjee:1990,
  title =	 {Qualitative Spatial Representation Based on Tangency
		 and Alignments},
  author =	 {Gene Joe and Amitabha Mukerjee},
  institution =	 {Computer Science Department, Texas A \& M University},
  year =	 {1990},
  number =	 {TAMU 90-015},
  month =	 jul,
}

@Book{Johnson-Laird:1983,
  author =	 {Johnson-Laird, P. N.},
  title =	 {Mental Models},
  publisher =	 {Harvard University Press},
  year =	 {1983},
  address =	 {Cambridge, MA},
}

@Book{Johnson-Laird:1988,
  author =	 {Johnson-Laird, P. N.},
  title =	 {The Computer and the Mind},
  publisher =	 {Harvard University Press},
  year =	 {1988},
  address =	 {Cambridge, MA},
}

@PhdThesis{Jong:1994,
  author =	 {Jung-Hong Jong},
  title =	 {Qualitative Reasoning about Distances and Directions
		  in Geographic Space},
  school =	 {University of Maine},
  year =	 {1994},
  month =	 aug,
}

@InCollection{Jungert/Chang:1989,
  author =	 {Erland Jungert and Shi-Kuo Chang},
  title =	 {An Algebra for Symbolic Image Manipulation and
		  Transformation},
  editor =	 {T. Kunii},
  booktitle =	 {Visual Database Systems},
  publisher =	 nh,
  address =	 nhort,
  year =	 {1989},
  pages =	 {301--317},
}

@Article{Jungert/Chang:1993,
  author =	 {Erland Jungert and Shi-Kuo Chang},
  title =	 {An Image Algebra for Pictorial Data Manipulation},
  journal =	 {Journal of Computer Vision, Graphics and Image Processing},
  volume =	 {58},
  number =	 {2},
  pages =	 {147--160},
  note =	 {Image Understanding Edition},
  month =	 sep,
  year =	 {1993},
}

@InProceedings{Jungert:1988,
  author =	 {Erland Jungert},
  title =	 {Extended Symbolic Projections as a Knowledge
		  Structure for Spatial Reasoning},
  editor =	 {J. Kittler},
  booktitle =	 {4th International Conference on Pattern
		  Recognition},
  series =	 {Lecture Notes in Computer Science},
  volume =	 {301},
  pages =	 {343--351},
  publisher =	 springer,
  address =	 springerort,
  year =	 {1988},
}

@InProceedings{Jungert:1992,
  author =	 {Erland Jungert},
  title =	 {The Observer's Point of View: An Extension of Symbolic
		 Projections},
  pages =	 {179--195},
  crossref =	 {Frank_et_al:1992},
}

@InProceedings{Jungert:1993a,
  author =	 {Erland Jungert},
  title =	 {Rotation invariance in symbolic projections as a
		 means for determination of binary object relations},
  pages =	 {503--512},
  crossref =	 {Piera/Singh:1993},
}

@InProceedings{Jungert:1993b,
  author =	 {Erland Jungert},
  title =	 {Symbolic Spatial Reasoning on Object Shapes for
		 Qualitative Matching},
  pages =	 {444--462},
  crossref =	 {Frank/Campari:1993},
}

@Article{Jungert:1994,
  author =	 {Erland Jungert},
  title =	 {Qualitative Spatial Reasoning from the Observer's
		  Point of View---Towards a Generalisation of Symbolic
		  Projection},
  journal =	 {Journal of Pattern Recognition},
  volume =	 {27},
  number =	 {6},
  year =	 {1994},
}

@InProceedings{Kainz:1990,
  author =	 {W. Kainz},
  title =	 {Spatial Relationships---Topology versus Order},
  booktitle =	 {Fourth International Symposium on Spatial
		 Data Handling},
  site =	 {Zurich, Switzerland},
  year =	 {1990},
  pages =	 {814--819},
}

@Article{Kainz_et_al:1993,
  author =	 {W. Kainz and M. Egenhofer and I. Greasly},
  title =	 {Modeling Spatial Relations and Operations with
		  Partially Ordered Sets}, 
  journal =	 {International Journal of Geographical Information Systems},
  volume =	 {7},
  note =	 {{in press}},
}

@InProceedings{Kaufman:1991,
  author =       {Kaufman, Stephen},
  title =        {A Formal Theory of Spatial Reasoning},
  booktitle =    {Proceedings of AAAI Spring Symposium on Logical
		  Foundationsof Commonsense Reasoning},
  year =         {1991},
  pages =        {92--101},
}

@InCollection{Kautz:1985,
  author =	 {Kautz, H. A.},
  title =	 {Formalizing spatial concepts and spatial language},
  booktitle =	 {Commonsense Summer: Final Report. No. CSLI-85-35},
  year =	 {1985},
  editor =	 {Hobbs, J. R. and others},
  publisher =	 csli,
  address =	 csliort,
}

@InProceedings{Khenkhar:1989,
  author =	 {Khenkhar, M.},
  title =	 {{DEPIC-2D: Eine Komponente zur depiktionalen
		 Repr"asentation und Verarbeitung r"aumlichen Wissens}},
  crossref =	 {Metzing:1989},
  pages =	 {318--322},
  topics =	 {K"unstliche Intelligenz / Wissensrepr"asentation},
  language =	 {german},
}

@InCollection{Kim:1992,
  author =	 {Hyun-Kyung Kim},
  title =	 {Qualitative Kinematics of Linkages},
  crossref =	 {Faltings/Struss:1992},
  pages =	 {137--151},
}

@TechReport{Kim:1988,
  author =	 {Scott E. Kim},
  title =	 {Viewpoint: Toward a Computer for Visual Thinkers},
  institution =	 {Dept. of Computer Science},
  number =	 {STAN-CS-88-1190},
  address =	 {Stanford University, CA},
  year =	 {1988},
  month =	 jan,
  bibs =	 {gwaikrs.bib},
}

@TechReport{Kinder/Brauer:1992,
  author =	 {Margit Kinder and Wilfried Brauer},
  title =	 {Classification of Trajectories---Extracting Invariants
		 with a Neural Network},
  institution =	 {Technische Universit{\"a}t M{\"u}nchen},
  number =	 {FKI-168-92},
  year =	 {1992},
  month =	 jun,
}

@Article{Kinder/Brauer:1993,
  author =	 {Margit Kinder and Wilfried Brauer},
  title =	 {Classification of
		  Trajectories---Extracting Invariants with a Neural
		  Network},
  journal =	 {Neural Networks},
  year =	 {1993},
  volume =	 {6},
  number =	 {7},
  pages =	 {1011--1017},
}

@InProceedings{King/Mukerjee:1990,
  author =	 {Joseph Scott King and Amitabha Mukerjee},
  title =	 {Inexact Visualization: Qualitative Object
		 Representation for Recognizable Reconstruction},
  booktitle =	 {Proceedings of the IEEE Conference on Biomedical
		  Visualization},
  pages =	 {136--143},
  site =	 {Atlanta, GA},
  year =	 {1990},
  month =	 {May 22--25},
}

@InCollection{Klein:1983,
  author =	 {W. Klein},
  title =	 {Deixis and spatial orientation in route
  		  directions}, 
  crossref =	 {Pick/Acredolo:1983},
}

@InProceedings{Kloeck:1988b,
  author =	 {Erwin Kl{\"o}ck},
  title =	 {Utterance Generation Without Choice},
  crossref =	 {Hoeppner:1988},
  year =	 {1988},
  bibs =	 {connproj.bib},
}

@Article{Knuth:1984,
  author =	 {Donald E. Knuth},
  title =	 {Literate Programming},
  journal =	 {The Computer Journal},
  year =	 {1984},
  volume =	 {27},
  number =	 {2},
  pages =	 {97--111},
}

@TechReport{Kobler/Hernandez:1991,
  author =	 {Daniel Kobler and Daniel Hern{\'a}ndez},
  title =	 {{StoL --- Literate Programming in Scheme}},
  institution =	 tum,
  type =	 fki,
  year =	 {1991},
  month =	 sep,
  number =	 {FKI-157-91},
}

@Article{Kobler/Hernandez:1992,
  author =	 {Daniel Kobler and Daniel Hern{\'a}ndez},
  title =	 {{StoL --- Literate Programming in Scheme}},
  journal =	 {LISP Pointers},
  year =	 {1992},
  volume =	 {5},
  number =	 {4},
  pages =	 {LP5-4.21--LP5-4.30},
}

@TechReport{Kobler:1991,
  author =	 {Daniel Kobler},
  title =	 {{Die Generierung einer stabilen Raumdarstellung}},
  institution =	 tum,
  type =	 fki,
  number =	 {FKI-161-91},
  year =	 {1991},
  month =	 nov,
  language =	 {german},
}

@Misc{Kobler:1992,
  author =	 {Daniel Kobler},
  title =	 {{Visualisierung qualitativer Repr"asentationen
		 r"aumlichen Wissens}},
  howpublished = tumda,
  month =	 may,
  year =	 {1992},
  language =	 {german},
}

@Article{Koczy:1988,
  author =	 {L. T. Koczy},
  title =	 {On the description of relative position of fuzzy
		 patterns},
  journal =	 {Pattern Recognition Letters},
  volume =	 {8},
  year =	 {1988},
  pages =	 {21--28},
}

@InCollection{Kosslyn:1990,
  author =	 {Stephen M. Kosslyn},
  title =	 {Mental Imagery},
  crossref =	 {Osherson_et_al:1990},
  chapter =	 {3},
  pages =	 {73--97},
}

@InCollection{Kosslyn_et_al:1981a,
  author =	 {S. Kosslyn and S. Pinker and G. Smith and S. Shwartz},
  title =	 {On the Demystification of Mental Imagery},
  crossref =	 {Block:1981},
  pages =	 {131--150},
  bibs =	 {gwaikrs.bib ss89.bib},
}

@Article{Kozaburo/Yutaka:1987,
  author =	 {Kozaburo Hachimura and Yutaka Ohno},
  title =	 {A system for the representation of human body
		  movement from dance scores},
  journal =	 {Pattern Recognition Letters},
  volume =	 {5},
  year =	 {1987},
  month =	 jan,
  pages =	 {1--9},
}

@InCollection{Kramer/Mylopoulos:1987,
  author =	 {B. M. Kramer and J. Mylopoulos},
  title =	 {Representation, Knowledge},
  crossref =	 {Shapiro:1987},
  bibs =	 {ss89.bib},
}

@InProceedings{Kramer:1990,
  author =	 {Glenn A. Kramer},
  title =	 {Solving Geometric Constraint Systems},
  pages =	 {708--714},
  crossref =	 {aaai:1990},
}

@InCollection{Kuhn:1991,
  author =	 {Werner Kuhn},
  title =	 {Defining Metaphors Algebraically},
  crossref =	 {Mark/Frank:1991},
}

@InProceedings{Kuhn:1993,
  author =	 {Werner Kuhn},
  title =	 {Metaphors create theories for users},
  pages =	 {366--376},
  crossref =	 {Frank/Campari:1993},
}

@InProceedings{Kuipers/Byun:1987,
  author =	 {Kuipers, B. J. and Byun, Y. T.},
  title =	 {A qualitative approach to robot exploration and map
		 learning},
  booktitle =	 {Proceedings of the IEEE Workshop on Spatial Reasoning
		 and Multi-Sensor Fusion},
  year =	 {1987},
  pages =	 {390--404},
  publisher =	 kauf,
  address =	 kaufort,
}

@Article{Kuipers/Levitt:1988,
  author =	 {Kuipers, B. J. and Levitt, T.},
  title =	 {Navigation and mapping in large-scale space},
  journal =	 aim,
  volume =	 {9},
  number =	 {2},
  year =	 {1988},
  pages =	 {25--43},
}

@Article{Kuipers:1978,
  author =	 {Kuipers, B. J.},
  title =	 {Modelling spatial knowledge},
  journal =	 cs,
  year =	 {1978},
  volume =	 {2},
  pages =	 {129--153},
}

@InProceedings{Kumar/Mukerjee:1987,
  author =	 {Krishna Kumar and Amitabha Mukerjee},
  title =	 {Temporal Event Conceptualization},
  crossref =	 {ijcai:1987},
}

@Article{Kumar:1992,
  author =	 {Vipin Kumar},
  title =	 {Algorithms for Constraint Satisfaction Problems: A
		 Survey},
  journal =	 aim,
  year =	 {1992},
  volume =	 {13},
  number =	 {1},
  pages =	 {32--44},
}

@Book{Lakoff/Johnson:1980,
  author =	 {George Lakoff and M. Johnson},
  title =	 {Metaphors we live by},
  publisher =	 {University of Chicago Press},
  address =	 {Chicago},
  year =	 {1980},
}

@Book{Lakoff:1987,
  author =	 {George Lakoff},
  title =	 {Women, Fire, and Dangerous Things: What Categories
  		  Reveal About the Mind},
  publisher =	 {University of Chicago Press},
  address =	 {Chicago},
  year =	 {1987},
}

@Article{Lakoff:1990,
  author =	 {George Lakoff},
  title =	 {The Invariance Hypothesis: is abstract reason based on
		 image schemas?},
  journal =	 {Cognitive Linguistics},
  year =	 {1990},
  volume =	 {1},
  number =	 {1},
  pages =	 {39--74},
  source =	 {Handed out at the NATO ASI Cognitive and Linguistic
		 Aspects of Geographic Space},
}

@Misc{Lakoff:????,
  author =	 {George Lakoff},
  title =	 {Cognitive Semantics},
  howpublished = {FIND OUT HOW PUBLISHED!},
  note =	 {Handed out at the NATO ASI Cognitive and Linguistic
		 Aspects of Geographic Space},
  month =	 jul,
  year =	 {1990},
  abstract =	 {Summary of the author's book Women, Fire, and
		 Dangerous Things: What Categories Reveal About the
		 Mind},
}

@InProceedings{Lang/Carstensen:1989,
  author =	 {Lang, E. and K.-U. Carstensen},
  title =	 {{OSKAR: Ein PROLOG-Programm zur Modellierung der
		 Struktur und der Verarbeitung r"aumlichen Wissens}},
  crossref =	 {Metzing:1989},
  pages =	 {pp.234--243},
  language =	 {german},
  topics =	 {K"unstliche Intelligenz / Linguistik},
}

@InCollection{Lang:1987,
  author =	 {E. Lang},
  title =	 {{Semantik der Dimensionsauszeichnung r"aumlicher
		 Objekte}},
  editor =	 {M. Bierwisch and E. Lang},
  booktitle =	 {Grammatische und konzeptuelle Aspekte von
		 Dimensionsadjektiven},
  publisher =	 {Akademie-Verlag},
  address =	 {Berlin},
  year =	 {1987},
  language =	 {german},
}

@InProceedings{Latecki/Roehrig:1993,
  author =	 {Longin Latecki and Ralf R{\"o}hrig},
  title =	 {Orientation and Qualitative Angle for Spatial Reasoning},
  pages =	 {1544--1549},
  crossref =	 {ijcai:1993},
}

@InProceedings{Laurini/Milleret:1988,
  author =	 {Robert Laurini and Francoise Milleret},
  title =	 {Spatial Data Base Queries: Relational Algebra versus
		 Computational Geometry},
  booktitle =	 {Proceedings of the Fourth International Conference
		  on Statistical and Scientific Database Management},
  site =	 {Rome, Italy},
  editor =	 {Rafamelli and others},
  pages =	 {291--313},
  publisher =	 springer,
  address =	 springerort,
  year =	 {1988},
}

@Book{Laurini/Thompson:1992,
  author =	 {Robert Laurini and Derek Thompson},
  title =	 {Fundamentals of Spatial Information Systems},
  series =	 {The A.P.I.C. Series},
  number =	 {37},
  publisher =	 ap,
  address =	 aport,
  year =	 {1992},
}

@Article{Lee:1970,
  author =       {T. R. Lee},
  title =        {Perceived distance as a function of direction in the
		  city},
  journal =      {Environment and Behavior},
  year =         {1970},
  volume =       {2},
  pages =        {40--51},
}

@Article{Lee/Hsu:1991,
  author =	 {Suh-Yin Lee and Fang-Jung Hsu},
  title =	 {Picture algebra for spatial reasoning of iconic images
		 represented in 2{D} {C}-string},
  journal =	 {Pattern Recognition Letters},
  year =	 {1991},
  volume =	 {12},
  pages =	 {425--435},
  month =	 jul,
}

@InProceedings{Leishman:1989,
  author =	 {Debbie Leishman},
  title =	 {Analogy as a Constrained Partial Correspondance Over
		 Conceptual Graphs},
  crossref =	 {KR-89},
  pages =	 {223--234},
  bibs =	 {analogic.bib},
}

@InCollection{Levelt:1986,
  author =	 {Levelt, W. J. M.},
  title =	 {{Zur sprachlichen Abbildung des Raumes: Deiktische und
		 intrinsische Perspektive}},
  booktitle =	 {Perspektiven auf Sprache},
  year =	 {1986},
  editor =	 {Bosshardt, H.-G.},
  publisher =	 {de Gruyter},
  address =	 {Berlin},
}

@InCollection{Levesque:1986,
  author =	 {Hector Levesque},
  title =	 {Knowledge Representation and Reasoning},
  booktitle =	 {Annual Review of Computer Science},
  pages =	 {255--287},
  year =	 {1986},
  bibs =	 {ss89.bib},
}

@Article{Levitt/Lawton:1990,
  author =	 {Tod Levitt and Daryl Lawton},
  title =	 {Qualitative Navigation for Mobile Robots},
  journal =	 ai,
  year =	 {1990},
  volume =	 {44},
  pages =	 {305--360},
}

@Article{Lienhardt:1991,
  author =	 {P. Lienhardt},
  title =	 {Topological models for boundary representations: a
		  comparison with n-dimensional generalized maps},
  journal =	 {Computer Aided Design},
  year =	 {1991},
  volume =	 {23},
  number =	 {1},
  pages =	 {59--82},
}

@Article{Ligozat/Bestougeff:1989,
  author =	 {G{\'e}rard F. Ligozat and H. Bestougeff},
  title =	 {On Relations between Intervals},
  journal =	 {Information Processing Letters},
  volume =	 {32},
  pages =	 {177--182},
  year =	 {1989},
}

@InProceedings{Ligozat:1990,
  author =	 {G{\'e}rard F. Ligozat},
  title =	 {Weak Representations of Interval Algebras},
  pages =	 {715--720},
  crossref =	 {aaai:1990},
}

@InProceedings{Ligozat:1991,
  author =	 {G{\'e}rard F. Ligozat},
  title =	 {On Generalized Interval Calculi},
  pages =	 {234--240},
  crossref =	 {aaai:1991},
}

@InProceedings{Ligozat:1993a,
  author =	 {G{\'e}rard F. Ligozat},
  title =	 {Models for qualitative spatial reasoning},
  crossref =	 {Anger_et_al:1993},
  pages =	 {35--45},
}

@InProceedings{Ligozat:1993b,
  author =	 {G{\'e}rard F. Ligozat},
  title =	 {Qualitative Triangulation for Spatial Reasoning},
  pages =	 {54--68},
  crossref =	 {Frank/Campari:1993},
}

@InProceedings{Lindholm/Sarjakoski:1992,
  author =	 {Mikko Lindholm and Tapani Sarjakoski},
  title =	 {User models and information theory in the design of
		  a query interface for GIS},
  pages =	 {328--347},
  crossref =	 {Frank_et_al:1992},
}

@Article{Lindsay:1988,
  author =	 {Lindsay, R. K.},
  title =	 {Images and inference},
  journal =	 {Cognition},
  year =	 {1988},
  volume =	 {29},
  pages =	 {229--250},
  topics =	 {Spatial Reasoning / Psychologie / K"unstliche
		 Intelligenz / Imagery / Wissensrepr"asentation /
		 Raumbeschreibung},
}

@InProceedings{Loui:1989,
  author =	 {Loui, R. P.},
  title =	 {Analogical Reasoning, Defeasible Reasoning, and the
		 Reference Class},
  crossref =	 {KR-89},
  pages =	 {256--265},
  bibs =	 {analogic.bib},
}

@Book{Lowe/Moryadas:1975,
  author =	 {Lowe, John C. and Moryadas, S.},
  title =	 {The Geography of Movement},
  publisher =	 {Houghton Mifflin},
  year =	 {1975},
  address =	 {Boston},
}

@TechReport{Lueth_et_al:1994,
  sauthor =	 {Tim C. Lueth and others},
  author =	 {Tim C. Lueth and Thomas Laengle and Gerd Herzog and
		  Eva Stopp and Ulrich Rembold},
  title =	 {{KANTRA}: Human-Machine Interaction for Intelligent
		  Robots Using Natural Language},
  institution =	 {Universit\"at des Saarlandes},
  type =	 {SFB 314 (VITRA), Bericht},
  number =	 {104},
  year =	 {1994},
  month =	 jun,
  address =	 {Saarbr\"ucken, Germany},
}

@Book{Lynch:1960,
  author =	 {K. Lynch},
  title =	 {The Image of the City},
  year =	 {1960},
  publisher =	 mit,
  address =	 mitort,
}

@InProceedings{Maass:1993,
  author =	 {Maa{\ss{}}, W.}, 
  title =	 {A Cognitive Model for the Process of Multimodal,
		  Incremental Route Descriptions},
  pages =	 {1--13},
  crossref =	 {Frank/Campari:1993},
}

@InProceedings{Maass_et_al:1993,
  author =	 {Maa{\ss{}}, W. and Wazinski, P. and Herzog, G.},
  title =	 {VITRA GUIDE: Multimodal Route Descriptions for
		  Computer Assisted Vehicle Navigation},
  booktitle =	 {Sixth International Conference on Industrial \&
		  Engineering Applications of Artificial Intelligence
		  \& Expert Systems},
  year =	 {1993},
  month =	 jun,
  pages =	 {104--112},
  site =	 {Edinburgh},
}

@InProceedings{MacNish_et_al:1993,
  author =	 {Craig MacNish and Antony Galton and John Gooday},
  title =	 {Combining qualitative and quantitative reasoning},
  crossref =	 {Anger_et_al:1993},
  pages =	 {101--105},
}

@Article{Mackworth:1977a,
  author =	 {Alan K. Mackworth},
  title =	 {Consistency in Networks of Relations},
  journal =	 ai,
  year =	 {1977},
  volume =	 {8},
  pages =	 {99--118},
  keywords =	 {constraint satisfaction},
}

@InProceedings{Mackworth:1977b,
  author =	 {Alan K. Mackworth},
  title =	 {On Reading Sketch Maps},
  crossref =	 {ijcai:1977},
}

@InCollection{Mackworth:1987,
  author =	 {Alan K. Mackworth},
  title =	 {Constraint Satisfaction},
  crossref =	 {Shapiro:1987},
  bibs =	 {ss89.bib},
}

@InCollection{Mackworth:1988,
  author =	 {Alan K. Mackworth},
  title =	 {Adequacy Criteria for Visual Knowledge
		 Representation},
  booktitle =	 {Computational Processes in Human Vision},
  publisher =	 {Ablex Publishing Co.},
  address =	 {Norwood, NJ},
  year =	 {1988},
  editor =	 {Zenon W. Pylyshyn},
  pages =	 {462--474},
}

@Misc{Maddux:1989,
  author =	 {Roger D. Maddux},
  title =	 {Some algebras and algorithms for reasoning about time
		 and space},
  howpublished = {Presented on April 5, 1989 to the Applied
		 Mathematics-Engineering Colloquium, Iowa State
		 University},
  month =	 apr,
  year =	 {1989},
}

@InProceedings{Malik/Binford:1983,
  author =	 {J. Malik and T. O. Binford},
  title =	 {Reasoning in Time and Space},
  crossref =	 {ijcai:1983},
  pages =	 {343--345},
}

@Article{Mani/Johnson-Laird:1982,
  author =	 {K. Mani and P. N. Johnson-Laird},
  title =	 {The mental representation of spatial descriptions},
  journal =	 {Memory and Cognition},
  year =	 {1982},
  volume =	 {10},
  number =	 {2},
}

@Misc{Marcinowski:1987,
  author =	 {Matthias Marcinowski},
  howpublished = {Diplomarbeit an der Fakult"at f"ur Physik der
		 Eberhard-Karls-Universit"at T"ubingen},
  title =	 {{Codierungsprobleme bei assoziativen Speichern}},
  year =	 {1987},
  bibs =	 {connproj.bib},
  language =	 {german},
}

@InProceedings{Mark/Egenhofer:1992,
  author =	 {David M. Mark and Max J. Egenhofer},
  title =	 {An Evaluation of the 9-Intersection for Region-Line
		 Relations},
  booktitle =	 {GIS/LIS '92},
  year =	 {1992},
  pages =	 {513--521},
  site =	 {San Jose, CA},
}

@InProceedings{Mark/Frank:1989,
  author =	 {David M. Mark and Andrew U. Frank},
  title =	 {Concepts of space and spatial language},
  booktitle =	 {Proceedings Ninth International Symposium on
		 Computer-Assisted Cartography (Auto-Carto 9)},
  year =	 {1989},
  pages =	 {538--556},
  site =	 {Baltimore, MD},
}

Misc{Mark/Frank:????,
  author =	 {David M. Mark and Andrew U. Frank},
  title =	 {Experimental and Formal Models of Geographic Space},
  howpublished = {FIND OUT HOW PUBLISHED!},
  note =	 {Handed out at the NATO ASI Cognitive and Linguistic
		 Aspects of Geographic Space},
  month =	 jul,
  year =	 {1990},
}

@InProceedings{Mark:1992,
  author =	 {David M. Mark},
  title =	 {Spatial Metaphors for Human-Computer Interaction},
  crossref =	 {Cowen:1992},
  pages =	 {104--112},
}

@InProceedings{Mark_et_al:1987,
  author =	 {David M. Mark and S. Svorou and D. Zubin},
  title =	 {Spatial terms and spatial concepts: Geographic,
		 cognitive, and linguistic perspectives},
  booktitle =	 {Proceedings International Symposium on Geographic
		 Information Systems: The Research Agenda},
  year =	 {1987},
  volume =	 {2},
  pages =	 {101--112},
  site =	 {Crystal City, VA},
  month =	 nov,
}

@TechReport{Mark_et_al:1989,
  author =	 {David M. Mark and others},
  realauthor =	 {David M. Mark and Gould, M.D. and Freundschuh, S.M.
  		 and Egenhofer, M.J. and Kuhn, W. and McGranaghan, M.
		 and S. Svorou},
  title =	 {Working bibliography on ``Languages of Spatial
  		 Relations''},
  institution =	 {National Center for Geographic Information and
  		 Analysis},
  type =	 {Report},
  number =	 {89-10},
  year =	 {1989},
  address =	 {Santa Barbara, CA},
}

@Book{Marr:1982,
  author =	 {David Marr},
  title =	 {Vision},
  publisher =	 {Freeman},
  year =	 {1982},
  address =	 {New York},
}

@Misc{Materne:1990,
  author =	 {Materne, S.},
  title =	 {{Ein System zur Verhaltung von Zeitverh"altnissen -
		 MTMM}},
  howpublished = {Diplomarbeit, Universit"at Bonn},
  month =	 jun,
  year =	 {1990},
  bibs =	 {ss91.bib},
  language =	 {german},
}

@Book{Maturana/Varela:1980,
  author =	 {Maturana, H. R. and Varela, F. J.},
  title =	 {Autopoiesis and Cognition},
  publisher =	 reidel,
  address =	 reidelort,
  year =	 {1980},
  bibs =	 {connproj.bib},
}

@Book{Maturana/Varela:1984,
  author =	 {Maturana, H. R. and Varela, F. J.},
  title =	 {{El \'Arbol del Conocimiento. Las bases biol\'ogicas
		 del entendimiento humano}},
  publisher =	 {Editorial Universitaria},
  address =	 {Santiago de Chile},
  year =	 {1984},
  bibs =	 {.bib},
}

@Article{Mavrovouniotis/Stephanopoulos:1988,
  author =	 {M. L. Mavrovouniotis and G. Stephanopoulos},
  title =	 {Formal Order-of-Magnitude Reasoning in Process
		 Engineering},
  journal =	 {Computer Chemical Engineering},
  year =	 {1988},
  volume =	 {12},
  pages =	 {867--880},
}

@TechReport{McAllester:1980,
  author =	 {David McAllester},
  title =	 {An Outlook on Truth Maintenance},
  institution =	 {MIT Artificial Intelligence Laboratory},
  year =	 {1980},
  type =	 {Memo},
  number =	 {551},
  address =	 {Cambridge, MA},
  month =	 aug,
}

@InProceedings{McAllester:1990,
  author =	 {David McAllester},
  title =	 {Truth Maintenance},
  pages =	 {1109--1116},
  crossref =	 {aaai:1990},
}

@InCollection{McCarthy/Hayes:1969,
  author =	 {John McCarthy and Patrick Hayes},
  title =	 {Some philosophical problems from the standpoint of
		 artificial intelligence},
  booktitle =	 {Machine Intelligence 4},
  publisher =	 {American Elsevier},
  address =	 {New York},
  year =	 {1969},
  editor =	 {B. Meltzer and D. Michie},
  pages =	 {463--502},
}

@TechReport{McClelland:1987,
  author =	 {James L. McClelland},
  title =	 {The Case for Interactionism in Language Processing},
  institution =	 {Department of Psychology, Carnegie-Mellon University},
  number =	 {ONR-87-1},
  year =	 {1987},
  bibs =	 {connproj.bib},
}

@Article{McDermott/Davis:1984,
  author =	 {McDermott, D. V. and Davis, E.},
  title =	 {Planning Routes through Uncertain Territory},
  journal =	 ai,
  year =	 {1984},
  volume =	 {22},
  pages =	 {107--156},
}

@Article{McDermott:1983,
  author =	 {McDermott, D. V.},
  title =	 {Contexts and Data Dependencies: A Synthesis},
  journal =	 {IEEE Transactions on Pattern Analysis and Machine
		 Intelligence},
  year =	 {1983},
  volume =	 {5},
  number =	 {3},
  pages =	 {237--246},
}

@InCollection{McDermott:1987,
  author =	 {McDermott, D. V.},
  title =	 {Reasoning, Spatial},
  crossref =	 {Shapiro:1987},
  pages =	 {863--870},
}

@InCollection{McDermott:1992,
  author =	 {McDermott, D. V.},
  title =	 {Reasoning, Spatial},
  crossref =	 {Shapiro:1992},
  pages =	 {1322--1334},
}

@InCollection{McGranaghan:1991,
  author =	 {Matthew McGranaghan},
  title =	 {Schema and Object Matching as a Basis for Interpreting
		 Textual Specifications of Geographical Locations},
  crossref =	 {Mark/Frank:1991},
  pages =	 {387--402},
}

@Article{McNamara:1986,
  author =	 {T. P. McNamara},
  title =	 {Mental representations of spatial relations},
  journal =	 {Cognitive Psychology},
  year =	 {1986},
  volume =	 {18},
  number =	 {1},
  pages =	 {87--121},
}

@InProceedings{Meiri:1991,
  author =	 {Itay Meiri},
  title =	 {Combining Qualitative and Quantitative Constraints
		 in Temporal Reasoning},
  pages =	 {260--267},
  crossref =	 {aaai:1991},
}

@Article{Meseguer:1989,
  author =	 {Meseguer, Pedro},
  title =	 {Constraint Satisfaction Problems: An Overview},
  journal =	 {AI Communications},
  volume =	 {2},
  number =	 {1},
  pages =	 {3--17},
  month =	 mar,
  year =	 {1989},
}

@InCollection{Minsky:1981a,
  author =	 {Marvin Minsky},
  title =	 {A Framework for Representing Knowledge},
  editor =	 {J. Haugeland},
  booktitle =	 {Mind Design---Philosophy, Psychology, Artificial
		 Intelligence},
  publisher =	 mit,
  address =	 mitort,
  year =	 {1981},
  pages =	 {95--128},
  note =	 {Reprinted in \cite{Brachman/Levesque:1985}. First
		 published in: \cite{Winston:1975}},
  bibs =	 {ss89.bib},
}

@Book{Minsky:1986,
  author =	 {Marvin Minsky},
  title =	 {The Society of Mind},
  publisher =	 {Simon and Schuster},
  year =	 {1986},
  address =	 {New York},
}

@InProceedings{Mitra/Loganantharaj:1993,
  author =	 {Debasis Mitra and Rasiah Loganantharaj},
  title =	 {Experimenting with a temporal constraint
		 propagation algorithm},
  crossref =	 {Anger_et_al:1993},
  pages =	 {245--256},
}

@InProceedings{Mohnhaupt:1987,
  author =	 {Michael Mohnhaupt},
  title =	 {On Modelling Events with an Analogical
		 Representation},
  booktitle =	 {Proceedings GWAI 1987 11th German Workshop on
		 Artificial Intelligence, Geseke},
  year =	 {1987},
  editor =	 {Morik, K.},
  pages =	 {31--41},
  publisher =	 springer,
  address =	 springerort,
  month =	 sep,
  tumbib =	 {dokument-nr.: 120920},
  bibs =	 {analogic.bib},
}

@Book{Mohnhaupt:1992,
  author =	 {Michael Mohnhaupt},
  title =	 {{Prinzipien piktorieller Repr"asentationssysteme}},
  year =	 {1992},
  volume =	 {300},
  series =	 {Informatik Fachberichte},
  publisher =	 springer,
  address =	 springerort,
  language =	 {german},
}

@Article{Mokhtarian/Mackworth:1986,
  author =	 {Farzin Mokhtarian and Alan Mackworth},
  title =	 {Scale base description and recognition of planar
		  curves and two-dimensional shapes},
  journal =	 {IEEE PAMI},
  year =	 {1986},
  volume =	 {8},
  number =	 {1},
  pages =	 {34--43},
}

@Article{Montanari:1974,
  author =	 {Montanari, U.},
  title =	 {Network of Constraints: Fundamental Properties and
		 Applications to Picture Processing},
  journal =	 {Information Science},
  year =	 {1974},
  volume =	 {7},
  pages =	 {95--132},
}

@InProceedings{Montello:1993,
  author =	 {Daniel R. Montello},
  title =	 {Scale and Multiple Psychologies of Space},
  pages =	 {312--321},
  crossref =	 {Frank/Campari:1993},
}

@InProceedings{Moore82a,
  author =	 {R. C. Moore},
  title =	 {The Role of Logic in Knowledge Representation and
		 Commonsense Reasoning},
  crossref =	 {aaai:1982},
  pages =	 {428--433},
  bibs =	 {ss89.bib},
}

@TechReport{Mukerjee/Bratton:1991,
  title =	 {Vocabulary Choice and Modeling Bias: A Study in
		 Spatial Learning},
  author =	 {Amitabha Mukerjee and Samuel E. Bratton},
  institution =	 {Computer Science Department, Texas A \& M University},
  year =	 {1991},
  number =	 {TAMU 91-009},
  month =	 apr,
}

@InProceedings{Mukerjee/Joe:1990a,
  author =	 {Amitabha Mukerjee and Gene Joe},
  title =	 {A Qualitative Model for Space},
  pages =	 {721--727},
  crossref =	 {aaai:1990},
}

@TechReport{Mukerjee/Joe:1990b,
  author =	 {Amitabha Mukerjee and Gene Joe},
  title =	 {A Qualitative Model for Space},
  institution =	 {Computer Science Department, Texas A \& M University},
  year =	 {1990},
  number =	 {TAMU 90-005},
  month =	 jan,
}

@TechReport{Mukerjee/Joe:1992,
  author =	 {Amitabha Mukerjee and Gene Joe},
  title =	 {A Qualitative Spatial Representation Based on Tangency
		 and Alignments},
  institution =	 {Computer Science Department, Texas A \& M University},
  year =	 {1992},
  number =	 {TAMU 92-003},
  month =	 jan,
}

@TechReport{Mukerjee/King:1990,
  author =	 {Amitabha Mukerjee and Joseph Scott King},
  title =	 {Inexact Visualization: Qualitative Object
		 Representation for Recognizable Reconstruction},
  institution =	 {Computer Science Department, Texas A \& M University},
  year =	 {1990},
  number =	 {TAMU 90-002},
  month =	 jan,
}

@InProceedings{Mukerjee/Schnorrenberg:1991,
  author =	 {Amitabha Mukerjee and Schnorrenberg, F.},
  title =	 {Reasoning across scales in space and time},
  booktitle =	 {AAAI Symposium on Principles of Hybrid Reasoning},
  year =	 {1991},
  month =	 nov,
}

@TechReport{Mukerjee/Srivastava:1994,
  author =	 {Amitabha Mukerjee and Srivastava, S.},
  title =	 {Designing a Class of Geometries---From Concept to
		  Instantiation},
  institution =	 {IIT Kanpur Department of Mechanical Engineering},
  year =	 {1994},
  number =	 {ME-94-02},
}

@InProceedings{Mukerjee:1991a,
  author =	 {Amitabha Mukerjee},
  title =	 {Accidental alignments: an approach to qualitative vision},
  booktitle =	 {IEEE Conference on Robotics and Automation},
  pages =	 {1096--1101},
  site =	 {Sacramento, CA},
  year =	 {1991},
  month =	 apr,
}

@InProceedings{Mukerjee:1991b,
  author =	 {Amitabha Mukerjee},
  title =	 {Qualitative geometric design},
  booktitle =	 {Solid Modeling Foundations and CAD/CAM Applications,
		 ACM/SIGGRAPH Symposium},
  site =	 {Austin, TX},
  year =	 {1991},
  month =	 jun,
}

@InProceedings{Mukerjee:1994,
  author =	 {Amitabha Mukerjee},
  title =	 {Metric-less modeling of one, two and
		  three-dimensional metric spaces},
  booktitle =	 {Working notes of the AAAI Workshop on Spatial and
		  Temporal Reasoning, AAAI-94},
  site =	 {Seattle},
  year =	 {1994},
  pages =	 {39-45},
}

@InProceedings{Narayanan_et_al:1994,
  author =	 {Narayanan, N. Hari and Masaki Suwa and Hiroshi Motoda},
  title =	 {How things work: predicting behaviors from device
		  diagrams},
  pages =	 {1161--1167},
  crossref =	 {aaai:1994},
}

@Article{Neumann/Mohnhaupt:1988,
  author =	 {Bernd Neumann and Michael Mohnhaupt},
  title =	 {{Propositionale und analoge Repr"asentation von
		 Bewegungsverl"aufen}},
  journal =	 {KI},
  year =	 {1988},
  volume =	 {1},
  pages =	 {4--10},
  bibs =	 {gwaikrs.bib},
  language =	 {german},
}

@InCollection{Neumann:1988,
  author =	 {Neumann, B.},
  title =	 {{Propositionale und analoge Repr"asentation von
		 Ereignissen}},
  editor =	 {Rahmstorf, G.},
  booktitle =	 {Wissensrepraesentation in Expertensystemen},
  publisher =	 springer,
  address =	 springerort,
  year =	 {1987},
  pages =	 {132--146},
  month =	 {Maerz 16--18},
  tumbib =	 {dokument-nr.: 131757},
  bibs =	 {analogic.bib},
  language =	 {german},
}

@InProceedings{Nielsen:1988,
  author =	 {Paul Nielsen},
  title =	 {A Qualitative Approach to Mechanical Constraint},
  crossref =	 {aaai:1988},
  pages =	 {270--274},
  note =	 {Reprinted in \cite{Weld/deKleer:1990}},
  bibs =	 {qualphys.bib},
}

@InProceedings{Nilsson:1969,
  author =	 {Nilsson, N. J.},
  title =	 {A mobile automaton: An application of {AI}
		 techniques},
  crossref =	 {ijcai:1969},
}

@InProceedings{Noekel:1989,
  author =	 {Klaus N{\"o}kel},
  title =	 {Convex Relations Between Time Intervals},
  booktitle =	 {5. {\"O}sterreichische
		 Artificial-Intelligence-Tagung},
  year =	 {1989},
  editor =	 {J. Retti and K. Leidlmair},
  pages =	 {298--302},
  volume =	 {208},
  series =	 {Informatik Fachberichte},
  organization = {GI},
  publisher =	 springer,
  address =	 springerort,
  month =	 mar,
  rnotes =	 {subset of Allen's time interval relations in which
		 global consistency of the edge labelling polynomial in
		 time},
}

@InProceedings{Novak/Bulko:1990,
  author =	 {Novak, Jr., Gordon S. and William C. Bulko},
  title =	 {Understanding Natural Language with Diagrams},
  pages =	 {465--470},
  crossref =	 {aaai:1990},
}

@Article{Nudel:1983,
  author =	 {Nudel, B.},
  title =	 {Consistent-labeling problems and their algorithms:
		 Expected complexities and theory-based heuristics},
  journal =	 ai,
  year =	 {1983},
  volume =	 {21},
  pages =	 {135--178},
  topics =	 {K"unstliche Intelligenz / Mathematik/Geometrie /
		 Konkreter Raum},
}

@InCollection{Nudel:1988,
  author =	 {Bernard Nudel},
  title =	 {Tree Search and Arc Consistency in Constraint
		 Satisfaction Algorithms},
  editor =	 {Laveen N. Kanal and Vipin Kumar},
  booktitle =	 {Search in Artificial Intelligence},
  publisher =	 springer,
  address =	 springerort,
  year =	 {1988},
  pages =	 {287--342},
  source =	 {Kumar:1992},
}

@InCollection{Nutter:1987,
  author =	 {Nutter, J. T.},
  title =	 {Reasoning, Default},
  crossref =	 {Shapiro:1987},
  bibs =	 {ss91.bib},
}

@InProceedings{Olivier_et_al:1994,
  author =	 {Olivier, P. and Maeda, T. and Jun-ichi Tsuji},
  title =	 {Automatic depiction of spatial descriptions},
  pages =	 {1405--1410},
  crossref =	 {aaai:1994},
}

@Book{Olson/Bialystok:1983,
  author =	 {D. R. Olson and E. Bialystok},
  title =	 {Spatial Cognition---The Structure and Development of
		  Mental Representations of Spatial Relations},
  year =	 {1983},
  publisher =	 le,
  address =	 leort,
}

@Article{Oppen:1980,
  author =	 {Oppen, D.},
  title =	 {Prettyprinting},
  journal =	 {ACM TOPLAS},
  year =	 {1980},
  volume =	 {2},
  number =	 {4},
  pages =	 {465--483},
  month =	 oct,
}

@TechReport{PAKI87,
  author =	 {Kl{\"o}ck, E. and Pra\ss{}ler, E. and Wu, D. and
		 Hartl, A. and Zimmermann, K.},
  title =	 {Parallelverarbeitungsmo\-delle f"ur
		 {Problemstellungen} in der {K"unstlichen}
		 {Intelligenz}},
  institution =	 tum,
  month =	 {Dezember},
  year =	 {1987},
  bibs =	 {connproj.bib},
  language =	 {german},
}

@InCollection{Paivio:1983,
  author =	 {Paivio, A.},
  title =	 {The empirical case for dual coding},
  booktitle =	 {Imagery, Memory, and Cognition},
  year =	 {1983},
  editor =	 {Yuille, J.},
  publisher =	 le,
  address =	 leort,
  pages =	 {307--332},
  topics =	 {Imagery / Psychologie / Kognitive Karten},
}

@Book{Palm:1980,
  author =	 {G{\"u}nther Palm},
  title =	 {Neural Assemblies},
  publisher =	 springer,
  address =	 springerort,
  year =	 {1980},
  bibs =	 {connproj.bib},
}

@Article{Palm:1987,
  author =	 {G{\"u}nther Palm},
  title =	 {Computing with Neural Networks},
  journal =	 {Science},
  volume =	 {235},
  pages =	 {1227--1228},
  month =	 mar,
  year =	 {1987},
  bibs =	 {connproj.bib},
}

@InProceedings{Palmer:1975a,
  author =	 {Stephen E. Palmer},
  title =	 {The nature of perceptual representation: An
		 examination of the analog, propositional controversy},
  booktitle =	 {TINLAP-1},
  year =	 {1975},
  editor =	 {R. Schank and B. L. Nash-Webber},
  pages =	 {165--173},
}

@Article{Palmer:1975b,
  author =	 {Stephen E. Palmer},
  title =	 {The effects of contextual scenes on the identification
		 of objects},
  journal =	 {Memory and Cognition},
  year =	 {1975},
  volume =	 {3},
  number =	 {5},
  pages =	 {519--526},
  abstract =	 {Psychological experiment demonstrating the influence
		 of the prior presentation of visual scenes on the
		 identification of briefly presented drawings of
		 real-world objects. Also: Morton's logogen model and
		 Luce's choice axiom},
}

@Unpublished{Palmer:1977,
  author =	 {Stephen E. Palmer},
  title =	 {Reference Frames in Spatial Knowledge: Cognitive Maps
		 in Tolman Hall},
  note =	 {University of California, Berkeley},
  source =	 {Draft copy from Christian Freksa---year is a guess},
  year =	 {1977},
}

@InCollection{Palmer:1978,
  author =	 {Stephen E. Palmer},
  title =	 {Fundamental Aspects of Cognitive Representation},
  editor =	 {Rosch, E. and Lloyd, B. B.},
  booktitle =	 {Cognition and Categorization},
  publisher =	 le,
  address =	 leort,
  year =	 {1978},
  bibs =	 {connproj.bib gwaikrs.bib ss89.bib},
}

@InProceedings{Papadias/Sellis:1992,
  author =	 {Dimitris Papadias and Timos Sellis},
  title =	 {Spatial Reasoning Using Symbolic Arrays},
  pages =	 {153--161},
  crossref =	 {Frank_et_al:1992},
}

@InProceedings{Papadias/Sellis:1993,
  author =	 {Dimitris Papadias and Timos Sellis},
  title =	 {The semantics of relations in 2{D} space using
		  representative points: Spatial indexes},
  pages =	 {234--247},
  crossref =	 {Frank/Campari:1993},
}

@Article{Payton:1990,
  author =	 {David W. Payton},
  title =	 {Internalized Plans: A Representation for Action
  		  Resources},
  journal =	 {Robotics and Autonomous Systems},
  year =	 {1990},
  volume =	 {6},
  number =	 {1},
  pages =	 {89--103},
  publisher =	 nh,
  address =	 nhort,
}

@InProceedings{Pederson:1993,
  author =	 {Eric Pederson},
  title =	 {Geographic and Manipulable Space in Two Tamil
		  Linguistic Systems},
  pages =	 {294--311},
  crossref =	 {Frank/Campari:1993},
}

@Article{Pentland:1986,
  author =	 {Alex P. Pentland},
  title =	 {Perceptual organization and the representation of
		 natural form},
  journal =	 ai,
  year =	 {1986},
  volume =	 {28},
  pages =	 {293--331},
}

@Article{Peuquet/Ci-Xiang:1987,
  author =	 {Peuquet, D. and Ci-Xiang, Z.},
  title =	 {An Algorithm to determine the directional relationship
		 between arbitrarily shaped polygons in the plane},
  journal =	 {Pattern Recognition},
  year =	 {1987},
  volume =	 {20},
  number =	 {1},
  pages =	 {65--74},
  rnotes =	 {Diss; Egenhofer's Lit},
}

@InProceedings{Peuquet:1986,
  author =	 {Peuquet, D.},
  title =	 {The Use of Spatial Relationships to Aid Spatial
		  Database Retrieval},
  booktitle =	 {Second International Symposium on Spatial Data
		  Handling},
  site =	 {Seattle, WA},
  year =	 {1986},
  pages =	 {459--471},
}

@Article{Peuquet:1992,
  author =	 {Peuquet, D.},
  title =	 {An Algorithm for Calculating the Minimum {E}uclidean
		 Distance between two Geographic Features},
  journal =	 {Computers {\&} Geosciences},
  year =	 {1992},
  volume =	 {18},
  number =	 {8},
  pages =	 {989--1001},
}

@Article{Pfefferkorn:1975,
  author =	 {Pfefferkorn, Charles E.},
  title =	 {A Heuristic Problem Solving Design System for
		 Equipment or Furniture Layouts},
  journal =	 cacm,
  year =	 {1975},
  volume =	 {18},
  number =	 {5},
  pages =	 {286--297},
  month =	 may,
  abstract =	 {early planning based approach to furniture placement
		 in office environments using 3 layered representation:
		 convex polygons for objects and layout; constraints for
		 relations between objects and properties required of
		 layout; design description from initial to goal
		 configurations},
}

@InProceedings{Pigot:1992,
  author =	 {Pigot, S.},
  title =	 {A topological model for a {3D} spatial information system},
  crossref =	 {Cowen:1992},
}

@Book{Posner:1989,
  author =	 {Michael I. Posner},
  title =	 {Foundations of Cognitive Science},
  publisher =	 mit,
  year =	 {1989},
  address =	 mitort,
  contents =	 {articles by Simon, Newell, Pylyshyn, Rumelhart,
		 Barwise, Pinker, Johnson-Laird and others},
}

@InCollection{Pratt:1991,
  author =	 {Ian Pratt},
  title =	 {Spatial Reasoning and Route Planning Using Sinusoidal
		 Transforms},
  crossref =	 {Mark/Frank:1991},
  pages =	 {219--233},
}

@Book{Preparata/Shamos:1985,
  author =	 {Preparata, F. P. and Shamos, M. I.},
  title =	 {Computational Geometry: an Introduction},
  publisher =	 springer,
  address =	 springerort,
  year =	 {1985},
}

@InCollection{Pribbenow:1989,
  author =	 {Simone Pribbenow},
  title =	 {{Regelbasierte Interpretation lokaler Pr"apositionen
		 am Beispiel von IN und BEI}},
  crossref =	 {Habel_et_al:1989},
  language =	 {german},
}

@InCollection{Pribbenow:1990,
  author =	 {Simone Pribbenow},
  title =	 {{Interaktion von propositionalen und bildhaften
		 Repr"asentationen}},
  crossref =	 {Freksa/Habel:1990},
  topics =	 {Wissensrepr"asentation / Spatial Reasoning /
		 Raumbeschreibung / K"unstliche Intelligenz /
		 Raumwissen},
  language =	 {german},
}

@PhdThesis{Pribbenow:1991,
  author =	 {Simone Pribbenow},
  title =	 {{Zur Verarbeitung von Lokalisierungsausdr"ucken in
		 einem hybriden System}},
  school =	 {Universit"at Hamburg},
  year =	 {1991},
  note =	 {Reprinted as IWBS Report 211, IBM Deutschland, 1992},
  language =	 {german},
}

@InProceedings{Pullar/Egenhofer:1988,
  author =	 {David Pullar and Max J. Egenhofer},
  title =	 {Toward Formal Definitions of Topological Relations
		 Among Spatial Objects},
  booktitle =	 {Third International Symposium on Spatial Data
		 Handling},
  site =	 {Sydney, Australia},
  year =	 {1988},
  editor =	 {D. Marble},
  pages =	 {225--241},
  month =	 aug,
}

@InCollection{Pylyshyn:1981,
  title =	 {The Imagery Debate: Analog Media vs Tacit Knowledge},
  author =	 {Zenon Pylyshyn},
  crossref =	 {Block:1981},
  pages =	 {151--206},
  bibs =	 {gwaikrs.bib ss89.bib},
}

@InProceedings{Raiman:1986,
  author =	 {Olivier Raiman},
  title =	 {Order of Magnitude Reasoning},
  crossref =	 {aaai:1986},
  pages =	 {100--104},
}

@Unpublished{Rajagopalan:1992,
  author =	 {Raman Rajagopalan},
  title =	 {Manipulating Frames of Reference for Qualitative
		 Spatial Reasoning},
  note =	 {Unpublished Draft (ECCAI-92 Workshop participant)},
  month =	 mar,
  year =	 {1992},
}

@InProceedings{Rajagopalan:1994,
  author =	 {Raman Rajagopalan},
  title =	 {A model for integrated qualitative spatial and
		  dynamic reasoning in physical systems},
  pages =	 {1411--1417},
  crossref =	 {aaai:1994},
}

@InProceedings{Randell/Cohn:1989,
  author =	 {D. A. Randell and A. G. Cohn},
  title =	 {Modelling Topological and Metrical Properties of
		  Physical Processes},
  editor =	 {Brachman, R. and Levesque, H. and Reiter, R.},
  booktitle =	 {Proceedings 1st International Conference on the
		  Principles of Knowledge Representation and
		  Reasoning},
  publisher =	 kauf,
  address =	 kaufort,
  pages =	 {55--66},
  year =	 {1989},
}

@InProceedings{Randell_et_al:1992a,
  author =	 {D. A. Randell and A. G. Cohn and Z. Cui},
  title =	 {An Interval Logic for Space based on ``Connection''},
  editor =	 {Bernd Neumann},
  booktitle =	 {ECAI-92: Proceedings of the 10th European Conference
		  on Artificial Intelligence},
  publisher =	 {John Wiley},
  address =	 {Chichester},
  pages =	 {394--398},
  year =	 {1992},
}

@InCollection{Randell_et_al:1992b,
  author =	 {D. A. Randell and A. G. Cohn and Z. Cui},
  title =	 {Naive Topology: Modelling the Force Pump},
  crossref =	 {Faltings/Struss:1992},
  pages =	 {177--192},
}

@InProceedings{Randell_et_al:1992c,
  author =	 {D. A. Randell and Z. Cui and A. G. Cohn},
  title =	 {A Spatial Logic Based on Regions and Connection},
  booktitle =	 {Proceedings 3rd International Conference on
		  Knowledge Representation and Reasoning},
  publisher =	 kauf,
  address =	 kaufort,
  pages =	 {165--176},
  year =	 {1992},
}

@InProceedings{Randell_et_al:1992d,
  author =	 {D. A. Randell and A. G. Cohn and Z. Cui},
  title =	 {Computing Transitivity Tables: {A} Challenge for
		  Automated Theorem Provers},
  booktitle =	 {Proceedings CADE 11},
  publisher =	 springer,
  address =	 springerort,
  year =	 {1992},
}

@InCollection{Raper/Bundock:1991,
  author =	 {Jonathan Raper and Mike Bundock},
  title =	 {{UGIX}: Layer Based Model for a {GIS} User Interface},
  crossref =	 {Mark/Frank:1991},
  pages =	 {449--475},
}

@TechReport{Rehkaemper:1987,
  title =	 {{Mentale Bilder und Wegbedeutungen}},
  author =	 {Klaus Rehk{\"a}mper},
  institution =	 {IBM Deutschland},
  year =	 {1987},
  type =	 {LILOG-Report},
  number =	 {20},
  address =	 {Stuttgart},
  month =	 aug,
  bibs =	 {gwaikrs.bib},
  language =	 {german},
}

@TechReport{Rehkaemper:1988,
  title =	 {{Mentale Bilder --- Analoge Repr"asentationen}},
  author =	 {Klaus Rehk{\"a}mper},
  institution =	 {IBM Deutschland},
  year =	 {1988},
  type =	 {LILOG-Report},
  number =	 {65},
  address =	 {Stuttgart},
  month =	 oct,
  bibs =	 {gwaikrs.bib},
  language =	 {german},
}

@PhdThesis{Rehkaemper:1991,
  author =	 {Klaus Rehk{\"a}mper},
  title =	 {{Sind mentale Bilder bildhaft? --- Eine Fragestellung
		 zwischen Philosophie und Wissenschaft}},
  school =	 {Universit"at Hamburg},
  month =	 jun,
  year =	 {1991},
  language =	 {german},
}

@Article{Reiter/Mackworth:1989,
  author =	 {Raymond Reiter and Alan K. Mackworth},
  title =	 {A Logical Framework for Depiction and Image
		 Interpretation},
  journal =	 ai,
  year =	 {1989},
  volume =	 {41},
  pages =	 {125--155},
}

@InCollection{Reitman/Wilcox:1988,
  author =	 {Reitman, Walter and Wilcox, Bruce},
  title =	 {Perception and Representation of Spatial Relations in
		 a Program for Playing Go},
  booktitle =	 {Computer Games},
  publisher =	 springer,
  address =	 springerort,
  year =	 {1988},
  editor =	 {Levy, Davidi N. L.},
  volume =	 {II},
  chapter =	 {5.7},
  pages =	 {192--202},
  abstract =	 {Based on propositions about perception very similar to
		 ours (inherently spatial and holistic, environment as
		 external memory without frame problem, change as bases
		 for action), describes WEB propagation mechanism for
		 the evaluation of go game positions. Scheme project!},
  note =	 {Bibliography at the end of book},
}

@Article{Retz-Schmidt:1988,
  author =	 {Retz-Schmidt, Gudula},
  title =	 {Various Views on Spatial Prepositions},
  journal =	 aim,
  year =	 {1988},
  volume =	 {9},
  number =	 {2},
  pages =	 {95--105},
  month =	 {Summer},
}

@Book{Rich/Knight:1991,
  author =	 {Elaine Rich and Kevin Knight},
  title =	 {Artificial Intelligence},
  publisher =	 {McGraw-Hill},
  year =	 {1991},
  address =	 {New York},
  edition =	 {2nd},
}

@Article{Roberts/Suppes:1967,
  author =	 {Roberts, F. S. and P. Suppes},
  title =	 {Some problems in the geometry of visual perception},
  journal =	 {Synthese},
  year =	 {1967},
  volume =	 {17},
  pages =	 {173--201},
  topics =	 {Abstrakter Raum / Mathematik/Geometrie / Psychologie /
		 Philosophie},
}

@Article{Roberts:1973,
  author =       {Roberts, Fred S.},
  title =        {Tolerance Geometry},
  journal =      {Norte Dame Journal of Formal Logic},
  volume =       {14},
  number =       {1},
  pages =        {68--76},
  year =         {1973},
}

@InProceedings{Robinson/Wong:1987,
  author =	 {V. B. Robinson and R. N. Wong},
  title =	 {Acquiring Approximate Representations of Some
		  Spatial Relations},
  editor =	 {N. R. Chrisman},
  booktitle =	 {AUTO-CARTO 8, Eighth International Symposium on
		  Computer-Assisted Cartography},
  site =	 {Baltimore, MD},
  year =	 {1987},
  pages =	 {604--622},
}

%%%
V. Robinson (1990) Interactive Machine Acquisition of a Fuzzy Spatial
Relation. in: (Ed.), Computers & Geosciences. 16, pp. 857-872, 

@TechReport{Roehrig:1993,
  author =	 {Ralf R{\"o}hrig},
  title =	 {{CYCORD:} A Theory of Qualitative Spatial Reasoning},
  institution =	 {Labor f\"ur K\"unstliche Intelligenz, Universit\"at
  		 Hamburg},
  number =	 {LKI-M-93/6},
  year =	 {1993},
  address =	 {Hamburg, Germany},
}

@Article{Rosenfeld:1979,
  author =	 {A. Rosenfeld},
  title =	 {Digital topology},
  journal =	 {American Mathematical Monthly},
  year =	 {1979},
  volume =	 {86},
  pages =	 {621--630},
}

@InCollection{Rumelhart/McClelland:1986,
  author =	 {Rumelhart, D. E. and McClelland, J. L.},
  title =	 {On learning the past tenses of english verbs},
  crossref =	 {McClelland_et_al:1986},
  pages =	 {216--271},
  bibs =	 {connproj.bib},
}

@InCollection{Rumelhart_et_al:1986a,
  author =	 {Rumelhart, D. E. and Hinton, G. E. and McClelland, J.
		 L.},
  title =	 {A General Framework for Parallel Distributed
		 Processing},
  crossref =	 {Rumelhart_et_al:1986b},
  pages =	 {45--76},
  bibs =	 {connproj.bib},
}

@Book{Rumelhart_et_al:1988,
  author =	 {Rumelhart, D. E. and McClelland, J. L.},
  title =	 {Explorations in Parallel Distributed Processing},
  booktitle =	 {Explorations in Parallel Distributed Processing},
  publisher =	 mit,
  address =	 mitort,
  year =	 {1988},
  bibs =	 {moskau.bib},
}

@InProceedings{Sacks:1987,
  author =	 {Elisha Sacks},
  title =	 {Hierarchical Reasoning about Inequalities},
  crossref =	 {aaai:1987},
  pages =	 {649--654},
  note =	 {Reprinted in \cite{Weld/deKleer:1990}},
  bibs =	 {qualphys.bib},
}

@Article{Sadalla/Magel:1980,
  author =       {E. K. Sadalla and S. G. Magel},
  title =        {The perception of traversed distance},
  journal =      {Environment and Behaviour},
  year =         {1980},
  volume =       {12},
  pages =        {65--79},
}

@Book{Samet:1990,
  author =	 {Hanan Samet},
  title =	 {The Design and Analysis of Spatial Data
		 Structures}, 
  publisher =	 add,
  address =	 addort,
  year =	 {1990},
}

@TechReport{Sander:1991,
  title =	 {{Die Repr"asentation r"aumlichen Wissens und die
		 Behandlung von Einbettungsproblemen mit
		 Quadtreedepiktionen}},
  author =	 {Rolf Sander},
  institution =	 {IBM Deutschland},
  year =	 {1991},
  type =	 {IWBS Report},
  number =	 {191},
  month =	 dec,
  language =	 {german},
}

@Misc{Schaetz:1989,
  author =	 {Bernhard Sch{\"a}tz},
  title =	 {{Ein konnektionistisches Modell zur Schemaadaption}},
  howpublished = tumda,
  year =	 {1989},
  month =	 may,
  language =	 {german},
}

@InProceedings{Schirra/Stopp:1993,
  author =	 {Schirra, J. R. J. and Stopp, Eva},
  title =	 {{ANTLIMA}---{A} Listener Model with Mental Images},
  pages =	 {175--180},
  crossref =	 {ijcai:1993},
}

@TechReport{Schirra:1991,
  author =	 {Schirra, J. R. J.},
  title =	 {{Zum Nutzen antizipierter Bildvorstellungen bei der
		  sprachlichen Szenenbeschreibung}},
  institution =	 {Universit"at des Saarlandes},
  type =	 {SFB 314 (VITRA), Memo},
  number =	 {49},
  year =	 {1991},
  month =	 dec,
  address =	 {Saarbr"ucken, Germany},
  language =	 {german},
}

@InProceedings{Schirra:1992,
  author =	 {Schirra, J. R. J.},
  title =	 {Connecting Visual and Verbal Space: Preliminary
		  Considerations Concerning the Concept `Mental
		  Image'},
  booktitle =	 {4th European Workshop ``Semantics of Time, Space and
		  Movement and Spatio-Temporal Reasoning''},
  month =	 sep,
  year =	 {1992},
  site =	 {Chateau de Bonas, France},
}

@InCollection{Schlieder:1990a,
  author =	 {Schlieder, C.},
  title =	 {{Anordnung. Eine Fallstudie zur Semantik bildhafter
		 Repr"asentation}},
  crossref =	 {Freksa/Habel:1990},
  language =	 {german},
}

@InProceedings{Schlieder:1990b,
  author =	 {Schlieder, C.},
  title =	 {{Aquisition r"aumlichen Wissens am Beispiel ebener
		 Sicht- und Anordnungsverh"altnisse}},
  crossref =	 {Hoeppner:1990},
  pages =	 {159--171},
  language =	 {german},
}

@Unpublished{Schlieder:1991,
  author =	 {Schlieder, C.},
  title =	 {{Anordnungswissen: Grundlage und Anwendung}},
  note =	 {Unpublished handout from a talk at the Tech. Univ.
		 Munich},
  month =	 mar,
  year =	 {1991},
}

@InProceedings{Schlieder:1993,
  author =	 {Schlieder, C.},
  title =	 {Representing Visible Locations for Qualitative Navigation},
  pages =	 {523--532},
  crossref =	 {Piera/Singh:1993},
}

@InCollection{Schlieder:1994,
  author =	 {Schlieder, C.},
  title =	 {Qualitative Shape Representation},
  booktitle =	 {Spatial Conceptual Models for Geographic Objects
  		 with Undetermined Boundaries},
  editor =	 {Burrough, P. and Frank, A.},
  publisher =	 {Taylor and Francis},
  address =	 {Baden, Austria},
  year =	 {1994},
  note =	 {{to appear}},
}

@TechReport{Schmidhuber:1988a,
  author =	 {J{\"u}rgen Schmidhuber},
  title =	 {Accelerated Learning in Back-Propagation Nets},
  institution =	 tum,
  year =	 {1988},
  bibs =	 {connproj.bib},
}

@InProceedings{Schmidhuber:1988b,
  author =	 {J{\"u}rgen Schmidhuber},
  title =	 {The Neural Bucket Brigade},
  booktitle =	 {Proceedings ``Connectionism in Perspective 88''},
  publisher =	 {SGAICO},
  year =	 {1988},
  bibs =	 {connproj.bib},
}

@InProceedings{Schuermann_et_al:1991,
  author =	 {B. Sch{\"u}rmann and others},
  realauthor =	 {B. Sch{\"u}rmann and G. Hirzinger and D. Hern{\'a}ndez
		 and H. U. Simon and H. Hackbarth},
  title =	 {Neural Control within the {BMFT-P}roject {NERES}},
  crossref =	 {Brauer/Hernandez:1991},
  pages =	 {533--544},
}

@InProceedings{Schwartz:1989,
  author =	 {Schwartz, Daniel G.},
  title =	 {Outline of a Naive Semantics for Reasoning with
		 Qualitative Linguistic Information},
  crossref =	 {ijcai:1989},
  pages =	 {1068--1073},
  volume =	 {2},
}

@Misc{Schwarzer/Hoegg:1991,
  author =	 {Irmgard Schwarzer and Stefan H{\"o}gg},
  title =	 {{Komposition r"aumlicher Relationen}},
  howpublished = tumfopra,
  year =	 {1991},
  language =	 {german},
}

@Misc{Schwarzer:1993,
  author =	 {Irmgard Schwarzer},
  title =	 {{Qualitative Beschreibung zusammengesetzter Formen}},
  howpublished = tumda,
  year =	 {1993},
  language =	 {german},
}

@InProceedings{Sharma/Flewelling:1995,
  author =       {J. Sharma and D. M. Flewelling},
  title =        {Inferences from combined knowledge about topology and
                 directions},
  crossref =     {Herring/Egenhofer:1995},
  note =         {to appear},
}

@InProceedings{Simmons:1986,
  author =	 {Reid Simmons},
  title =	 {``{Commonsense}'' Arithmetic Reasoning},
  crossref =	 {aaai:1986},
  pages =	 {118--124},
  note =	 {Reprinted in \cite{Weld/deKleer:1990}},
  bibs =	 {qualphys.bib},
}

@InProceedings{Sloman:1971,
  author =	 {Aaron Sloman},
  title =	 {Interactions between Philosophy and {AI} --- {T}he
		 Role of Intuition and Non-logical Reasoning in
		 Intelligence},
  crossref =	 {ijcai:1971},
  pages =	 {270--278},
  note =	 {Reprinted in Artificial Intelligence (2) 1971},
  bibs =	 {gwaikrs.bib},
}

@InProceedings{Sloman:1975,
  author =	 {Aaron Sloman},
  title =	 {Afterthoughts on Analogical Representation},
  booktitle =	 {Proceedings Theoretical Issues in Natural Language
		 Processing},
  site =	 {Cambridge, MA},
  year =	 {1975},
  pages =	 {164--168},
  bibs =	 {gwaikrs.bib ss89.bib},
}

@InCollection{Sloman:1978,
  author =	 {Sloman, Aaron},
  title =	 {Intuition and Analogical Reasoning},
  booktitle =	 {The Computer Revolution in Philosophy: Philosophy,
		 Science and Models of Mind},
  publisher =	 {Harvester Press},
  year =	 {1978},
  editor =	 {Sloman, Aaron},
  chapter =	 {7},
  tumbib =	 {dokument-nr.: 34162},
  bibs =	 {analogic.bib},
}

@InProceedings{Sloman:1984,
  author =	 {Sloman, Aaron},
  title =	 {Why we need many knowledge representation formalisms},
  editor =	 {Bramer, M.},
  booktitle =	 {Research and Development in Expert Systems,
		 Proceedings Expert Systems Conference},
  year =	 {1984},
  organization = {British Computer Society},
  publisher =	 cup,
  address =	 cuport,
  gotfrom =	 {Bamberg UB, KON 2.85 A 348 VK},
  bibs =	 {analogic.bib},
}

@Article{Smith/Park:1992,
  author =	 {Terence R. Smith and Keith K. Park},
  title =	 {Algebraic approach to spatial reasoning},
  journal =	 {International Journal of Geographical Information
		 Systems},
  year =	 {1992},
  volume =	 {6},
  number =	 {3},
  pages =	 {177--192},
}

@InCollection{Smolensky:1986,
  author =	 {Smolensky, P.},
  title =	 {Neural and Conceptual Interpretation of {PDP} Models},
  editor =	 {McClelland, J. L. and Rumelhart, D. E.},
  booktitle =	 {Parallel Distributed Processing, Vol. 2},
  publisher =	 mit,
  address =	 mitort,
  year =	 {1986},
  bibs =	 {connproj.bib},
}

@TechReport{Smolensky:1987a,
  author =	 {Smolensky, P.},
  title =	 {On variable binding and the representation of symbolic
		 structures in connectionist systems},
  institution =	 {University of Colorado},
  number =	 {CU-CS-355-87},
  address =	 {Dept. of Computer Science, Boulder, CO},
  month =	 feb,
  year =	 {1987},
  bibs =	 {connproj.bib},
}

@TechReport{Smolensky:1987b,
  author =	 {Smolensky, P.},
  title =	 {On the Proper Treatment of Connectionism},
  institution =	 {University of Colorado},
  number =	 {CU-CS-377-87},
  address =	 {Dept. of Computer Science, Boulder, CO},
  month =	 oct,
  year =	 {1987},
  bibs =	 {connproj.bib},
}

@Unpublished{Smolensky:1988,
  author =	 {Paul Smolensky},
  title =	 {Representation},
  year =	 {1988},
  note =	 {Draft of Chap. 2 of Lectures on Connectionist
		 Cognitive Modeling},
  bibs =	 {ss89.bib},
}

@InCollection{Spelke:1990,
  author =	 {Elizabeth S. Spelke},
  title =	 {Origins of Visual Knowledge},
  crossref =	 {Osherson_et_al:1990},
  chapter =	 {4},
  pages =	 {99--127},
}

@Article{Stallman/Sussman:1977,
  author =	 {Stallman, R. and Sussman, G. J.},
  title =	 {Forward Reasoning and Dependency-Directed
		 Backtracking},
  journal =	 ai,
  year =	 {1977},
  volume =	 {9},
  number =	 {2},
  pages =	 {135--196},
}

@InCollection{Stea:1969,
  author =	 {D. Stea},
  title =	 {The measurement of mental maps: an experimental
		  model for studying conceptual spaces},
  editor =	 {Cox, K. R. and Golledge, R. G.},
  booktitle =	 {Behavioral Problems in Geography: A Symposium},
  publisher =	 {Northwestern University Press},
  address =	 {Evanston, Ill},
  pages =	 {228--253},
  year =	 {1969},
}

@PhdThesis{Steele:1980,
  author =	 {Steele, G. L.},
  title =	 {The Definition and Implementation of a Computer
		 Programming Language Based on Constraints},
  school =	 {MIT},
  year =	 {1980},
  note =	 {Published as Report AI-TR-595},
  month =	 aug,
}

@Article{Steels:1990,
  author =	 {Luc Steels},
  title =	 {Exploiting Analogical Representations},
  journal =	 {Robotics and Autonomous Systems},
  year =	 {1990},
  volume =	 {6},
  number =	 {1},
  pages =	 {71--88},
  publisher =	 nh,
  address =	 nhort,
}

@InCollection{Steiner:1988,
  author =	 {Gerhard Steiner},
  title =	 {{Analoge Repr"asentationen}},
  booktitle =	 {Wissenspsychologie},
  year =	 {1988},
  editor =	 {H. Mandl and H. Spada},
  address =	 {M"unchen-Weinheim},
  bibs =	 {gwaikrs.bib},
  language =	 {german},
}

@Article{Stevens/Coupe:1978,
  author =	 {A. Stevens and P. Coupe},
  title =	 {Distortions in judged spatial relations},
  journal =	 {Cognitive Psychology},
  year =	 {1978},
  volume =	 {10},
  pages =	 {422--437},
}

@Book{Stiles-Davis_et_al:1988,
  editor =	 {J. Stiles-Davis and M. Kritchesvsky and U. Bellugi},
  title =	 {Spatial Cognition - Brain Bases and Development},
  publisher =	 le,
  address =	 leort,
  year =	 {1988},
}

@Misc{Stolcke:1988,
  author =	 {Andreas Stolcke},
  title =	 {{Generierung nat"urlichsprachlicher S"atze in
		 unifikationsbasierten Grammatiken. Ein
		 konnektionistischer Ansatz}},
  howpublished = tumda,
  year =	 {1988},
  bibs =	 {connproj.bib},
  language =	 {german},
}

@MastersThesis{Stopp:1993,
  author =	 {Eva Stopp},
  title =	 {{GEO-ANTLIMA: Konstruktion dreidimensionaler
		  mentaler Bilder aus sprachlichen
		  Szenenbeschreibungen}},
  type =	 {Diplomarbeit},
  school =	 {Universit"at des Saarlandes},
  note =	 {Published as: SFB 314 (VITRA), Memo Nr. 60},
  year =	 {1993},
  month =	 oct,
  address =	 {Saarbr"ucken, Germany},
  language =	 {german},
}

@TechReport{Stopp_et_al:1994,
  sauthor =	 {Eva Stopp and others},
  author =	 {Eva Stopp and Klaus-Peter Gapp and Gerd Herzog and
		  Thomas Laengle and Tim C. Lueth},
  title =	 {Utilizing Spatial Relations for Natural Language
		  Access to an Autonomous Mobile Robot},
  institution =	 {Universit\"at des Saarlandes},
  type =	 {SFB 314 (VITRA), Bericht},
  number =	 {107},
  year =	 {1994},
  month =	 jul,
  address =	 {Saarbr\"ucken, Germany},
}

@TechReport{Struss:1987,
  author =	 {Peter Struss},
  title =	 {Problems of Interval-Based Qualitative Reasoning},
  institution =	 {Siemens},
  number =	 {INF 2 ARM-1-87},
  year =	 {1987},
  note =	 {A revised short version is reprinted in
		  \cite{Weld/deKleer:1990}},
  bibs =	 {qualphys.bib},
}

@TechReport{Sutherland:1965,
  title =	 {Sketchpath: A Man-Machine Graphical Communication
		 System},
  author =	 {I. E. Sutherland},
  institution =	 {MIT Lincoln Lab},
  year =	 {1965},
  number =	 {296},
  address =	 {Cambridge, MA},
}

@InCollection{Talmy:1983,
  author =	 {Leonard Talmy},
  title =	 {How Language Structures Space},
  crossref =	 {Pick/Acredolo:1983},
}

@Unpublished{Talmy:1990a,
  author =	 {Leonard Talmy},
  title =	 {How Language Structures Space},
  note =	 {Unpublished Draft handed out at the NATO ASI Cognitive
		 and Linguistic Aspects of Geographic Space},
  mon