-
2
-
-
0002524878
-
A model for reasoning about bidimensional temporal relations
-
KR 1998
-
Balbiani, P., Condotta, J. F., Fariñas del Cerro, L.: A model for reasoning about bidimensional temporal relations. In: Proc. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), pp. 124-130 (1998)
-
(1998)
Proc. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning
, pp. 124-130
-
-
Balbiani, P.1
Condotta, J.F.2
Del Cerro, L.F.3
-
3
-
-
84880655036
-
A new tractable subclass of the rectangle algebra
-
IJCAI-1999
-
Balbiani, P., Condotta, J. F., Fariñas del Cerro, L.: A new tractable subclass of the rectangle algebra. In: Proc. of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-1999), pp. 442-447 (1999)
-
(1999)
Proc. of the Sixteenth International Joint Conference on Artificial Intelligence
, pp. 442-447
-
-
Balbiani, P.1
Condotta, J.F.2
Del Cerro, L.F.3
-
4
-
-
0003383899
-
Spatial reasoning with propositional logics
-
Doyle, J., Sandewall, E., Torasso, P. eds., KR 1994, Morgan Kaufmann, San Francisco
-
Bennett, B.: Spatial reasoning with propositional logics. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) Proc. of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR 1994), pp. 51-62. Morgan Kaufmann, San Francisco (1994)
-
(1994)
Proc. of the Fourth International Conference on Principles of Knowledge Representation and Reasoning
, pp. 51-62
-
-
Bennett, B.1
-
6
-
-
0036839238
-
Multi-dimensional modal logic as a framework for spatio-temporal reasoning
-
Bennett, B., Cohn, A. G., Wolter, F., Zakharyaschev, M.: Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence 17(3), 239-251 (2002)
-
(2002)
Applied Intelligence
, vol.17
, Issue.3
, pp. 239-251
-
-
Bennett, B.1
Cohn, A.G.2
Wolter, F.3
Zakharyaschev, M.4
-
7
-
-
35448985618
-
An optimal decision procedure for right propositional neighborhood logic
-
Bresolin, D., Montanari, A., Sciavicco, G.: An optimal decision procedure for right propositional neighborhood logic. Journal of Automated Reasoning 4(3), 305-330 (2007)
-
(2007)
Journal of Automated Reasoning
, vol.4
, Issue.3
, pp. 305-330
-
-
Bresolin, D.1
Montanari, A.2
Sciavicco, G.3
-
8
-
-
0034369097
-
Temporal representation and reasoning in artificial intelligence: Issues and approaches
-
Chittaro, L., Montanari, A.: Temporal representation and reasoning in artificial intelligence: Issues and approaches. Annals of Mathematics and Artificial Intelligence 28 (1-4), 47-106 (2000)
-
(2000)
Annals of Mathematics and Artificial Intelligence
, vol.28
, Issue.1-4
, pp. 47-106
-
-
Chittaro, L.1
Montanari, A.2
-
9
-
-
0035302087
-
Qualitative spatial representation and reasoning: An overview
-
Cohn, A. G., Hazarika, S. M.: Qualitative spatial representation and reasoning: An overview. Fundamenta Informaticae 46 (1-2), 1-29 (2001)
-
(2001)
Fundamenta Informaticae
, vol.46
, Issue.1-2
, pp. 1-29
-
-
Cohn, A.G.1
Hazarika, S.M.2
-
10
-
-
23844442126
-
Propositional interval neighborhood temporal logics
-
Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood temporal logics. Journal of Universal Computer Science 9(9), 1137-1167 (2003)
-
(2003)
Journal of Universal Computer Science
, vol.9
, Issue.9
, pp. 1137-1167
-
-
Goranko, V.1
Montanari, A.2
Sciavicco, G.3
-
11
-
-
0003465545
-
Spatial reasoning based on Allen's temporal logic
-
International Computer Science Institute
-
Güsgen, H.: Spatial reasoning based on Allen's temporal logic. Technical Report ICSI TR89-049, International Computer Science Institute (1989)
-
(1989)
Technical Report ICSI TR89-049
-
-
Güsgen, H.1
-
12
-
-
58049130048
-
On the computational complexity of spatial logics with connectedness constraints
-
Cervesato, I., Veith, H., Voronkov, A. eds., Springer, Heidelberg
-
Kontchakov, R., Pratt-Hartmann, I., Wolter, F., Zakharyaschev, M.: On the computational complexity of spatial logics with connectedness constraints. In: Cervesato, I., Veith, H., Voronkov, A. (eds.) LPAR 2008. LNCS, vol. 5330, pp. 574-589. Springer, Heidelberg (2008)
-
(2008)
LPAR 2008. LNCS
, vol.5330
, pp. 574-589
-
-
Kontchakov, R.1
Pratt-Hartmann, I.2
Wolter, F.3
Zakharyaschev, M.4
-
15
-
-
35448961235
-
A new modal logic for reasoning about space: Spatial propositional neighborhood logic
-
Morales, A., Navarrete, I., Sciavicco, G.: A new modal logic for reasoning about space: spatial propositional neighborhood logic. Annals of Mathematics and Artificial Intelligence 51(1), 1-25 (2007)
-
(2007)
Annals of Mathematics and Artificial Intelligence
, vol.51
, Issue.1
, pp. 1-25
-
-
Morales, A.1
Navarrete, I.2
Sciavicco, G.3
-
17
-
-
84892386247
-
On the translation of qualitative spatial reasoning problems into modal logics
-
Burgard, W., Christaller, T., Cremers, A. B. eds., Springer, Heidelberg
-
Nutt, W.: On the translation of qualitative spatial reasoning problems into modal logics. In: Burgard, W., Christaller, T., Cremers, A. B. (eds.) KI 1999. LNCS, vol. 1701, pp. 113-124. Springer, Heidelberg (1999)
-
(1999)
KI 1999. LNCS
, vol.1701
, pp. 113-124
-
-
Nutt, W.1
-
18
-
-
84972513444
-
Expressiveness and completeness of an interval tense logic
-
Venema, Y.: Expressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic 31(4), 529-547 (1990)
-
(1990)
Notre Dame Journal of Formal Logic
, vol.31
, Issue.4
, pp. 529-547
-
-
Venema, Y.1
|