REASONING ABOUT PHYSICAL SYSTEMS - A UNIFYING PERSPECTIVE

被引：0
|
作者：
BREDEWEG, B
WIELINGA, BJ
机构：
来源：
ARTIFICIAL INTELLIGENCE IN SCIENTIFIC COMPUTATION : TOWARDS SECOND GENERATION SYSTEMS | 1989年 / 2卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：63 / 67
页数：5
相关论文
共 50 条
  • [31] Tableau systems for reasoning about risk
    Matteo Cristani
    Erisa Karafili
    Luca Viganò
    Journal of Ambient Intelligence and Humanized Computing, 2014, 5 : 215 - 247
  • [32] REASONING ABOUT SYSTEMS OF LINEAR INEQUALITIES
    KAUFL, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 563 - 572
  • [33] Reasoning about systems with transition fairness
    Aminof, B
    Ball, T
    Kupferman, O
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 194 - 208
  • [34] Reasoning about synchronization in GALS systems
    Chakraborty, Supratik
    Mekie, Joycee
    Sharma, Dinesh K.
    FORMAL METHODS IN SYSTEM DESIGN, 2006, 28 (02) : 153 - 169
  • [35] Reasoning about systems of physics equations
    Liew, CW
    Smith, DE
    INTELLIGENT TUTORING SYSTEMS, 2002, 2363 : 463 - 472
  • [36] Reasoning about synchronization in GALS systems
    Supratik Chakraborty
    Joycee Mekie
    Dinesh K. Sharma
    Formal Methods in System Design, 2006, 28 : 153 - 169
  • [37] Reasoning about models of nonlinear systems
    Stolle, R
    Easley, M
    Bradley, E
    LOGICAL AND COMPUTATIONAL ASPECTS OF MODEL-BASED REASONING, 2002, 25 : 249 - 271
  • [38] ON MODELING AND REASONING ABOUT HYBRID SYSTEMS
    SEKAR, RC
    LIN, YJ
    NARAIN, S
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 115 - 129
  • [39] On description and reasoning about hybrid systems
    Nakamura, K
    Fusaoka, A
    INNOVATIONS IN APPLIED ARTIFICIAL INTELLIGENCE, 2004, 3029 : 274 - 283
  • [40] Reasoning about Dynamic Normative Systems
    Knobbout, Max
    Dastani, Mehdi
    Meyer, John-Jules Ch
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, 2014, 8761 : 628 - 636
12345