메뉴 건너뛰기




Volumn 5607 LNAI, Issue , 2009, Pages 123-137

A tableau-based system for spatial reasoning about directional relations

Author keywords

[No Author keywords available]

Indexed keywords

MODAL LOGIC; NEIGHBORHOOD LOGIC; QUALITATIVE SPATIAL REASONING; RESEARCH AREAS; SPATIAL INFORMATIONS; SPATIAL REASONING; TABLEAU METHOD;

EID: 77956336229     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02716-1_10     Document Type: Conference Paper
Times cited : (3)

References (18)
  • 6
    • 0036839238 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 11
    • 0003465545 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 17
    • 84892386247 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.