-
1
-
-
4243623327
-
An introduction to qualitative reasoning
-
Marik V, Stèpanková O, Trappl R, editors. Advanced topics in artificial intelligence. Berlin/New York: Springer-Verlag
-
Stèpánková O. An introduction to qualitative reasoning. In: Marik V, Stèpanková O, Trappl R, editors. Advanced topics in artificial intelligence. Lecture Notes in Artificial Intelligence. Vol 617. Berlin/New York: Springer-Verlag; 1992. pp 404-418.
-
(1992)
Lecture Notes in Artificial Intelligence
, vol.617
, pp. 404-418
-
-
Stèpánková, O.1
-
2
-
-
0004326375
-
Spatial reasoning
-
Kak A. Spatial reasoning. AI Mag 1988;9(2):23.
-
(1988)
AI Mag
, vol.9
, Issue.2
, pp. 23
-
-
Kak, A.1
-
4
-
-
0018216873
-
Modeling spatial knowledge
-
Kuipers B. Modeling spatial knowledge. Cognitive Sci 1978;2:129-153.
-
(1978)
Cognitive Sci
, vol.2
, pp. 129-153
-
-
Kuipers, B.1
-
7
-
-
0001956852
-
Navigation and mapping in large-scale space
-
Kuipers BJ, Levitt TS. Navigation and mapping in large-scale space. AI Mag 1988.
-
(1988)
AI Mag
-
-
Kuipers, B.J.1
Levitt, T.S.2
-
8
-
-
0026933140
-
Panorama representation for route recognition by a mobile robot
-
Zheng JY, Tsuji S. Panorama representation for route recognition by a mobile robot. Int J Comput Vision Oct. 1992;9(1):55-76.
-
(1992)
Int J Comput Vision Oct.
, vol.9
, Issue.1
, pp. 55-76
-
-
Zheng, J.Y.1
Tsuji, S.2
-
10
-
-
0026866905
-
Symbolic and geometric connectivity graph methods for route planning in digitized maps
-
Holmes PD, Jungert RA. Symbolic and geometric connectivity graph methods for route planning in digitized maps. IEEE Trans Pattern Anal Machine Intell May 1992;14(5).
-
(1992)
IEEE Trans Pattern Anal Machine Intell May
, vol.14
, Issue.5
-
-
Holmes, P.D.1
Jungert, R.A.2
-
15
-
-
84949242411
-
The observer's point of view: An extension of symbolic projections
-
International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. Berlin/New York: Springer-Verlag
-
Jungert E. The observer's point of view: An extension of symbolic projections: In: International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning in Geographic Space. Lecture Notes in Computer Science. Vol 639. Berlin/New York: Springer-Verlag; 1992.
-
(1992)
Lecture Notes in Computer Science
, vol.639
-
-
Jungert, E.1
-
17
-
-
85028140593
-
Using orientation information for qualitative reasoning
-
Frank AU, Campari I, Formentini U, editors. Theories and methods of spatio-temporal reasoning in geographic space. Proceedings of the International Conference on GIS - From Space to Territory, Berlin: Springer-Verlag
-
Freksa C. Using orientation information for qualitative reasoning. In: Frank AU, Campari I, Formentini U, editors. Theories and methods of spatio-temporal reasoning in geographic space. Proceedings of the International Conference on GIS - From Space to Territory, Lecture Notes in Computer Science. Vol 639. Berlin: Springer-Verlag; 1992. pp 162-178.
-
(1992)
Lecture Notes in Computer Science
, vol.639
, pp. 162-178
-
-
Freksa, C.1
-
19
-
-
0001497988
-
Qualitative spatial reasoning about distance and directions in geographic space
-
Frank A. Qualitative spatial reasoning about distance and directions in geographic space. J Visual Languages Comput 1992;3:343-373.
-
(1992)
J Visual Languages Comput
, vol.3
, pp. 343-373
-
-
Frank, A.1
-
20
-
-
0003240438
-
Qualitative representation of spatial knowledge
-
Berlin/New York: Springer-Verlag
-
Hernández D. Qualitative representation of spatial knowledge. Lecture Notes in Artificial Intelligence. Vol 804. Berlin/New York: Springer-Verlag; 1994.
-
(1994)
Lecture Notes in Artificial Intelligence
, vol.804
-
-
Hernández, D.1
-
21
-
-
0020849266
-
Maintaining knowledge about temporal intervals
-
Allen J. Maintaining knowledge about temporal intervals. Comm ACM 1983;26(11):832-843.
-
(1983)
Comm ACM
, vol.26
, Issue.11
, pp. 832-843
-
-
Allen, J.1
-
22
-
-
84949242414
-
Enhancing qualitative spatial reasoning combining orientation and distance
-
Frank AU, Campari I, editors. Spatial information theory. A theoretical basis for GIS. European Conference, COSIT'93. Marciana Marina, Italy. Berlin: Springer-Verlag
-
Zimmermann K. Enhancing qualitative spatial reasoning combining orientation and distance. In: Frank AU, Campari I, editors. Spatial information theory. A theoretical basis for GIS. European Conference, COSIT'93. Marciana Marina, Italy. Lecture Notes in Computer Science. Vol 716. Berlin: Springer-Verlag; 1993. pp 69-76.
-
(1993)
Lecture Notes in Computer Science
, vol.716
, pp. 69-76
-
-
Zimmermann, K.1
-
25
-
-
0004130056
-
Qualitative spatial reasoning: Theory and practice. Application to robot navigation
-
Amsterdam: IOS Press; ISBN 90 5199 412 5
-
Escrig MT, Toledo F. Qualitative spatial reasoning: Theory and practice. Application to Robot Navigation. Frontiers in Artificial Intelligence and Applications. Vol. 47. Amsterdam: IOS Press; 1998. ISBN 90 5199 412 5.
-
(1998)
Frontiers in Artificial Intelligence and Applications
, vol.47
-
-
Escrig, M.T.1
Toledo, F.2
-
27
-
-
84962760644
-
Constraint satisfaction problems: An overview
-
Meseguer P. Constraint satisfaction problems: An overview. AICOM March 1989; Vol 2(1).
-
(1989)
AICOM March
, vol.2
, Issue.1
-
-
Meseguer, P.1
-
28
-
-
0002514541
-
Algorithms for constraint satisfaction problems: A survey
-
Kumar V. Algorithms for constraint satisfaction problems: A survey. AI Mag 1992;13(1):32.44.
-
(1992)
AI Mag
, vol.13
, Issue.1
, pp. 3244
-
-
Kumar, V.1
-
29
-
-
84956978060
-
Constraint handling rules
-
Podelski A, editor. Constraint programming: Basic and trends. Berlin/New York: Springer-Verlag
-
Fruehwirth T. Constraint handling rules. In: Podelski A, editor. Constraint programming: Basic and trends. Lecture Notes in Computer Science. Vol 910. Berlin/New York: Springer-Verlag; 1994. pp 90-107.
-
(1994)
Lecture Notes in Computer Science
, vol.910
, pp. 90-107
-
-
Fruehwirth, T.1
-
30
-
-
0021828305
-
The complexity of some polynomial networks consistency algorithms for constraint satisfaction problems
-
Mackworth AK, Freuder EC. The complexity of some polynomial networks consistency algorithms for constraint satisfaction problems. J Artif Intell 1985;25:65-74.
-
(1985)
J Artif Intell
, vol.25
, pp. 65-74
-
-
Mackworth, A.K.1
Freuder, E.C.2
-
31
-
-
0342842675
-
-
Munich: European Computer-Industry Research Center
-
Brisset P, Fruehwirth, T, Lim, P, Meier, M, Le Provost, T, Schimpf, J, Wallace, M. ECLiPSe 3.4 Extensions User Manual. Munich: European Computer-Industry Research Center; 1994.
-
(1994)
ECLiPSe 3.4 Extensions User Manual
-
-
Brisset, P.1
Fruehwirth, T.2
Lim, P.3
Meier, M.4
Le Provost, T.5
Schimpf, J.6
Wallace, M.7
-
34
-
-
0009979788
-
The integration of qualitative orientation and named distances: Application to a qualitative navigation simulator
-
Escrig MT, Toledo F. The integration of qualitative orientation and named distances: Application to a qualitative navigation simulator. Int J Artif Intell Tools 1997;6(3 & 4).
-
(1997)
Int J Artif Intell Tools
, vol.6
, Issue.3-4
-
-
Escrig, M.T.1
Toledo, F.2
-
35
-
-
0031992705
-
A framework based on CLP extended with CHRs for reasoning with qualitative orientation and positional information
-
Escrig MT, Toledo F. A framework based on CLP extended with CHRs for reasoning with qualitative orientation and positional information. J Visual Languages Comput 1998;9:81-101.
-
(1998)
J Visual Languages Comput
, vol.9
, pp. 81-101
-
-
Escrig, M.T.1
Toledo, F.2
-
36
-
-
84971954260
-
Constraint logic programming
-
Hentenryck PV. Constraint logic programming. Knowledge Eng Rev 1991;6(3): 151-194.
-
(1991)
Knowledge Eng Rev
, vol.6
, Issue.3
, pp. 151-194
-
-
Hentenryck, P.V.1
|