REASONING ABOUT PHYSICAL SYSTEMS - A UNIFYING PERSPECTIVE

被引:0
|
作者
BREDEWEG, B
WIELINGA, BJ
机构
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
页码:63 / 67
页数:5
相关论文
共 50 条
  • [21] A unifying perspective on the Moyal and Voros products and their physical meanings
    Basu, Prasad
    Chakraborty, Biswajit
    Scholtz, Frederik G.
    JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, 2011, 44 (28)
  • [22] QUALITATIVE REASONING ON PHYSICAL SYSTEMS
    SUCHANSKIY, MY
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1994, 32 (01) : 58 - 69
  • [23] Unifying Modelling and Programming: A Systems Biology Perspective
    Kugler, Hillel
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 131 - 133
  • [24] An 'elementary' perspective on reasoning about probability spaces
    Speranski, Stanislav O.
    LOGIC JOURNAL OF THE IGPL, 2024,
  • [25] Influence-based model decomposition for reasoning about spatially distributed physical systems
    Bailey-Kellogg, C
    Zhao, F
    ARTIFICIAL INTELLIGENCE, 2001, 130 (02) : 125 - 166
  • [26] Constraint logic programming for structure-based reasoning about dynamic physical systems
    Univ of California, Irvine, United States
    Artif Intell Eng, 3 (253-264):
  • [27] Constraint logic programming for structure-based reasoning about dynamic physical systems
    ElFattah, Y
    ARTIFICIAL INTELLIGENCE IN ENGINEERING, 1996, 10 (03): : 253 - 264
  • [28] Consistency and Variation in Reasoning About Physical Assembly
    Mccarthy, William P.
    Kirsh, David
    Fan, Judith E.
    COGNITIVE SCIENCE, 2023, 47 (12)
  • [29] Reasoning about Distributed Reconfigurable Systems
    Ahrens, Emma
    Bozga, Marius
    Iosif, Radu
    Katoen, Joost-Pieter
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
  • [30] Tableau systems for reasoning about risk
    Cristani, Matteo
    Karafili, Erisa
    Vigano, Luca
    JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2014, 5 (02) : 215 - 247