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 条

[1] QUALITATIVE REASONING ABOUT PHYSICAL SYSTEMS WITH MULTIPLE PERSPECTIVE
LIU, ZY
AI MAGAZINE, 1993, 14 (01) : 77 - 79
[2] QUALITATIVE REASONING ABOUT PHYSICAL SYSTEMS - AN ARTIFICIAL-INTELLIGENCE PERSPECTIVE
TOP, JL
AKKERMANS, JM
BREEDVELD, PC
JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1991, 328 (5-6): : 1047 - 1065
[3] QUALITATIVE REASONING ABOUT PHYSICAL SYSTEMS - AN INTRODUCTION
BOBROW, DG
ARTIFICIAL INTELLIGENCE, 1984, 24 (1-3) : 1 - 5
[4] A Unifying Framework for Reasoning about Normative Conflicts
Beirlaen, Mathieu
LOGICA YEARBOOK 2011, 2012, : 1 - 14
[5] QUALITATIVE REASONING ABOUT PHYSICAL SYSTEMS - A RETURN TO ROOTS
WILLIAMS, BC
DEKLEER, J
ARTIFICIAL INTELLIGENCE, 1991, 51 (1-3) : 1 - 9
[6] Towards a practical theory of reformulation for reasoning about physical systems
Choueiry, BY
Iwasaki, Y
McIlraith, S
ARTIFICIAL INTELLIGENCE, 2005, 162 (1-2) : 145 - 204
[7] Reasoning about Product Lines of Cyber-Physical Systems with Clafer
Czarnecki, Krzysztof
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (206): : 1 - U4
[8] Commonsense reasoning about the physical world
Bliss, Joan
STUDIES IN SCIENCE EDUCATION, 2008, 44 (02) : 123 - 155
[9] SAT-based decision procedures for automated reasoning: A unifying perspective
Armando, A
Castellini, C
Giunchiglia, E
Giunchiglia, F
Tacchella, A
MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 2605 : 46 - 58
[10] 8TH INTERNATIONAL WORKSHOP ON QUALITATIVE REASONING ABOUT PHYSICAL SYSTEMS
NISHIDA, T
TOMIYAMA, T
KIRIYAMA, T
AI MAGAZINE, 1995, 16 (02) : 7 - 8

← 1 2 3 4 5 →