The Qualitative Spatial Dynamics of Motion in Language

REFERENCES

• Allen , J. 1984 . Towards a general theory of action and time . Artificial Intelligence , 23 : 123 – 154 .
   Web of Science ®Google Scholar
• Asher , N. and Sablayrolles , P. 1995 . A typology and discourse for motion verbs and spatial pps in French . Journal of Semantics , 12 : 163 – 209 .
   Google Scholar
• Asher , N. and Vieu , L. Towards a geometry of common sense: a semantics and a complete axiomatisation of merotopology . Proceedings of ijcai95 . Montreal, Canada.
   Google Scholar
• Bateman , J. A. , Hois , J. , Ross , R. and Tenbrink , T. 2010 . “ A linguistic ontology of space for natural language processing. ” . In Artificial Intelligence in press
   Google Scholar
• Bennett , B. and Galton , A. 2004 . A unifying semantics for time and events . Artificial Intelligence , 153 : 13 – 48 .
   Web of Science ®Google Scholar
• Bhatt , M. and Loke , S. 2008 . Modelling dynamic spatial systems in the situation calculus . Spatial Cognition and Computation , 153 : 86 – 130 .
   Google Scholar
• Choi , S. and Bowerman , M. 1991 . Learning to express motion events in english and korean: The influence of language-specific lexicalization patterns . Cognition , 41 ( 1–3 ) : 83 – 121 .
   PubMed Web of Science ®Google Scholar
• Comrie , B. 1985 . Tense. Cambridge University Press. .
   Google Scholar
• Egenhofer , M. and Franzosa , R. 1991 . Point-set topological spatial relations . International Journal of Geographical Information Science , 5 ( 2 ) : 161 – 174 .
   Web of Science ®Google Scholar
• Egenhofer , M. and Mark , D. 1995 . Modeling conceptual neighborhoods of topological line-region relations . International Journal of Geographical Information Systems , 9 ( 5 ) : 555 – 565 .
   Web of Science ®Google Scholar
• Eijck , J. V. and Stokhof , M. 2006 . “ The gamut of dynamic logics. ” . In Handbook of the History of Logic volume 6 , 499 – 600 . Elsevier. .
   Google Scholar
• Freksa , C. Using orientation representation for qualitative spatial reasoning . Theories and methods of spatio-temporal reasoning in geographic space: Proceedings of the international conference gis—from space to territory . Edited by: Frank , A. , Campari , I. and Formentini , U. pp. 162 – 178 . Pisa, , Italy
   Google Scholar
• Freksa , C. and Zimmermann , K. On the utilization of spatial structures for cognitively plausible and efficient reasoning . Proc. of the conf. on systems, man, and cybernetics . pp. 261 – 266 . Chicago, , USA
   Google Scholar
• Galton , A. Towards an integrated logic of space, time, and motion . Proceedings of the thirteenth international joint conference on artificial intelligence (ijcai1993) . Edited by: Bajcsy , R. pp. 1550 – 1555 . San Mateo : Morgan Kaufmann. .
   Google Scholar
• Galton , A. Towards a qualitative theory of movement . Spatial information theory: A theoretical basis for gis (proceedings of international conference cosit1995) . Edited by: Frank , A. U. and Kuhn , W. September . pp. 377 – 396 . Semmering, , Austria : Springer-Verlag. .
   Google Scholar
• Galton , A. 1997 . “ Space, time and movement. ” . In Spatial and temporal reasoning Edited by: Stock , O. 321 – 352 . Dordrecht : Kluwer. .
   Google Scholar
• Galton , A. 2000 . Qualitative spatial change Oxford, , UK : Oxford University Press. .
   Google Scholar
• Goldblatt , R. 1992 . Logics of time and computation, , 2nd ed. CSLI Lecture Notes 7
   Google Scholar
• Grenon , P. and Smith , B. 2004 . Snap and span: Towards dynamic spatial ontology . Spatial Cognition and Computation , 4 ( 1 ) : 69 – 104 .
   Google Scholar
