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

메뉴 건너뛰기

Artificial Intelligence

Volumn 139, Issue 1, 2002, Pages 1-20

Yet some more complexity results for default logic

(1) Ben Eliyahu Zohary, Rachel a

a BEN GURION UNIVERSITY OF THE NEGEV (Israel)

Author keywords

Complexity classes; Default logic; Nonmonotonic reasoning

Indexed keywords

ARTIFICIAL INTELLIGENCE; LINEAR PROGRAMMING; PROGRAM DIAGNOSTICS; SEMANTICS; SET THEORY;

DEFAULT LOGIC; NONMONOTONIC REASONING;

LOGIC PROGRAMMING;

EID: 0036640898 PISSN: 00043702 EISSN: None Source Type: Journal
DOI: 10.1016/S0004-3702(02)00189-3 Document Type: Article

Times cited : (9)

References (18)

1
- 0002198395
- Towards a theory of declarative knowledge
- J. Minker, (Ed.), Morgan Kaufmann, San Mateo, CA
- (1988) Foundations of Deductive Databases and Logic Programs , pp. 89-148
- Apt, K.R.¹ Blair, H.A.² Walker, A.³

2
- 0030193941
- Default reasoning using classical logic
- (1996) Artificial Intelligence , vol.84 , Issue.1-2 , pp. 113-150
- Ben-Eliyahu, R.¹ Dechter, R.²

3
- 0023171198
- Minimalism subsumes default logic and circumscription in stratified logic programming
- IEEE Computer Science Press, Los Alamitos, CA
- (1987) Proc. IEEE Symposium on Logic in Computer Science, LICS-87 , pp. 89-97
- Bidoit, N.¹ Froidevaux, C.²

4
- 0023129293
- Formalizing nonmonotonic reasoning systems
- (1987) Artificial Intelligence , vol.31 , pp. 41-85
- Etherington, D.W.¹

5
- 0003094474
- The justification of negation as failure
- (1989) Logic, Methodology and Philosophy of Science , vol.8 , pp. 263-301
- Fine, K.¹

6
- 0001119421
- The stable model semantics for logic programming
- R.A. Kowalski, K.A. Bowen (Eds.), MIT Press, Cambridge, MA
- (1988) Logic Programming: Proc. 5th International Conference , pp. 1070-1080
- Gelfond, M.¹ Lifschitz, V.²

7
- 77951505493
- Classical negation in logic programs and disjunctive databases
- (1991) New Generation Computing , vol.9 , pp. 365-385
- Gelfond, M.¹ Lifschitz, V.²

8
- 0000898194
- Complexity results for nonmonotonic logics
- (1992) J. Logic Comput. , vol.2 , Issue.3 , pp. 397-425
- Gottlob, G.¹

9
- 0005831201
- Logic programming
- S.C. Shapiro (Ed.), Wiley, New York
- (1992) Encyclopedia of Artificial Intelligence, 2nd edition , pp. 873-891
- Kowalski, R.A.¹ Hogger, C.J.²

10
- 0026154296
- Hard problems for simple default logics
- (1991) Artificial Intelligence , vol.49 , pp. 243-279
- Kautz, H.A.¹ Selman, B.²

11
- 0005782997
- Using default logic to derive natural language presupposition
- R. Goebel (Ed.), Morgan Kaufmann, San Mateo, CA
- (1988) Proc. 7th Biennial Conference of the Canadian Society for Computational Studies of Intelligence (CSCSI) , pp. 14-21
- Mercer, R.E.¹

12
- 4244126371
- Technical Report CSLI-87-90, SRI International, Menlo Park, CA
- (1987) An application of default logic to speech act theory
- Perrault, C.R.¹

13
- 0005873464
- Personal communication
- (1992)
- Reiter, R.¹

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

15
- 0023329093
- A theory of diagnosis from first principles
- (1987) Artificial Intelligence , vol.32 , pp. 57-95
- Reiter, R.¹

16
- 0001419078
- It's not my default: The complexity of membership problems in restricted propositional default logics
- Boston, MA
- (1990) Proc. AAAI-90 , pp. 571-578
- Stillman, J.¹

17
- 0026980820
- The complexity of propositional default logics
- San Jose, CA
- (1992) Proc. AAAI-92 , pp. 794-799
- Stillman, J.¹

18
- 0034511168
- Complexity results for restricted credulous default reasoning
- (2000) AI Communications , vol.13 , pp. 249-258
- Zhao, X.¹ Ding, D.² Kleine Büning, H.³

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