-
1
-
-
0036567648
-
Combining topological and size constraints for spatial reasoning
-
Gerevini and J. Renz, "Combining Topological and Size Constraints for Spatial Reasoning," Artificial Intelligence (AIJ), vol. 137(1-2), pp. 1-42, 2002.
-
(2002)
Artificial Intelligence (AIJ)
, vol.137
, Issue.1-2
, pp. 1-42
-
-
Gerevini1
Renz, J.2
-
2
-
-
26444506896
-
Combining cardinal direction relations and relative orientation relations in qualitative spatial reasoning
-
Fachbereich Informatik
-
A Isli, V Haarslev and R Moller, "Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning," Fachbereich Informatik, University Hamburg, Technical report FBI-HH-M-304/01, 2001.
-
(2001)
University Hamburg, Technical Report
, vol.FBI-HH-M-304-01
-
-
Isli, A.1
Haarslev, V.2
Moller, R.3
-
3
-
-
0242639798
-
-
Ph.D. Thesis, Department of Spatial Information Science and Engineering, University of Maine, Orono, ME
-
J. Sharma, "Integrated spatial reasoning in geographic information systems: combining topology and direction," Ph.D. Thesis, Department of Spatial Information Science and Engineering, University of Maine, Orono, ME, 1996.
-
(1996)
Integrated Spatial Reasoning in Geographic Information Systems: Combining Topology and Direction
-
-
Sharma, J.1
-
4
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
November
-
James F. Allen, "Maintaining knowledge about temporal intervals," Communications of the ACM, vol. 26(11), pp. 832-843, November, 1983.
-
(1983)
Communications of the ACM
, vol.26
, Issue.11
, pp. 832-843
-
-
Allen, J.F.1
-
5
-
-
85027691494
-
A formal definition of binary topological relationships
-
Third International Conference on Foundations of Data Organization and Algorithms (FODO), Paris, France: Springer-Verlag
-
M. Egenhofer, "A Formal Definition of Binary Topological Relationships," in Third International Conference on Foundations of Data Organization and Algorithms (FODO), Paris, France: Lecture Notes in Computer Science, Springer-Verlag, Vol. 367, pp. 457-472, 1989.
-
(1989)
Lecture Notes in Computer Science
, vol.367
, pp. 457-472
-
-
Egenhofer, M.1
-
6
-
-
0001930291
-
A spatial logic based on regions and connection
-
Nebel B, Rich C, Swartout W, eds. San Mateo: Morgan Kaufmann
-
Randell D, Cui Z and Cohn A, "A spatial logic based on regions and connection," In: Nebel B, Rich C, Swartout W, eds. Proc. of the Knowledge Representation and Reasoning. San Mateo: Morgan Kaufmann, pp. 165-176, 1992.
-
(1992)
Proc. of the Knowledge Representation and Reasoning
, pp. 165-176
-
-
Randell, D.1
Cui, Z.2
Cohn, A.3
-
8
-
-
0346093839
-
Composing cardinal direction relations
-
S. Skiadopoulos and M. Koubarakis, "Composing cardinal direction relations," Artificial Intelligence, vol. 152(2), pp. 143-171, 2004.
-
(2004)
Artificial Intelligence
, vol.152
, Issue.2
, pp. 143-171
-
-
Skiadopoulos, S.1
Koubarakis, M.2
-
9
-
-
85011043422
-
Computing transitivity tables: A challenge for automated theorem provers
-
Berlin: Springer Verlag
-
D. A. Randell, A. G. Cohn and Z. Cui, "Computing Transitivity Tables: A Challenge For Automated Theorem Provers," In Proceedings of the 11th International Conference on Automated Deduction, Berlin: Springer Verlag, pp.786-790, 1992.
-
(1992)
Proceedings of the 11th International Conference on Automated Deduction
, pp. 786-790
-
-
Randell, D.A.1
Cohn, A.G.2
Cui, Z.3
-
10
-
-
3042718659
-
Cardinal directions between spatial objects: The pairwise-consistency problem
-
Serafino Cicerone and Paolino Di Felice, "Cardinal directions between spatial objects: the pairwise-consistency problem," Information Sciences, vol. 164, pp. 165-188, 2004.
-
(2004)
Information Sciences
, vol.164
, pp. 165-188
-
-
Cicerone, S.1
Di Felice, P.2
-
11
-
-
0002499870
-
Reasoning about spatial relationships in picture retrieval systems
-
Morgan Kaufmann
-
Prasad Sistla, Clement T. Yu and R. Haddad, "Reasoning About Spatial Relationships in Picture Retrieval Systems," In: Proceedings of 20th International Conference on Very Large Data Bases, Morgan Kaufmann, pp. 570-581, 1994.
-
(1994)
Proceedings of 20th International Conference on Very Large Data Bases
, pp. 570-581
-
-
Sistla, P.1
Yu, C.T.2
Haddad, R.3
-
12
-
-
0002499870
-
Reasoning about spatial relationships in picture retrieval systems
-
A. Prasad Sistla, Clement T. Yu, and R. Haddad, "Reasoning About Spatial Relationships in Picture Retrieval Systems," International Journal on Very Large Databases (VLDB), vol. 3(4), pp.570-581, 1994.
-
(1994)
International Journal on Very Large Databases (VLDB)
, vol.3
, Issue.4
, pp. 570-581
-
-
Prasad Sistla, A.1
Yu, C.T.2
Haddad, R.3
|