-
2
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
Allen, J. (1983) Maintaining knowledge about temporal intervals. Commun. ACM, 26, 832-843.
-
(1983)
Commun. ACM
, vol.26
, pp. 832-843
-
-
Allen, J.1
-
3
-
-
0344885682
-
-
In Ross, J. D. (ed.); Clarendon Press, Oxford
-
Hardie, P. and Gaye, K. (1930) In Ross, J. D. (ed.), Physica (The Works Of Aristotle, translated into English), Vol. II. Clarendon Press, Oxford.
-
(1930)
Physica (The Works of Aristotle, Translated into English)
, vol.2
-
-
Hardie, P.1
Gaye, K.2
-
4
-
-
0021466185
-
Towards a general theory of action and time
-
Allen, J. (1984) Towards a general theory of action and time. Artificial Intell., 23, 123-154.
-
(1984)
Artificial Intell.
, vol.23
, pp. 123-154
-
-
Allen, J.1
-
5
-
-
0027004846
-
Automatic deduction of temporal information
-
Maiocchi, R. (1992) Automatic deduction of temporal information. ACM Trans. Database Syst., 4, 647-688.
-
(1992)
ACM Trans. Database Syst.
, vol.4
, pp. 647-688
-
-
Maiocchi, R.1
-
6
-
-
0025403638
-
A critical examination of Allen's theory of action and time
-
Galton, A. (1990) A critical examination of Allen's theory of action and time. Artificial Intell., 42, 159-188.
-
(1990)
Artificial Intell.
, vol.42
, pp. 159-188
-
-
Galton, A.1
-
8
-
-
0028204630
-
A general temporal theory
-
Ma, J. and Knight, B. (1994) A general temporal theory. Comput. J., 37, 114-123.
-
(1994)
Comput. J.
, vol.37
, pp. 114-123
-
-
Ma, J.1
Knight, B.2
-
9
-
-
0028392588
-
A survey on temporal reasoning in artificial intelligence
-
Vila, L. (1994) A survey on temporal reasoning in artificial intelligence. AI Commun., 7, 4-28.
-
(1994)
AI Commun.
, vol.7
, pp. 4-28
-
-
Vila, L.1
-
10
-
-
84976706627
-
A glossary of temporal database concepts
-
Jensen, C., Clifford, J., Gadia, S., Segev, A. and Snodgrass, R. (1992) A glossary of temporal database concepts. SIGMOD Record, 21, 35-43.
-
(1992)
SIGMOD Record
, vol.21
, pp. 35-43
-
-
Jensen, C.1
Clifford, J.2
Gadia, S.3
Segev, A.4
Snodgrass, R.5
-
11
-
-
0023366818
-
The temporal query language TQuel
-
Snodgrass, R. (1987) The temporal query language TQuel. ACM Trans. Database Syst., 12, 247-298.
-
(1987)
ACM Trans. Database Syst.
, vol.12
, pp. 247-298
-
-
Snodgrass, R.1
-
12
-
-
0014638440
-
Some philosophical problems from the standpoint of artificial intelligence
-
McCarthy, J. and Hayes, P. (1969) Some philosophical problems from the standpoint of artificial intelligence. Machine Intell., 4, 463-502.
-
(1969)
Machine Intell.
, vol.4
, pp. 463-502
-
-
McCarthy, J.1
Hayes, P.2
-
13
-
-
0015304414
-
A model for temporal references and its application in a question answering program
-
Bruce, B. (1972) A model for temporal references and its application in a question answering program. Artificial Intell., 3, 1-25.
-
(1972)
Artificial Intell.
, vol.3
, pp. 1-25
-
-
Bruce, B.1
-
14
-
-
0001445808
-
A temporal logic for reasoning about processes and plans
-
McDermott, D. (1982) A temporal logic for reasoning about processes and plans. Cognitive Sci., 6, 101-155.
-
(1982)
Cognitive Sci.
, vol.6
, pp. 101-155
-
-
McDermott, D.1
-
15
-
-
0004241822
-
-
Cambridge University Press, Cambridge
-
Whitehead, A. (1929) Process and Reality. Cambridge University Press, Cambridge.
-
(1929)
Process and Reality
-
-
Whitehead, A.1
-
16
-
-
0001153054
-
A common-sense theory of time
-
Morgan Kaufmann, San Francisco, CA
-
Allen, J. and Hayes, P. (1985) A common-sense theory of time. In Proceedings of IJCA185, Los Angeles, CA, August 18-23, pp. 528-531. Morgan Kaufmann, San Francisco, CA.
-
(1985)
Proceedings of IJCA185, Los Angeles, CA, August 18-23
, pp. 528-531
-
-
Allen, J.1
Hayes, P.2
-
17
-
-
0000689115
-
Short time periods
-
Morgan Kaufmann, San Francisco, CA
-
Hayes, P. and Allen, J. (1987) Short time periods. In Proceedings of IJCA187, Milan, August 23-28, pp. 981-983. Morgan Kaufmann, San Francisco, CA.
-
(1987)
Proceedings of IJCA187, Milan, August 23-28
, pp. 981-983
-
-
Hayes, P.1
Allen, J.2
-
18
-
-
84990616648
-
Moments and points in an interval-based temporal-based logic
-
Allen, J. and Hayes, P. (1989) Moments and points in an interval-based temporal-based logic. Comput. Intell., 5, 225-238.
-
(1989)
Comput. Intell.
, vol.5
, pp. 225-238
-
-
Allen, J.1
Hayes, P.2
-
19
-
-
0020311129
-
A system for reasoning about time
-
AAAI Press, Menlo Park, CA
-
Vilain, M. (1982) A system for reasoning about time. In Proceedings of AAA182, Pittsburgh, PA, August 18-20. pp. 197-201. AAAI Press, Menlo Park, CA.
-
(1982)
Proceedings of AAA182, Pittsburgh, PA, August 18-20
, pp. 197-201
-
-
Vilain, M.1
-
20
-
-
0012486745
-
An investigation of non-intermingling principles in temporal logic
-
Galton, A. (1996) An investigation of non-intermingling principles in temporal logic. J. Logic Comput., 6, 267-290.
-
(1996)
J. Logic Comput.
, vol.6
, pp. 267-290
-
-
Galton, A.1
-
21
-
-
77952216244
-
Provably correct theories of action
-
AAAI Press, Menlo Park, CA
-
Lin, F. and Shoham, Y. (1991) Provably correct theories of action. In Proc. Ninth Nat. Conf. on Artificial Intelligence, Anaheim, CA, July 14-19, pp. 349-354. AAAI Press, Menlo Park, CA.
-
(1991)
Proc. Ninth Nat. Conf. on Artificial Intelligence, Anaheim, CA, July 14-19
, pp. 349-354
-
-
Lin, F.1
Shoham, Y.2
-
22
-
-
0012539070
-
A reified temporal logic
-
Ma, J. and Knight, B. (1996) A reified temporal logic. Comput. J., 39, 800-807.
-
(1996)
Comput. J.
, vol.39
, pp. 800-807
-
-
Ma, J.1
Knight, B.2
-
23
-
-
0001957505
-
Space, time, and movement
-
In Stock, O. (ed.); Kluwer, Dordrecht
-
Galton, A. (1997) Space, time, and movement. In Stock, O. (ed.), Spatial and Temporal Reasoning, pp. 321-352. Kluwer, Dordrecht.
-
(1997)
Spatial and Temporal Reasoning
, pp. 321-352
-
-
Galton, A.1
-
25
-
-
84936628426
-
Temporal ontology and temporal reference
-
Moens, M. and Steedman, M. (1988) Temporal ontology and temporal reference. Comput. Linguistics, 14, 15-28.
-
(1998)
Comput. Linguistics
, vol.14
, pp. 15-28
-
-
Moens, M.1
Steedman, M.2
-
26
-
-
84936628432
-
A computational model of the semantics of tense and aspect
-
Passonneau, R. (1988) A computational model of the semantics of tense and aspect. Comput. Linguistics, 14, 44-60.
-
(1988)
Comput. Linguistics
, vol.14
, pp. 44-60
-
-
Passonneau, R.1
-
27
-
-
84936216182
-
Knowledge representation for commonsense reasoning with text
-
Dahlgren, K., McDowell, P. and Stabler P. (1989) Knowledge representation for commonsense reasoning with text. Comput. Linguistics, 15, 149-170.
-
(1989)
Comput. Linguistics
, vol.15
, pp. 149-170
-
-
Dahlgren, K.1
McDowell, P.2
Stabler, P.3
-
28
-
-
0002992272
-
Semantic interpretation of tense, actionality, and aspect
-
Grasso, E., Lesmo, L., Lombardo, V., Maccario, M., Salato, R. and Terenziani, P. (1990) Semantic interpretation of tense, actionality, and aspect. In Proc. Eur. Conf. on Artificial Intelligence, Stockholm, August 6-10, pp. 320-325.
-
(1990)
Proc. Eur. Conf. on Artificial Intelligence, Stockholm, August 6-10
, pp. 320-325
-
-
Grasso, E.1
Lesmo, L.2
Lombardo, V.3
Maccario, M.4
Salato, R.5
Terenziani, P.6
-
29
-
-
0023421571
-
Temporal logics in AI: Semantical and ontological considerations
-
Shoham, Y. (1987) Temporal logics in Al: Semantical and ontological considerations. Artificial Intell., 33, 89-104.
-
(1987)
Artificial Intell.
, vol.33
, pp. 89-104
-
-
Shoham, Y.1
-
31
-
-
0001552950
-
Database updates in the event calculus
-
Kowalski, R. (1992) Database updates in the event calculus. J. Logic Program., 12, 121-146.
-
(1992)
J. Logic Program.
, vol.12
, pp. 121-146
-
-
Kowalski, R.1
|