• Groenendijk , J. and Stokhof , M. 1989 . “ Type-shifting rules and the semantics of interrogatives. ” . In Properties, types and meaning Edited by: Gennaro Chierchia , B. P. and Turner , R. Vol. 2 , 21 – 68 . Dordrecht : Kluwer. .
   Google Scholar
• Groenendijk , J. and Stokhof , M. 1990 . Dynamic predicate logic . Linguistics and Philosophy , 14 : 39 – 100 .
   Google Scholar
• Harel , D. , Kozen , D. and Tiuyn , J. 2000 . Dynamic logic, , 1st ed. Cambridge : The MIT Press. .
   Google Scholar
• Hornsby , K. S. and Cole , S. J. 2007 . Modeling moving geospatial objects from an event-based perspective . T. GIS , 11 ( 4 ) : 555 – 573 .
   Google Scholar
• Jackendoff , R. 1983 . Semantics and cognition Cambridge : MIT Press. .
   Google Scholar
• Kröger , F. and Merz , S. 2008 . Temporal logic and state systems. Springer-Verlag. .
   Google Scholar
• Kurata , Y. and Egenhofer , M. September 2007 . “ The 9+ intersection for topological relations between a directed line segment and a region. ” . In Workshop on behaviour and monitoring interpretation Edited by: Gottfried , B. September , 62 – 76 . Germany
   Google Scholar
• Mani , I. , Doran , C. , Harris , D. , Hitzeman , J. , Quimby , R. Richer , J. 2010 . Spatialml: annotation scheme, resources, and evaluation . Language Resources and Evaluation , 44 ( 3 ) September : 263 – 280 .
   Web of Science ®Google Scholar
• Mani , I. , Hitzeman , J. and Clark , C. 2008 . “ Annotating natural language geographic references. ” . In Workshop on methodologies and resources for processing spatial language. Morocco : Marrakesh. .
   Google Scholar
• Mani , I. , Pustejovsky , J. and Gaizauskas , R. 2005 . The language of time: A reader. Oxford University Press. .
   Google Scholar
• Manna , Z. and Pnueli , A. 1995 . Temporal verification of reactive systems: Safty New York : Springer. .
   Google Scholar
• Mark , D. and Egenhofer , M. Topology of prototypical spatial relations between lines and regions in English and Spanish . Proceedings of the Twelfth International Symposium on Computer-Assisted Cartography . volume 4 , pp. 245 – 254 .
   Google Scholar
• Mitra , D. Modeling and reasoning with star calculus: An extended abstract . Eighth International Symposium on AI and Mathematics . Fort Lauderdale, USA.
   Google Scholar
• Moszkowicz , J. L. and Pustejovsky , J. 2010 . “ Iso-space: Towards a spatial annotation framework for natural language. ” . In Processing Romanian in Multilingual, Interoperational and Scalable Environments.
   Google Scholar
• Moszkowski , B. 1986 . Executing temporal logic programs Cambridge : Cambridge University Press. .
   Google Scholar
• Muller , P. 1998 . “ A qualitative theory of motion based on spatio-temporal primitives. ” . In KR1998: Principles of knowledge representation and reasoning Edited by: Cohn , A. G. , Schubert , L. and Shapiro , S. C. 131 – 141 . San Francisco : Morgan Kaufmann. .
   Google Scholar
• Noyon , V. , Claramunt , C. and Devogele , T. 2007 . “ A relative representation of trajectories in geographical spaces. ” . In GeoInformatica Vol. 11 , Hingham : Kluwer Academic Publishers. . (4)
   Google Scholar
• Nr , V. , Doherty , P. , Gustafsson , J. , Karlsson , L. and Kvarnstrom , J. 1998 . Temporal action logics (tal): Language specification and tutorial.
   Google Scholar
