-
1
-
-
0032885005
-
Survey of spatio-temporal databases
-
Abraham, T. and Roddick, J., 1999, Survey of spatio-temporal databases. GeoInformatica, 3, pp. 61-69.
-
(1999)
GeoInformatica
, vol.3
, pp. 61-69
-
-
Abraham, T.1
Roddick, J.2
-
3
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
Allen, J.F., 1983, Maintaining knowledge about temporal intervals. Communications of the ACM, 26, pp. 832-843.
-
(1983)
Communications of the ACM
, vol.26
, pp. 832-843
-
-
Allen, J.F.1
-
4
-
-
0021466185
-
Towards a general theory of action and time
-
Allen, J.F., 1984, Towards a general theory of action and time. Artificial Intelligence, 23, pp. 123-154.
-
(1984)
Artificial Intelligence
, vol.23
, pp. 123-154
-
-
Allen, J.F.1
-
5
-
-
4243824698
-
-
Technical Report TR521, Computer Science Department, University of Rochester
-
Allen, J.F. and Ferguson, G., 1994, Actions and Events in Interval Temporal Logic, Technical Report TR521, Computer Science Department, University of Rochester.
-
(1994)
Actions and Events in Interval Temporal Logic
-
-
Allen, J.F.1
Ferguson, G.2
-
6
-
-
0031755324
-
Multi-agent simulations of residential dynamics in the city
-
Benenson, I., 1998, Multi-agent simulations of residential dynamics in the city. Computers, Environment and Urban Systems, 22(1), pp. 25-42.
-
(1998)
Computers, Environment and Urban Systems
, vol.22
, Issue.1
, pp. 25-42
-
-
Benenson, I.1
-
7
-
-
78650097085
-
People manipulate objects (but cultivate fields): Beyond the raster-vector debate in GIS
-
number 716 in Lecture Notes in Computer Science, A.U. Frank and I. Campari (Eds.), (Berlin: Springer)
-
Couclelis, H., 1993, People manipulate objects (but cultivate fields): beyond the raster-vector debate in GIS. In Spatial Information Theory: A Theoretical Basis for GIS, number 716 in Lecture Notes in Computer Science, A.U. Frank and I. Campari (Eds.), pp. 65-77 (Berlin: Springer).
-
(1993)
Spatial Information Theory: A Theoretical Basis for GIS
, pp. 65-77
-
-
Couclelis, H.1
-
8
-
-
0343891789
-
The individuation of events
-
N. Rescher (Ed.), (Dordrecht: Reidel)
-
Davidson, D., 1969, The individuation of events. In Essays in Honor of Carl G. Hempel, N. Rescher (Ed.), pp. 216-234 (Dordrecht: Reidel).
-
(1969)
Essays in Honor of Carl G. Hempel
, pp. 216-234
-
-
Davidson, D.1
-
9
-
-
26944486451
-
Fields and objects in space, time, and space-time
-
in press
-
Galton, A., in press, Fields and objects in space, time, and space-time. Spatial Cognition and Computation.
-
Spatial Cognition and Computation
-
-
Galton, A.1
-
12
-
-
0035018341
-
So go downtown: Simulating pedestrian movement in town centres
-
Haklay, M., O'Sullivan, D. and Thurstain-Goodwin, M., 2001, So go downtown: Simulating pedestrian movement in town centres. Environment and Planning B: Planning and Design, 28, pp. 343-359.
-
(2001)
Environment and Planning B: Planning and Design
, vol.28
, pp. 343-359
-
-
Haklay, M.1
O'Sullivan, D.2
Thurstain-Goodwin, M.3
-
13
-
-
0141631476
-
Theory of conjugate functions or algebraic cowples, with a preliminary and elementary essay on algebra as the science of pure time
-
Hamilton, W.R., 1837, Theory of conjugate functions or algebraic cowples, with a preliminary and elementary essay on algebra as the science of pure time. Transaction of the Royal Irish Academy, 17(1), pp. 293-422.
-
(1837)
Transaction of the Royal Irish Academy
, vol.17
, Issue.1
, pp. 293-422
-
-
Hamilton, W.R.1
-
15
-
-
0003917450
-
The Ontology of Physical Objects: Four-Dimensional Hunks of Matter
-
(Cambridge: Cambridge University Press)
-
Heller, M., 1990, The Ontology of Physical Objects: Four-Dimensional Hunks of Matter. Cambridge Studies in Philosophy (Cambridge: Cambridge University Press).
-
(1990)
Cambridge Studies in Philosophy
-
-
Heller, M.1
-
18
-
-
0034032661
-
Identity-based change: A foundation for spatio-temporal knowledge representation
-
Hornsby, K. and Egenhofer, M.J., 2000, Identity-based change: A foundation for spatio-temporal knowledge representation. International Journal of Geographical Information Science, 14 3), pp. 207-204.
-
(2000)
International Journal of Geographical Information Science
, vol.14
, Issue.3
, pp. 204-207
-
-
Hornsby, K.1
Egenhofer, M.J.2
-
19
-
-
0033904095
-
On agent-based software engineering
-
Jennings, N.R., 2000, On agent-based software engineering. Artificial Intelligence, 117, pp. 277-296.
-
(2000)
Artificial Intelligence
, vol.117
, pp. 277-296
-
-
Jennings, N.R.1
-
20
-
-
0038881250
-
Events as property exemplifications
-
(Dordrecht: Reidel)
-
Kim, J., 1976, Events as property exemplifications. In Action Theory (Dordrecht: Reidel), pp. 159-177.
-
(1976)
Action Theory
, pp. 159-177
-
-
Kim, J.1
-
21
-
-
0022605949
-
A logic-based calculus of events
-
Kowalski, R.A. and Sergot, M.J., 1986, A logic-based calculus of events. New Generation Computing, 4, pp. 67-95.
-
(1986)
New Generation Computing
, vol.4
, pp. 67-95
-
-
Kowalski, R.A.1
Sergot, M.J.2
-
22
-
-
12444269501
-
Historic USGS topographic maps
-
Marshall, C., 2003, Historic USGS topographic maps. http://historical.maptech.com/index.cfm.
-
(2003)
-
-
Marshall, C.1
-
23
-
-
0039310874
-
Some philosophical problems from the standpoint of artificial intelligence
-
(Palo Alto, CA: Tioga)
-
Mccarthy, J.M. and Hayes, P.J., 1969, Some philosophical problems from the standpoint of artificial intelligence. In Reading in Artificial Intelligence (Palo Alto, CA: Tioga), pp. 431-450.
-
(1969)
Reading in Artificial Intelligence
, pp. 431-450
-
-
McCarthy, J.M.1
Hayes, P.J.2
-
24
-
-
33751052921
-
What about people in geographic information science?
-
P. Fisher and D. Unwin (Eds.) (New Jersey: Wiley)
-
Miller, H.J., 2004, What about people in geographic information science? In Re-Presenting Geographic Information Systems, P. Fisher and D. Unwin (Eds.) (New Jersey: Wiley).
-
(2004)
Re-Presenting Geographic Information Systems
-
-
Miller, H.J.1
-
26
-
-
0003276135
-
A Calculus of Communicating Systems
-
(Berlin: Springer)
-
Milner, R., 1980, A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science (Berlin: Springer).
-
(1980)
Lecture Notes in Computer Science
, vol.92
-
-
Milner, R.1
-
27
-
-
0027353881
-
Elements of interaction (Turing Award Lecture)
-
Milner, R., 1993, Elements of interaction (Turing Award Lecture). Communications of the ACM, 36, pp. 78-89.
-
(1993)
Communications of the ACM
, vol.36
, pp. 78-89
-
-
Milner, R.1
-
29
-
-
33845570870
-
Events, processes and states
-
Mourelatos, A., 1978, Events, processes and states. Linguistics and Philosophy, 2, pp. 415-434.
-
(1978)
Linguistics and Philosophy
, vol.2
, pp. 415-434
-
-
Mourelatos, A.1
-
30
-
-
0000194086
-
Two-lane traffic rules for cellular automata: A systematic approach
-
Nagel, K., Wolf, D.E., Wagner, P. and Simon, P., 1998, Two-lane traffic rules for cellular automata: A systematic approach. Physical Review E 58(2), pp. 1425-1437.
-
(1998)
Physical Review E
, vol.58
, Issue.2
, pp. 1425-1437
-
-
Nagel, K.1
Wolf, D.E.2
Wagner, P.3
Simon, P.4
-
31
-
-
0347903174
-
Cellular models of urban systems
-
S. Bandini and T. Worsch (Eds.), (Berlin: Springer)
-
O'Sullivan, D. and Torrens, P.M., 2000, Cellular models of urban systems. In Theoretical and Practical Issues of Cellular Automata, S. Bandini and T. Worsch (Eds.), pp. 108-117 (Berlin: Springer).
-
(2000)
Theoretical and Practical Issues of Cellular Automata
, pp. 108-117
-
-
O'Sullivan, D.1
Torrens, P.M.2
-
32
-
-
0001839355
-
Fundamentals of a theory of asynchronous flows
-
(Amsterdam: North Holland)
-
Petri, C.A., 1963, Fundamentals of a theory of asynchronous flows. In Proceedings of IFIP (Amsterdam '62) (Amsterdam: North Holland), pp. 386-390.
-
(1963)
Proceedings of IFIP (Amsterdam '62)
, pp. 386-390
-
-
Petri, C.A.1
-
33
-
-
0141821433
-
Events and event talk: An introduction
-
J. Higginbottom, F. Pianesi and A. Varzi (Eds.), (Oxford: Oxford University Press)
-
Pianesi, F. and Varzi, A., 2000, Events and event talk: An introduction. In Speaking of Events, J. Higginbottom, F. Pianesi and A. Varzi (Eds.), pp. 3-48 (Oxford: Oxford University Press).
-
(2000)
Speaking of Events
, pp. 3-48
-
-
Pianesi, F.1
Varzi, A.2
-
36
-
-
12444255891
-
Representing time and action in artificial intelligence
-
(Boston: MIT Press)
-
Shoham, Y. and Goyal, N., 1988, Representing time and action in artificial intelligence. Frontiers of Artificial Intelligence (Boston: MIT Press).
-
(1988)
Frontiers of Artificial Intelligence
-
-
Shoham, Y.1
Goyal, N.2
-
38
-
-
2442512395
-
Modal and Temporal Properties of Processes
-
(Berlin: Springer)
-
Stirling, C., 2001, Modal and Temporal Properties of Processes. Texts in Computer Science (Berlin: Springer).
-
(2001)
Texts in Computer Science
-
-
Stirling, C.1
-
39
-
-
0002523988
-
Verbs and times
-
chapter 4 (Ithaca: Cornell University Press)
-
Vendler, Z., 1967, Verbs and times. In Linguistics in Philosophy, chapter 4 (Ithaca: Cornell University Press), pp. 97-121.
-
(1967)
Linguistics in Philosophy
, pp. 97-121
-
-
Vendler, Z.1
-
40
-
-
84972263711
-
Intelligent agents: Theory and practice
-
Woolridge, M. and Jennings, N.R., 1995, Intelligent agents: theory and practice. Knowledge Engineering Review, 10(2), pp. 115-152.
-
(1995)
Knowledge Engineering Review
, vol.10
, Issue.2
, pp. 115-152
-
-
Woolridge, M.1
Jennings, N.R.2
-
42
-
-
0028199287
-
A unified model of spatial and temporal information
-
Worboys, M.F., 1994b, A unified model of spatial and temporal information. Computer Journal, 37(1), pp. 26-34.
-
(1994)
Computer Journal
, vol.37
, Issue.1
, pp. 26-34
-
-
Worboys, M.F.1
-
43
-
-
0025691060
-
Object-oriented data modelling for spatial databases
-
Worboys, M.F., Hearnshaw, H.M. and Maguire, D.J., 1990, Object-oriented data modelling for spatial databases. International Journal of Geographical Information Systems, 4(4), pp. 369-383.
-
(1990)
International Journal of Geographical Information Systems
, vol.4
, Issue.4
, pp. 369-383
-
-
Worboys, M.F.1
Hearnshaw, H.M.2
Maguire, D.J.3
-
44
-
-
0035299346
-
Representing complex geographic phenomena with both object- And field-like properties
-
Yuan, M., 2001, Representing complex geographic phenomena with both object- and field-like properties. Cartography and Geographic Information Science, 28(2), pp. 83-96.
-
(2001)
Cartography and Geographic Information Science
, vol.28
, Issue.2
, pp. 83-96
-
-
Yuan, M.1
|