SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Artificial Intelligence

Volumn 51, Issue 1-3, 1991, Pages 39-94

A theory of interactions: unifying qualitative and quantitative algebraic reasoning

(1) Williams, Brian C a

a PALO ALTO RESEARCH CENTER (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL TECHNIQUES - ALGEBRA; SYSTEMS SCIENCE AND CYBERNETICS - COGNITIVE SYSTEMS;

HYBRID ALGEBRAS; PHYSICAL SYSTEMS; QUALITATIVE REASONING; QUANTITATIVE REASONING; SYMBOLIC ALGEBRA;

ARTIFICIAL INTELLIGENCE;

EID: 0026242173 PISSN: 00043702 EISSN: None Source Type: Journal
DOI: 10.1016/0004-3702(91)90108-V Document Type: Article

Times cited : (49)

References (33)

1
- 84918625369
- Combined qualitative and numerical simulation with Q3
- Lugano, Switzerland
- (1990) Proceedings Fourth International Workshop on Qualitative Physics , pp. 140-152
- Berleant¹ Kuipers²

2
- 84918640494
- Qualitative physics using dimensional analysis
- IBM T.J. Watson Research Center, Yorktown Heights, NY, also
- (1988) Tech. Report
- Bhaskar¹ Nigam²

3
- 0025494589
- Qualitative physics using dimensional analysis
- (1990) Artificial Intelligence , vol.45 , pp. 73-111

4
- 0003064033
- 3rd ed., North-Holland, Amsterdam, MIT Press, Cambridge, MA, 1985
- (1984) Qualitative Reasoning about Physical Systems
- Bobrow¹

5
- 84974762857
- The qualitative difference resolution rule
- Anaheim, CA
- (1991) Proceedings AAAI-91
- Bylander¹

6
- 84918635609
- Comparative analysis and qualitative integral representations
- Stanford, CA
- (1989) Proceedings Third International Workshop on Qualitative Physics
- Chiu¹ Kuipers²

7
- 0006665522
- Temporal imagery: an approach to reasoning about time for planning and problem solving
- 3rd ed., Yale Yniversity, New Haven, CT
- (1985) Research Report 433
- Dean¹

8
- 0021577685
- A qualitative physics based on confluences
- (1984) Artif. Intell. , vol.24 , pp. 7-83
- de Kleer¹ Brown²

9
- 84984356932
- Propagation of constraints applied to circuit synthesis
- (1980) International Journal of Circuit Theory and Applications , vol.8 , pp. 127-140
- de Kleer¹ Sussman²

10
- 84911621480
- Assembling a device
- St. Paul, MN
- (1988) Proceedings AAAI-88 , pp. 330-336
- Dormoy¹ Raiman²

11
- 0021613150
- Qualitative process theory
- (1984) Artif. Intell. , vol.24 , pp. 85-168
- Forbus¹

12
- 0021573934
- Commonsense reasoning about causality: deriving behavior from structure
- (1984) Artif. Intell. , vol.24 , pp. 169-203
- Kuipers¹

13
- 46149128342
- Qualitative simulation
- (1986) Artif. Intell. , vol.29 , pp. 289-338
- Kuipers¹

14
- 84990619868
- Using incomplete quantitative knowledge in qualitative reasoning
- St. Paul, MN
- (1988) Proceedings AAAI-88 , pp. 324-329
- Kuipers¹ Berleant²

15
- 0004100488
- 3rd ed., MIT Press, Cambridge, MA
- (1970) The Origins of Feedback Control
- Mayr¹

16
- 84907184646
- SIAM Studies in Applied Mathematics
- 3rd ed., SIAM, Philadelphia, PA
- (1979) Methods and Applications of Interval Analysis
- Moore¹

17
- 0015111095
- Algebraic simplification a guide for the perplexed
- (1971) Communications of the ACM , vol.14 , Issue.8 , pp. 527-537
- Moses¹

18
- 84990599290
- Order of magnitude reasoning
- Philadelphia, PA
- (1986) Proceedings AAAI-86 , pp. 100-104
- Raiman¹

19
- 84915322829
- Qualitative mathematical reasoning
- Los Angeles, CA
- (1985) Proceedings IJCAI-85 , pp. 137-139
- Sacks¹

20
- 0038930094
- Hierarchical reasoning about inequalities
- Seattle, WA
- (1987) Proceedings AAAI-87 , pp. 649-654
- Sacks¹

21
- 0010284465
- Representing and reasoning about change in geological interpretation
- 3rd ed., MIT Artificial Intelligence Lab, Cambridge, MA
- (1983) TR 749
- Simmons¹

22
- 85024934888
- ‘Commonsense’ arithmetic reasoning
- Philadelphia, PA
- (1986) Proceedings AAAI-86 , pp. 118-124
- Simmons¹

23
- 0017544789
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
- (1977) Artif. Intell. , vol.9 , pp. 135-196
- Stallman¹ Sussman²

24
- 0003250865
- Problems of interval-based qualitative reasoning
- D. Weld, J. de Kleer, Morgan Kaufmann, San Mateo, CA
- (1990) Readings in Qualitative Reasoning about Physical Systems
- Struss¹

25
- 0040374458
- The orders of magnitude models as qualitative algebras
- Detroit, MI
- (1989) Proceedings IJCAI-89 , pp. 1261-1265
- Trave-Massuyes¹ Piera²

26
- 0003664516
- 3rd ed., Morgan Kaufmann, San Mateo, CA
- (1990) Readings in Qualitative Reasoning about Physical Systems
- Weld¹ de Kleer²

27
- 0021573933
- Qualitative analysis of MOS circuits
- (1984) Artif. Intell. , vol.24 , pp. 281-346
- Williams¹

28
- 85168770930
- Doing time: putting qualitative reasoning on firmer ground
- Philadelphia, PA
- (1986) Proceedings AAAI-86 , pp. 102-105
- Williams¹

29
- 84990627756
- MINIMA: a symbolic approach to qualitative algebraic reasoning
- St. Paul, MN
- (1988) Proceedings AAAI-88 , pp. 264-269
- Williams¹

30
- 8344234443
- Capturing how things work: constructing critical abstractions of local interactions
- Boston, MA
- (1990) AAAI Workshop on the Automatic Generation of Abstractions and Approximations
- Williams¹

31
- 84888911131
- Interaction-based invention: designing novel devices from first principles
- Boston, MA
- (1990) Proceedings AAAI-90
- Williams¹

32
- 84918650207
- A theory of interactions: unifying qualitative and quantitative algebraic reasoning—extended report
- 3rd ed., Xerox Palo Alto Research Center, Palo Alto, CA
- (1991) Tech. Report
- Williams¹

33
- 0026242446
- Understanding complex dynamics by visual and symbolic reasoning
- (this volume)
- (1991) Artif. Intell. , vol.51 , pp. 179-221
- Yip¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.