Reasoning about qualitative representations of space and time

被引：0
|
作者：
Cohn, AG [1 ]
机构：
[1] Univ Leeds, Sch Comp, Leeds, W Yorkshire, England
来源：
AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS | 2003年 / 2741卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：334 / 334
页数：1
相关论文
共 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] Tools and Techniques in Qualitative Reasoning about Space
    Balbiani, Philippe
    [J]. FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2010, 5956 : 1 - 2
  • [4] EFFICIENT ALGORITHMS FOR QUALITATIVE REASONING ABOUT TIME
    GEREVINI, A
    SCHUBERT, L
    [J]. ARTIFICIAL INTELLIGENCE, 1995, 74 (02) : 207 - 248
  • [5] Qualitative representation and reasoning with uncertainty in space and time
    El-Geresy, BA
    Abdelmoty, AI
    [J]. RESEARCH AND DEVELOPMENT IN INTELLIGENT SYSTEMS XXII, 2006, : 345 - +
  • [6] Reasoning about qualitative & quantitative temporal representations for manufacturing planning tasks
    López, MQ
    Quintana, FR
    [J]. INTELLIGENT MANUFACTURING SYSTEMS 1998 (IMS'98), 1999, : 293 - 298
  • [7] The Complexity of Reasoning about and with Chemical Representations
    Talanquer, Vicente
    [J]. JACS AU, 2022, 2 (12): : 2658 - 2669
  • [8] PROST: Physical Reasoning about Objects through Space and Time
    Aroca-Ouellette, Stephane
    Paik, Cory
    Roncone, Alessandro
    Kann, Katharina
    [J]. FINDINGS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS, ACL-IJCNLP 2021, 2021, : 4597 - 4608
  • [9] Reasoning about Space and Time: Moving towards a Theory of Granularities
    Moura-Pires, Joao
    Silva, Ricardo Almeida
    Santos, Maribel Yasmina
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT 1, 2014, 8579 : 328 - 343
  • [10] REASONING ABOUT SPACE AND TIME IN HIGH-LEVEL VISION
    DIMANZO, M
    PULITI, P
    TASCINI, G
    ZINGARETTI, P
    [J]. INTELLIGENT AUTONOMOUS SYSTEMS 2, VOLS 1 AND 2, 1989, : 943 - 949
12345