-
1
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
J.F. Allen. Maintaining knowledge about temporal intervals. Comm. ACM, 26(11):832-843, 1983.
-
(1983)
Comm. ACM
, vol.26
, Issue.11
, pp. 832-843
-
-
Allen, J.F.1
-
2
-
-
0010203958
-
A metric time-point and duration-based temporal model
-
F.A. Barber. A metric time-point and duration-based temporal model. SIGART Bulletin, 3:30-49, 1993.
-
(1993)
SIGART Bulletin
, vol.3
, pp. 30-49
-
-
Barber, F.A.1
-
3
-
-
0023332039
-
Temporal data base management
-
T.L. Dean and D.V Mc-Dermott. Temporal data base management. Art. Intel!., 32:1-55, 1987.
-
(1987)
Art. Intel!.
, vol.32
, pp. 1-55
-
-
Dean, T.L.1
Mc-Dermott, D.V.2
-
6
-
-
85158166001
-
Integrating metric and qualitative temporal reasoning
-
H. Kautz and P.B . Ladkin. Integrating metric and qualitative temporal reasoning. In Proceedings of AAAI-91, 1991.
-
(1991)
Proceedings of AAAI-91
-
-
Kautz, H.1
Ladkin, P.B.2
-
7
-
-
84985143039
-
Combining qualitative and quantitative constraints in temporal reasoning
-
I. Meiri. Combining qualitative and quantitative constraints in temporal reasoning. In Proceedings of AAAI- 91, pages 260-267, 1991.
-
(1991)
Proceedings of AAAI- 91
, pp. 260-267
-
-
Meiri, I.1
-
8
-
-
0003902140
-
-
Tech. Rept. R-151, Computer Science Departament, University of California, Los Angeles, CA
-
I. Meiri and J. Pearl. Faster constraint satisfaction algorithms for temporal reasoning. Tech. Rept. R-151, Computer Science Departament, University of California, Los Angeles, CA, 1990.
-
(1990)
Faster Constraint Satisfaction Algorithms for Temporal Reasoning
-
-
Meiri, I.1
Pearl, J.2
-
9
-
-
0016050041
-
Networks of constraints: Fundamental properties and applications to picture processing
-
U. Montanari. Networks of constraints: fundamental properties and applications to picture processing. Information Science, 7:95-132, 1974.
-
(1974)
Information Science
, vol.7
, pp. 95-132
-
-
Montanari, U.1
-
10
-
-
0001790593
-
Depth-first search and linear graph algorithms
-
R.E. Tarjan. Depth-first search and linear graph algorithms. SIAM J. Comput., 1:745-750, 1972.
-
(1972)
SIAM J. Comput.
, vol.1
, pp. 745-750
-
-
Tarjan, R.E.1
-
11
-
-
0003036898
-
On the calculus of relations
-
A. Tarski. On the calculus of relations. J Symbolic Logic, 6:73-89, 1941.
-
(1941)
J Symbolic Logic
, vol.6
, pp. 73-89
-
-
Tarski, A.1
-
13
-
-
0002257189
-
Reasoning about qualitative temporal information
-
P. Van Beek. Reasoning about qualitative temporal information. Art. Intell, 58:297-326, 1992.
-
(1992)
Art. Intell
, vol.58
, pp. 297-326
-
-
Van Beek, P.1
-
14
-
-
85124157306
-
Constraint propagation algorithms for temporal reasoning
-
M. Vilain and H.Kautz. Constraint propagation algorithms for temporal reasoning. In Proceedings of AAAI-86, pages 377-382, 1986.
-
(1986)
Proceedings of AAAI-86
, pp. 377-382
-
-
Vilain, M.1
Kautz, H.2
|