Temporal Reasoning Based on Semi-Intervals (1992)

by Christian Freksa , Technische Universität München , Robert Fulton
Citations:234 - 14 self

Documents Related by Co-Citation

2278 Maintaining knowledge about temporal intervals – James F. Allen, Lames F. Allen - 1983
345 Point-Set Topological Spatial Relations – M Egenhofer, R Franzosa - 1991
565 A Spatial Logic based on Regions and Connection – David A. Randell, Zhan Cui, Anthony G. Cohn - 1992
117 Reasoning about gradual changes of topological relationships – M J Egenhofer, K K Al-Taha - 1992
147 Representation of Spatial Knowledge – Daniel Hernández, Amitabha Mukerjee - 1995
84 A qualitative model for space – Amitabha Mukerjee, Gene Joe - 1990
60 A calculus of individuals based on “connection”"; Notre Dame – B L Clarke - 1981
69 Individuals and points"; Notre Dame – B L Clarke - 1985
98 Spatial Reasoning with Propositional Logics – Brandon Bennett - 1994
56 Qualitative Simulation Based On A Logical Formalism Of Space And Time – Z. Cui, A. G. Cohn, D.A. Randell - 1992
20 Spatial reasoning based on Allen’s temporal logic – H GÜSGEN - 1989
78 Dimensions Of Qualitative Spatial Reasoning – Christian Freksa, Ralf Röhrig, Fachbereich Informatik - 1993
23 Naive Topology: modeling the force pump – D Randell, A G Cohn, Z Cui - 1992
50 Modelling Topological and Metrical Properties in Physical Processes. – D.A. Randell, A. G. Cohn - 1989
114 On the Equivalence of Topological Relations – Max J. Egenhofer - 1995
49 Computing transitivity tables: a challenge for automated theorem provers. Lecture notes in computer science – D Randell, A Cohn, Z Cui - 1992
68 Topological Relations Between Regions With Holes – Max J. Egenhofer, Eliseo Clementini, Paolino Di Felice - 1994
122 The `Egg-Yolk' Representation Of Regions with Indeterminate Boundaries – A.G. Cohn, N.M. Gotts - 1995
39 On the boundary between mereology and topology – A VARZI - 1994