Automated reasoning about metric and topology

被引：7
|
作者：
Hustadt, Ullrich [1 ]
Tishkovsky, Dmitry
Wolter, Frank
Zakharyaschev, Michael
机构：
[1] Univ Liverpool, Dept Comp Sci, Liverpool L69 3BX, Merseyside, England
[2] Univ London Birkbeck Coll, Sch Comp Sci & Informat Syst, London WC1E 7HX, England
来源：
LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2006年 / 4160卷
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
10.1007/11853886_44
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：490 / 493
页数：4
相关论文
共 50 条
  • [21] REASONING ABOUT PROTEIN TOPOLOGY USING THE LOGIC PROGRAMMING LANGUAGE PROLOG
    RAWLINGS, CJ
    TAYLOR, WR
    NYAKAIRU, J
    FOX, J
    STERNBERG, MJE
    JOURNAL OF MOLECULAR GRAPHICS, 1985, 3 (04): : 151 - 157
  • [22] REASONING ABOUT PROTEIN TOPOLOGY USING THE LOGIC PROGRAMMING LANGUAGE PROLOG
    STERNBERG, MJE
    TAYLOR, WR
    NYAKAIRU, J
    FOX, JP
    RAWLINGS, CR
    JOURNAL OF MOLECULAR GRAPHICS, 1985, 3 (03): : 108 - 109
  • [23] An inferencing language for automated spatial reasoning about graphic entities
    Scarponcini, P
    StClair, DC
    Zobrist, GW
    ADVANCES IN SPATIAL DATABASES, 1995, 951 : 259 - 278
  • [24] Ontology-Driven Automated Reasoning About Property Crimes
    Navarrete, Francisco
    Garrido, angel L.
    Bobed, Carlos
    Atencia, Manuel
    Vallecillo, Antonio
    BUSINESS & INFORMATION SYSTEMS ENGINEERING, 2024,
  • [25] GraphScape: A Model for Automated Reasoning about Visualization Similarity and Sequencing
    Kim, Younghoon
    Wongsuphasawat, Kanit
    Hullman, Jessica
    Heer, Jeffrey
    PROCEEDINGS OF THE 2017 ACM SIGCHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI'17), 2017, : 2628 - 2638
  • [26] Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints
    Piskac, Ruzica
    AUTOMATED REASONING, PT I, 2020, 12166 : 3 - 10
  • [27] METRIC-BASED REASONING ABOUT PSEUDOCODE DESIGN IN THE PARTIAL METRICS SYSTEM
    REYNOLDS, RG
    INFORMATION AND SOFTWARE TECHNOLOGY, 1987, 29 (09) : 497 - 502
  • [28] Using Automated Model Analysis for Reasoning about Security of Web Protocols
    Kumar, Apurva
    28TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2012), 2012, : 289 - 298
  • [29] A Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
    Erata, Ferhat
    Goknil, Arda
    Tekinerdogan, Bedir
    Kardas, Geylani
    ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2017, : 959 - 963
  • [30] Automated reasoning
    Gavanelli, Marco
    Mancini, Toni
    INTELLIGENZA ARTIFICIALE, 2013, 7 (02) : 113 - 124
12345