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 条
  • [41] Reasoning about imperfect digital systems
    Hanna, K
    PROSPECTS FOR HARDWARE FOUNDATIONS: ESPRIT WORKING GROUP 8533 NADA - NEW HARDWARE DESIGN METHODS SURVEY CHAPTERS, 1998, 1546 : 333 - 355
  • [42] REASONING ABOUT SYSTEMS WITH MANY PROCESSES
    GERMAN, SM
    SISTLA, AP
    JOURNAL OF THE ACM, 1992, 39 (03) : 675 - 735
  • [43] Reasoning with Concepts: A Unifying Framework
    Peter Gärdenfors
    Matías Osta-Vélez
    Minds and Machines, 2023, 33 : 451 - 485
  • [44] Unifying logical and probabilistic reasoning
    Haenni, R
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2005, 3571 : 788 - 799
  • [45] Environmentally responsive mutator systems: Toward a unifying perspective
    Lieber, MM
    RIVISTA DI BIOLOGIA-BIOLOGY FORUM, 1998, 91 (03): : 425 - 457
  • [46] Goal-Oriented Reasoning about Systems of Systems
    Ponsard, Christophe
    Massonet, Philippe
    Deprez, Jean-Christophe
    ERCIM NEWS, 2015, (102): : 34 - 35
  • [47] Reasoning with Concepts: A Unifying Framework
    Gardenfors, Peter
    Osta-Velez, Matias
    MINDS AND MACHINES, 2023, 33 (03) : 451 - 485
  • [48] Taxonomies for Reasoning About Cyber-physical Attacks in IoT-based Manufacturing Systems
    Pan, Yao
    White, Jules
    Schmidt, Douglas C.
    Elhabashy, Ahmad
    Sturm, Logan
    Camelio, Jaime
    Williams, Christopher
    INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE, 2017, 4 (03): : 45 - 54
  • [49] A modeling perspective on students' mathematical reasoning about data
    Doerr, HM
    English, LD
    JOURNAL FOR RESEARCH IN MATHEMATICS EDUCATION, 2003, 34 (02) : 110 - 136
  • [50] A unifying specification logic for cyber-physical systems
    Bujorianu, Marius C.
    Bujorianu, Manuela L.
    Barringer, Howard
    MED: 2009 17TH MEDITERRANEAN CONFERENCE ON CONTROL & AUTOMATION, VOLS 1-3, 2009, : 1166 - 1171
12345