Space-Time as a Primitive for Space and Motion
暂无分享,去创建一个
[1] Kenneth D. Forbus. Qualitative Spatial Reasoning: Framework and Frontiers , 1992 .
[2] Philippe Muller,et al. A Qualitative Theory of Motion Based on Spatio-Temporal Primitives , 1998, KR.
[3] Rudolf Carnap,et al. Introduction to Symbolic Logic and Its Applications , 1958 .
[4] Patrick J. Hayes,et al. The second naive physics manifesto , 1995 .
[5] The Semantics of French Transitive Movement Verbs and the Ontological Nature of Their Objects , .
[6] Ernest Davis,et al. A logical framework for commonsense predictions of solid object behaviour , 1988, Artif. Intell. Eng..
[7] B. Russell. Our Knowledge of the External World , 1960 .
[8] Benjamin Kuipers,et al. Qualitative spatial reasoning about objects in motion: application to physics problem solving , 1994, Proceedings of the Tenth Conference on Artificial Intelligence for Applications.
[9] J. van Benthem,et al. Temporal logic , 1995 .
[10] Achille C. Varzi. Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology , 1996, Data Knowl. Eng..
[11] J. Haldane. The Axiomatic Method in Biology , 1938, Nature.
[12] Antony Galton,et al. Space, Time, and Movement , 1997 .
[13] Patrick J. Hayes,et al. A Common-Sense Theory of Time , 1985, IJCAI.
[14] F. Landman. Structures for semantics , 1991 .
[15] Ellen Hays. On Defining Motion Verbs and Spatial Prepositions , 1990, Repräsentation und Verarbeitung räumlichen Wissens.
[16] Simone Pribbenow,et al. A Conceptual Theory of Part-Whole Relations and its Applications , 1996, Data Knowl. Eng..
[17] H. Kamp. Events, Instants and Temporal Reference , 1979 .
[18] Antony Galton,et al. Towards an Integrated Logic of Space, Time and Motion , 1993, IJCAI.
[19] Bowman L. Clarke,et al. A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..
[20] Nelson Goodman,et al. The calculus of individuals and its uses , 1940, Journal of Symbolic Logic.
[21] R. Hartley,et al. A uniform representation for time and space and their mutual constraints , 1992 .
[22] L. Vieu. Semantique des relations spatiales et inferences spatio-temporelles : une contribution a l'etude des structures formelles de l'espace en langage naturel , 1991 .
[23] M. Aurnague,et al. A three-level approach to the semantics of space , 1993 .
[24] ROLF MAYER,et al. Coherence and motion , 1989 .
[25] Achille C. Varzi,et al. Holes and Other Superficialities , 1994 .
[26] Anthony G. Cohn,et al. A Spatial Logic based on Regions and Connection , 1992, KR.
[27] Nicholas Asher,et al. A Typology and Discourse Semantics for Motion Verbs and Spatial PPs in French , 1995, J. Semant..
[28] Murray Shanahan,et al. Default Reasoning about Spatial Occupancy , 1995, Artif. Intell..
[29] Christoph Schwarze,et al. Meaning, Use, and Interpretation of Language , 1983 .
[30] Timothy Williamson,et al. Parts. A Study in Ontology , 1990 .
[31] M. McCloskey. Naive Theories of Motion. , 1982 .
[32] Boi Faltings,et al. Qualitative Kinematics in Mechanisms , 1987, IJCAI.