-
1
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
J. F. Allen. Maintaining knowledge about temporal intervals. CACM, 26(11):832-843, 1983.
-
(1983)
CACM
, vol.26
, Issue.11
, pp. 832-843
-
-
Allen, J.F.1
-
2
-
-
0346537050
-
-
E. Astesiano, M. Bidoit, B. Krieg-Brückner, H. Kirchner, P. Mosses, D. Sannella, and A. Tarlecki, editors. Number Special Issue. Springer-Verlag
-
E. Astesiano, M. Bidoit, B. Krieg-Brückner, H. Kirchner, P. Mosses, D. Sannella, and A. Tarlecki, editors. CASL - the Common Algebraic Specification Language. Number Special Issue. Springer-Verlag, 2003.
-
(2003)
CASL - the Common Algebraic Specification Language
-
-
-
3
-
-
0031413968
-
Qualitative spatial representation and reasoning with the region connection calculus
-
A. G. Cohn, B. Bennett, J. Gooday, and N. M. Gotts. Qualitative spatial representation and reasoning with the region connection calculus. Ceoinformatics, 1:1-44, 1997.
-
(1997)
Ceoinformatics
, vol.1
, pp. 1-44
-
-
Cohn, A.G.1
Bennett, B.2
Gooday, J.3
Gotts, N.M.4
-
4
-
-
0000891595
-
The description of routes: A cognitive approach to the production of spatial discourse
-
M. Denis. The description of routes: A cognitive approach to the production of spatial discourse. Cahiers de Psychologie Cognitive, 16:409-458, 1997.
-
(1997)
Cahiers de Psychologie Cognitive
, vol.16
, pp. 409-458
-
-
Denis, M.1
-
5
-
-
26444551595
-
Linguistic methods for investigating concepts in use
-
K. Fischer. Linguistic methods for investigating concepts in use. Methodologie in der Linguistik, 2003.
-
(2003)
Methodologie in der Linguistik
-
-
Fischer, K.1
-
8
-
-
85028140593
-
Using orientation information for qualitative spatial reasoning
-
Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. Springer-Verlag
-
C. Freksa. Using orientation information for qualitative spatial reasoning. In Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, volume 639 of LNCS, pages 162-178. Springer-Verlag, 1992.
-
(1992)
LNCS
, vol.639
, pp. 162-178
-
-
Freksa, C.1
-
9
-
-
84864840163
-
-
CASL Summary. In P. Mosses, editor, CASL Reference Manual. Springer-Verlag Heidelberg
-
C. L. D. Group, B. Krieg-Brückner, and P. Mosses. CASL Summary. In P. Mosses, editor, CASL Reference Manual, volume 2960 of Lecture Notes in Computer Science. Springer-Verlag Heidelberg, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.2960
-
-
Group, C.L.D.1
Krieg-Brückner, B.2
Mosses, P.3
-
10
-
-
38349036908
-
Specification of route graphs via an ontology
-
C. Freksa, B. Nebel, B. Krieg-Brückner, M. Knauff, and T. Barkowsky, editors, In Proceedings of Spatial Cognition IV, Chiemsee, Germany. Springer
-
B. Krieg-Brückner, U. Frese, K. Lüttich, C. Mandel, T. Mossakowski, and R. J. Ross. Specification of route graphs via an ontology. In C. Freksa, B. Nebel, B. Krieg-Brückner, M. Knauff, and T. Barkowsky, editors, In Proceedings of Spatial Cognition IV, Chiemsee, Germany, volume 3343 of Lecture Notes in Artificial Intelligence, pages 989-995. Springer, 2004.
-
(2004)
Lecture Notes in Artificial Intelligence
, vol.3343
, pp. 989-995
-
-
Krieg-Brückner, B.1
Frese, U.2
Lüttich, K.3
Mandel, C.4
Mossakowski, T.5
Ross, R.J.6
-
11
-
-
0033714616
-
The spatial semantic hierarchy
-
B. Kuipers. The spatial semantic hierarchy. Artificial Intelligence, 119:191-233, 2000.
-
(2000)
Artificial Intelligence
, vol.119
, pp. 191-233
-
-
Kuipers, B.1
-
16
-
-
23044520395
-
CASL: From semantics to tools
-
S. Graf and M. Schwartzbach, editors, TAC AS 2000. Springer
-
T. Mossakowski. CASL: From semantics to tools. In S. Graf and M. Schwartzbach, editors, TAC AS 2000, volume 1785 of Lecture Notes in Computer Science, pages 93-108. Springer, 2000.
-
(2000)
Lecture Notes in Computer Science
, vol.1785
, pp. 93-108
-
-
Mossakowski, T.1
-
17
-
-
84941154030
-
-
T. Mossakowski. Heterogeneous tool set (Hets) Web Site, http://www.informatik.uni-bremen.de/cofi/hets, 2004.
-
(2004)
-
-
Mossakowski, T.1
-
18
-
-
24644453866
-
Heterogeneous specification and the heterogeneous tool set
-
Universitaet Bremen, Habilitation thesis
-
T. Mossakowski. Heterogeneous specification and the heterogeneous tool set. Technical report, Universitaet Bremen, 2005. Habilitation thesis.
-
(2005)
Technical Report
-
-
Mossakowski, T.1
-
19
-
-
84864840163
-
-
P. D. Mosses, editor. CASL Reference Manual. Springer
-
P. D. Mosses, editor. CASL Reference Manual, volume 2960 of Lecture Notes in Computer Science. Springer, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.2960
-
-
-
20
-
-
84864840163
-
-
CASL - the Common Algebraic Specification Language: User Manual. Springer
-
P. D. Mosses and M. Bidoit. CASL - the Common Algebraic Specification Language: User Manual, volume 2960 of Lecture Notes in Computer Science. Springer, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.2960
-
-
Mosses, P.D.1
Bidoit, M.2
-
21
-
-
22944458853
-
Qualitative direction calculi with arbitrary granularity
-
, Auckland, New Zealand, Sept. Springer
-
J. Renz and D. Mitra. Qualitative direction calculi with arbitrary granularity. In Proceedings PRICAI 2004 (LNAI 3157), pages 65-74, Auckland, New Zealand, Sept. 2004. Springer.
-
(2004)
Proceedings PRICAI 2004 (LNAI)
, vol.3157
, pp. 65-74
-
-
Renz, J.1
Mitra, D.2
-
22
-
-
84941161659
-
-
P. Mosses, editor. [19], Part VI
-
M. Roggenbach, T. Mossakowski, and L. Schröder. Libraries. In P. Mosses, editor, CASL Reference Manual. [19], Part VI.
-
CASL Reference Manual
-
-
Roggenbach, M.1
Mossakowski, T.2
Schröder Libraries, L.3
-
23
-
-
33750241874
-
Anordnung: Eine Fallstudie zur Semantik bildhafter Repräsentation
-
C. Freksa and C. Habel, editors. Springer
-
C. Schlieder. Anordnung: Eine Fallstudie zur Semantik bildhafter Repräsentation. In C. Freksa and C. Habel, editors, Repräsentation and Verarbeitung räumlichen Wissens, pages 129-142. Springer, 1990.
-
(1990)
Repräsentation and Verarbeitung Räumlichen Wissens
, pp. 129-142
-
-
Schlieder, C.1
-
26
-
-
0001878223
-
How language structures space
-
H. L. Pick and L. P. Acredolo, editors. Plenum, NY
-
L. Talmy. How language structures space. In H. L. Pick and L. P. Acredolo, editors, Spatial Orientation: Theory, Research and Application. Plenum, NY, 1983.
-
(1983)
Spatial Orientation: Theory, Research and Application
-
-
Talmy, L.1
-
27
-
-
84941159338
-
Making sense of space - The legibility of public transport stations
-
submitted
-
S. Timpf. Making sense of space - the legibility of public transport stations. Environment and Planning, submitted.
-
Environment and Planning
-
-
Timpf, S.1
-
28
-
-
0037226634
-
Structures of mental spaces - How people think about space
-
B. Tversky. Structures of mental spaces - how people think about space. Environment and Behavior, Vol.35, No.1:66-80, 2003.
-
(2003)
Environment and Behavior
, vol.35
, Issue.1
, pp. 66-80
-
-
Tversky, B.1
-
29
-
-
0002713278
-
How space structures language
-
C. Freksa, C. Habel, and K. Wender, editors, Spatial Cognition: An interdisciplinary Approach to Representation and Processing of Spatial Knowledge. Springer-Verlag
-
B. Tversky and P. Lee. How space structures language. In C. Freksa, C. Habel, and K. Wender, editors, Spatial Cognition: An interdisciplinary Approach to Representation and Processing of Spatial Knowledge, volume 1404 of Lecture Notes in Artificial Intelligence, pages 157-175. Springer-Verlag, 1998.
-
(1998)
Lecture Notes in Artificial Intelligence
, vol.1404
, pp. 157-175
-
-
Tversky, B.1
Lee, P.2
-
30
-
-
3242700734
-
Modelling navigational knowledge by route graphs
-
C. Freksa, C. Habel, and K. Wender, editors, Spatial Cognition II. Springer-Verlag
-
S. Werner, B. Krieg-Brückner, and T. Herrmann. Modelling Navigational Knowledge by Route Graphs. In C. Freksa, C. Habel, and K. Wender, editors, Spatial Cognition II, volume 1849 of Lecture Notes in Artificial Intelligence, pages 295-317. Springer-Verlag, 2000.
-
(2000)
Lecture Notes in Artificial Intelligence
, vol.1849
, pp. 295-317
-
-
Werner, S.1
Krieg-Brückner, B.2
Herrmann, T.3
-
31
-
-
0029759789
-
Qualitative spatial reasoning using orientation, distance, and path knowledge
-
K. Zimmermann and C. Freksa. Qualitative spatial reasoning using orientation, distance, and path knowledge. Applied Intelligence, 6:49-58, 1996.
-
(1996)
Applied Intelligence
, vol.6
, pp. 49-58
-
-
Zimmermann, K.1
Freksa, C.2
|