-
1
-
-
0001930291
-
A spatial logic based on regions and connection
-
Nebel, B., Swartout, W., Rich, C., eds.: Los Allos, Morgan Kaufmann
-
Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In Nebel, B., Swartout, W., Rich, C., eds.: Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning, Los Allos, Morgan Kaufmann (1992) 165-176
-
(1992)
Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning
, pp. 165-176
-
-
Randell, D.1
Cui, Z.2
Cohn, A.3
-
2
-
-
0034898728
-
A relation-algebraic approach to the region connection calculus
-
Düntsch, H., Wang, H., McCloskey, S.: A relation-algebraic approach to the Region Connection Calculus. Theoretical Computer Science 255 (2001) 63-83
-
(2001)
Theoretical Computer Science
, vol.255
, pp. 63-83
-
-
Düntsch, H.1
Wang, H.2
McCloskey, S.3
-
3
-
-
0037382408
-
Region connection calculus: Its models and composition table
-
Li, S., Ying, M.: Region Connection Calculus: Its models and composition table. Artificial Intelligence 145(1-2) (2003) 121-146
-
(2003)
Artificial Intelligence
, vol.145
, Issue.1-2
, pp. 121-146
-
-
Li, S.1
Ying, M.2
-
4
-
-
0033620274
-
On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus
-
Renz, J., Nebel, B.: On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Artificial Intelligence 108 (1999) 69-123
-
(1999)
Artificial Intelligence
, vol.108
, pp. 69-123
-
-
Renz, J.1
Nebel, B.2
-
5
-
-
33645749118
-
On topological consistency and realization
-
Li, S.: On topological consistency and realization. Constraints 11(1) (2006) 31-51
-
(2006)
Constraints
, vol.11
, Issue.1
, pp. 31-51
-
-
Li, S.1
-
6
-
-
27744608877
-
RCC8 binary constraint network can be consistently extended
-
Li, S., Wang, H.: RCC8 binary constraint network can be consistently extended. Artif. Intell. 170(1) (2006) 1-18
-
(2006)
Artif. Intell.
, vol.170
, Issue.1
, pp. 1-18
-
-
Li, S.1
Wang, H.2
-
8
-
-
0031992523
-
Reasoning about cardinal directions
-
Ligozat, G.: Reasoning about cardinal directions. J. Vis. Lang. Comput. 9(1) (1998) 23-44
-
(1998)
J. Vis. Lang. Comput.
, vol.9
, Issue.1
, pp. 23-44
-
-
Ligozat, G.1
-
9
-
-
84880655036
-
A new tractable subclass of the rectangle algebra
-
Dean, T., ed., Morgan Kaufmann
-
Balbiani, P., Condotta, J.F., del Cerro, L.F.: A new tractable subclass of the rectangle algebra. In Dean, T., ed.: IJCAI, Morgan Kaufmann (1999) 442-447
-
(1999)
IJCAI
, pp. 442-447
-
-
Balbiani, P.1
Condotta, J.F.2
Del Cerro, L.F.3
-
10
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
Allen, J.: Maintaining knowledge about temporal intervals. Communications of the ACM 26 (1983) 832-843
-
(1983)
Communications of the ACM
, vol.26
, pp. 832-843
-
-
Allen, J.1
-
12
-
-
12344305634
-
On the consistency of cardinal direction constraints
-
Skiadopoulos, S., Koubarakis, M.: On the consistency of cardinal direction constraints. Artif. Intell. 163(1) (2005) 91-135
-
(2005)
Artif. Intell.
, vol.163
, Issue.1
, pp. 91-135
-
-
Skiadopoulos, S.1
Koubarakis, M.2
-
13
-
-
0027694565
-
Complexity and algorithms for reasoning about time: A graph-theoretic approach
-
Golumbic, M.C., Shamir, R.: Complexity and algorithms for reasoning about time: a graph-theoretic approach. J. ACM 40(5) (1993) 1108-1133
-
(1993)
J. ACM
, vol.40
, Issue.5
, pp. 1108-1133
-
-
Golumbic, M.C.1
Shamir, R.2
-
14
-
-
0343826120
-
Reasoning about qualitative spatial relationships
-
Sistla, A.P., Yu, C.T.: Reasoning about qualitative spatial relationships. Journal of Automated Reasoning 25(4) (2000) 291-328
-
(2000)
Journal of Automated Reasoning
, vol.25
, Issue.4
, pp. 291-328
-
-
Sistla, A.P.1
Yu, C.T.2
|