• Palmer , M. , Gildea , D. and Kingsbury , P. 2003 . “ The proposition bank: An annotated corpus of semantic roles. ” . In Computational Linguistics.
   Google Scholar
• Parsons , T. 1990 . Events in the semantics of English. a study in subatomic semantics Cambridge : MIT Press. .
   Google Scholar
• Partee , B. 1984 . “ Compositionality. ” . In Varieties of formal semantics Edited by: Landman , F. and Veltman , F. 281 – 312 . Dordrecht : Floris Publications. .
   Google Scholar
• Pnueli , A. The temporal logic of programs . 18th Annual Symposium on Foundations on Computer Science . Providence, USA.
   Google Scholar
• Pratt-Hartmann , I. 2005 . Temporal prepositions and their logic . Artificial Intelligence , 166 : 1 – 36 .
   Google Scholar
• Pustejovsky , J. 1991a . The generative lexicon . Computational Linguistics , 17 ( 4 ) : 409 – 441 .
   Google Scholar
• Pustejovsky , J. 1991b . The syntax of event structure . Cognition , 1 ( 41 ) : 47 – 81 .
   Google Scholar
• Pustejovsky , J. 1995 . The generative lexicon Cambridge, MA : MIT Press. .
   Google Scholar
• Pustejovsky , J. , Castano , J. , Ingria , R. , Saurí , R. , Gaizauskas , R. Setzer , A. Timeml: Robust specification of event and temporal expressions in text . Iwcs-5, fifth international workshop on computational semantics .
   Google Scholar
• Pustejovsky , J. and Moszkowicz , J. L. Integrating motion predicate classes with spatial and temporal annotations . Proceedings of Coling 2008 . Manchester, UK.
   Google Scholar
• Randell , D. , Cui , Z. and Cohn , A. A spatial logic based on regions and connections . Proceedings of the 3rd international conference on knowledge representation and reasoning . Edited by: Kaufmann , M. pp. 165 – 176 . San Mateo, , USA
   Google Scholar
• Renz , J. and Mitra , D. Qualitative direction calculi with arbitrary granularity . Proceedings of the 8th Pacific rim international conference on artificial intelligence . pp. 65 – 74 . Springer. .
   Google Scholar
• Szabó , Z. G. 2000 . Problems of compositionality New York : Garland. .
   Google Scholar
• Talmy , L. 1985 . “ Lexicalization patterns: Semantic structure in lexical forms. ” . In Language typology and semantic description volume 3: Grammatical categories and the lexicon Edited by: Shopen , T. 36 – 149 . Cambridge : Cambridge University Press. .
   Google Scholar
• Talmy , L. 2000 . Towards a cognitive semantics Cambridge : MIT Press. .
   Google Scholar
• Vardi , M. 1996 . “ An automata-theoretic approach to linear temporal logic. ” . In Logics for Concurrency. Structure versus Automata, LNCS 1043 238 – 266 .
   Google Scholar
• Weghe , N. V. D. 2004 . Representing and reasoning about moving objects: A qualitative approach. , Phd thesis Belgium : Ghent University. .
   Google Scholar
• Weghe , N. V. D. , Bogaert , P. , Cohn , A. G. , Delafontaine , M. , Temmerman , L. D. Neutens , T. 2007 . How to handle incomplete knowledge concerning moving objects Germany : Osnabrüuck. .
   Google Scholar
• Weghe , N. V. D. , Cohn , A. , Bogaert , P. and Maeyer , P. D. 2004 . “ Representation of moving objects along a road network. ” . In Proc. of geoinformatics 187 – 197 . Sweden : Gävle. .
   Google Scholar
• Weghe , N. V. D. , Kuijpers , B. and Bogaert , P. A qualitative trajectory calculus and the composition of its relations . Proc. of geos . pp. 60 – 76 . Springer-Verlag. .
   Google Scholar
• Werning , M. 2004 . Compositionality, context, categories and the indeterminacy of translation . Erkenntnis , 2 ( 60 ) : 145 – 178 .
   Google Scholar