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

메뉴 건너뛰기

Artificial Intelligence

Volumn 35, Issue 3, 1988, Pages 343-382

On the relation between default and autoepistemic logic

(1) Konolige, Kurt a

a STANFORD UNIVERSITY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - FORMAL LOGIC; SYSTEMS SCIENCE AND CYBERNETICS - COGNITIVE SYSTEMS;

AUTOEPISTEMIC LOGIC; DEFAULT LOGIC; DEFAULT REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0024048199 PISSN: 00043702 EISSN: None Source Type: Journal
DOI: 10.1016/0004-3702(88)90021-5 Document Type: Article

Times cited : (227)

References (17)

1
- 0004246159
- 2nd ed., Cambridge University Press, Cambridge, England
- (1979) The Unprovability of Consistency
- Boolos¹

2
- 0004232390
- 2nd ed., Cambridge University Press, Cambridge, England
- (1980) Modal Logic: An Introduction
- Chellas¹

3
- 0343274093
- Reasoning with incomplete information: Investigations of non-monotonic reasoning
- 2nd ed., University of British Columbia, Vancouver, BC
- (1986) Ph.D. Thesis
- Etherington¹

4
- 0011636953
- A guide to the modal logics of knowledge and belief
- Los Angeles, CA
- (1985) Proceedings IJCAI-85 , pp. 50-61
- Halpern¹ Moses²

5
- 0000038844
- Impossible possible worlds vindicated
- (1975) J. Philos. Logic , vol.4 , pp. 475-484
- Hintikka¹

6
- 0023328017
- Results on translating defaults to circumscription
- (1987) Artificial Intelligence , vol.32 , Issue.1 , pp. 131-146
- Imielinski¹

7
- 67749105455
- A formal treatment of incomplete knowledge bases
- 2nd ed., Fairchild Artificial Intelligence Laboratory, Palo Alto, CA
- (1982) Tech. Rept. 614
- Levesque¹

8
- 0013363951
- Two results on default logic
- Los Angeles, CA
- (1985) Proceedings IJCAI-85 , pp. 459-461
- Łukaszewicz¹

9
- 71149096800
- Unpublished Note, Department of Computer Science, University of Kentucky, Lexington, KY
- (1986) Stable theories in autoepistemic logic
- Marek¹

10
- 37349044608
- Circumscription—A form of non-monotonic reasoning
- (1980) Artificial Intelligence , vol.13 , pp. 27-39
- McCarthy¹

11
- 0012210797
- Possible-world semantics for autoepistemic logic
- 2nd ed., SRI Artificial Intelligence Center, Menlo Park, CA
- (1984) Tech. Rept. 337
- Moore¹

12
- 78651483392
- Reasoning from incomplete knowledge in a procedural deduction system
- 2nd ed., Artificial Intelligence Laboratory, MIT, Cambridge, MA
- (1975) Tech. Rept. AI-TR-347
- Moore¹

13
- 0021819131
- Semantical considerations on nonmonotonic logic
- (1985) Artificial Intelligence , vol.25 , pp. 75-94
- Moore¹

14
- 49149147322
- A logic for default reasoning
- (1980) Artificial Intelligence , vol.13 , pp. 81-132
- Reiter¹

15
- 0038168913
- 2nd ed., Elsevier North-Holland, New York
- (1979) Logic: Form and Function
- Robinson¹

16
- 33746176673
- Department of Philosophy, Cornell University, Ithaca, NY
- (1980) A note on nonmonotonic modal logic
- Stalnaker¹

17
- 0004272262
- 2nd ed., Morgan Kaufmann, Los Altos, CA
- (1986) The Mathematics of Inheritance Systems
- Touretzky¹

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