SCOPUS 정보 검색 플랫폼

Volumn 13, Issue 1-2, 1980, Pages 27-39

Circumscription-A form of non-monotonic reasoning

Author keywords

[No Author keywords available]

Indexed keywords

EID: 37349044608 PISSN: 00043702 EISSN: None Source Type: Journal
DOI: 10.1016/0004-3702(80)90011-9 Document Type: Article

Times cited : (1383)

References (12)

1
- 0001119106
- On representation of problems of reasoning about actions
- D. Michie, Edinburgh University Press, Edinburgh
- (1971) Machine Intelligence , vol.3 , pp. 131-171
- Amarel¹

3
- 84915591075
- Davis, M., Notes on the mathematics of non-monotonic reasoning. Artificial Intelligence, this issue.

5
- 0345042006
- Description and theoretical analysis (using schemata) of planner: a language for proving theorems and manipulating models in a robot
- (1972) MIT AI Laboratory TR-258
- Hewitt¹

7
- 0014638440
- Some philosophical problems from the standpoint of Artificial Intelligence
- D. Michie, American Elsevier, New York, NY
- (1969) Machine Intelligence , vol.4
- McCarthy¹ Hayes²

8
- 0002817828
- Epistemological problems of artificial intelligence
- MIT, Cambridge, MA
- (1977) Proceedings of the Fifth International Joint Conference on Artificial Intelligence
- McCarthy¹

9
- 0040830064
- Ascribing mental qualities to machines
- M. Ringle, Harvester Press
- (1979) Philosophical Perspectives in Artificial Intelligence
- McCarthy¹

10
- 0003269544
- First order theories of individual concepts and propositions
- D. Michie, University of Edinburgh Press, Edinburgh
- (1979) Machine Intelligence , vol.9
- McCarthy¹

11
- 84915591072
- Reiter, R., A logic for default reasoning, Artificial Intelligence, this issue.

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