Tools and Techniques in Qualitative Reasoning about Space

被引：0
|
作者：
Balbiani, Philippe [1 ]
机构：
[1] Univ Toulouse, Inst Rech Informat Toulouse, CNRS, F-31062 Toulouse 9, France
来源：
FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS | 2010年 / 5956卷
关键词：
REGION-CONNECTION CALCULUS; CONTACT ALGEBRAS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：1 / 2
页数：2
相关论文
共 50 条
  • [1] Qualitative reasoning about time and space
    Muller, Philippe
    [J]. TRAITEMENT AUTOMATIQUE DES LANGUES, 2011, 52 (02): : 184 - 185
  • [2] Qualitative Reasoning about Space with Hybrid Logic
    Norgela, Stanislovas
    Andrikonis, Julius
    Stockus, Arunas
    [J]. Databases and Information Systems VII, 2013, 249 : 279 - 286
  • [3] Reasoning about qualitative representations of space and time
    Cohn, AG
    [J]. AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 334 - 334
  • [4] Geometric reasoning about assembly tools
    Wilson, RH
    [J]. ARTIFICIAL INTELLIGENCE, 1998, 98 (1-2) : 237 - 279
  • [5] A LOGIC FOR REASONING ABOUT QUALITATIVE PROBABILITY
    Ilic-Stepic, Angelina
    [J]. PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2010, 87 (101): : 97 - 108
  • [6] QUALITATIVE REASONING ABOUT DESIGN OBJECTS
    VEERKAMP, P
    TENHAGEN, P
    [J]. ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1993, 10 (1-2) : 33 - 39
  • [7] Qualitative reasoning about perception and belief
    del Val, A
    Maynard-Reid, P
    Shoham, Y
    [J]. IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 508 - 513
  • [8] Reasoning about qualitative trends in databases
    Wijsen, J
    [J]. INFORMATION SYSTEMS, 1998, 23 (07) : 463 - 487
  • [9] Reasoning about qualitative spatial relationships
    Sistla, AP
    Yu, C
    [J]. JOURNAL OF AUTOMATED REASONING, 2000, 25 (04) : 291 - 328
  • [10] Qualitative reasoning about biological processes
    Mounts, WM
    Liebman, MN
    [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1996, 211 : 47 - CINF
12345