SCOPUS 정보 검색 플랫폼

Theoretical Computer Science

Volumn 258, Issue 1-2, 2001, Pages 523-553

On the equivalence of the static and disjunctive well-founded semantics and its computation

(4) Brass, Stefan a Dix, Jürgen b Niemelä, Ilkka c C Przymusinski, Teodor d

a UNIVERSITY OF PITTSBURGH (United States)

b University of Maryland ^* (United States)

c AALTO UNIVERSITY (Finland)

d University of California Riverside (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; THEOREM PROVING;

DISJUNCTIVE WELL-FOUNDED SEMANTICS (D-WFS); STATIC SEMANTICS;

COMPUTATIONAL LINGUISTICS;

EID: 0034911473 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00045-1 Document Type: Article

Times cited : (7)

References (36)

1
- 0031369623
- DisLoP: A research project on disjunctive logic programming
- (1997) AI Comm. , vol.10 , Issue.3-4 , pp. 151-165
- Aravindan, C.¹ Dix, J.² Niemelä, I.³

2
- 84947297530
- Hyper tableaux
- L.M. Pereira, J.J. Alferes, E. Orlowska (Eds.), Logics in Artificial Intelligence (JELIA '96), Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1126 , pp. 1-17
- Baumgartner, P.¹ Furbach, U.² Niemelä, I.³

3
- 0002855477
- A disjunctive semantics based on unfolding and bottom-up evaluation
- B. Wolfinger, Springer, Berlin
- (1994) Innovationen bei Rechen- und Kommunikationssystemen, IFIP '94-Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases , pp. 83-91
- Brass, S.¹ Dix, J.²

4
- 84959326285
- A general approach to bottom-up computation of disjunctive semantics
- J. Dix, L. Pereira, T. Przymusinski (Eds.), Nonmonotonic Extensions of Logic Programming, Springer, Berlin
- (1995) Lecture Notes in Artificial Intelligence , vol.927 , pp. 127-155
- Brass, S.¹ Dix, J.²

5
- 0031236548
- Characterizations of the disjunctive stable semantics by partial evaluation
- Extended abstract appeared in: Characterizations of the Stable Semantics by Partial Evaluation LPNMR, Proc. 3rd Internat. Conf., Kentucky, Lecture Notes in Computer Science, vol. 928, Springer, Berlin, 1995, pp. 85-98
- (1997) J. Logic Programm. , vol.32 , Issue.3 , pp. 207-228
- Brass, S.¹ Dix, J.²

6
- 0032050871
- Characterizations of the disjunctive well-founded semantics: Confluent calculi and iterated GCWA
- Extended abstract appeared in: Characterizing D-WFS: confluence and iterated GCWA, Logics in Artificial Intelligence, JELIA '96, Lecture Notes in Computer Science, vol. 1126, Springer, Berlin, 1996, pp. 268-283
- (1998) J. Automat. Reason. , vol.20 , Issue.1 , pp. 143-165
- Brass, S.¹ Dix, J.²

7
- 0001254270
- Semantics of (disjunctive) logic programs based on partial evaluation
- Extended abstract appeared in: Disjunctive semantics based upon partial and bottom-up evaluation, Proc. 12th Internat. Logic Programming Conf., Tokyo, MIT Press, Cambridge, MA, 1995, pp. 199-213
- (1999) J. Logic Programm. , vol.38 , Issue.3 , pp. 167-213
- Brass, S.¹ Dix, J.²

8
- 0033170360
- Computation of the semantics of autoepistemic belief theories
- (1999) Artificial Intelligence , vol.112 , Issue.1-2
- Brass, S.¹ Dix, J.² Przymusinski, T.³

9
- 0006496592
- Bottom-up query evaluation with partially ordered defaults
- S. Ceri, K. Tanaka, S. Tsur (eds.), Deductive and Object-Oriented Databases, 3rd Internat. Conf. (DOOD'93), Springer, Berlin
- (1993) Lecture Notes in Computer Science , vol.760 , pp. 253-266
- Brass, S.¹ Lipeck, U.W.²

10
- 0344543955
- Knowledge representation with extended logic programs
- D. Gabbay, F. Guenthner (Eds.), Methodologies, Reidel Publ., Dordrecht, (Chapter 6)
- (2000) Hand of Philosophical Logic, 2nd ed. , vol.6
- Brewka, G.¹ Dix, J.²

11
- 0008405067
- Shortened version also appeared in: Logic Programming and Knowledge Representation, Springer, Berlin
- (1998) Lecture Notes in Artificial Intelligence , vol.1471 , pp. 1-55
- Dix¹ Pereira² Przymusinski³

12
- 0002999704
- Semantics of logic programs: Their intuitions and formal properties. An overview
- A. Fuhrmann, H. Rott (Eds.), DeGruyter, Berlin
- (1995) Logic, Action and Information - Essays on Logic in Philosophy and Artificial Intelligence , pp. 241-327
- Dix, J.¹

13
- 84946780372
- Logic Programming and Nonmonotonic Reasoning, Springer, Berlin
- (1997) Lecture Notes in Artificial Intelligence , vol.1265
- Dix, J.¹ Furbach, U.² Nerode, A.³

14
- 0027841959
- Complexity aspects of various semantics for disjunctive databases
- (1993) Proc. 12th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems (PODS'93) , pp. 158-167
- Eiter, T.¹ Gottlob, G.²

15
- 0027961220
- Adding disjunction to datalog
- (1994) Proc. 13th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems (PODS'94) , pp. 267-278
- Eiter, T.¹ Gottlob, G.² Mannila, H.³

16
- 0004490946
- Mächtigkeit von logikprogrammierung über datenbanken
- (1996) KI , vol.3 , pp. 32-39
- Eiter, T.¹ Gottlob, G.²

17
- 84946713790
- A deductive system for non-monotonic reasoning
- J. Dix, U. Furbach, A. Nerode (Eds.), Logic Programming and Non-Monotonic Reasoning, Proc. 4th Internat. Conf., Springer, Berlin, June
- (1997) Lecture Notes in Artificial Intelligence , vol.1265 , pp. 363-374
- Eiter, T.¹ Leone, N.² Mateis, C.³ Pfeifer, G.⁴ Scarcello, F.⁵

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

19
- 0002443032
- Logic program with classical negation
- D.H.D. Warren, P. Szeredi (Eds.), MIT, Cambridge, MA, June
- (1990) Proc. of 7th Internat. Conf. on Logic Programming , pp. 579-597
- Gelfond, M.¹ Lifschitz, V.²

20
- 0024606761
- On the relationship between circumscription and negation as failure
- (1989) Artificial Intelligence , vol.38 , pp. 75-94
- Gelfond, M.¹ Przymusinska, H.² Przymusinski, T.³

21
- 0025626985
- On the relationship between CWA, minimal model and minimal Herbrand model Semantics
- (1990) Internat. J. Intelligent Systems , vol.5 , Issue.5 , pp. 549-564
- Gelfond, M.¹ Przymusinska, H.² Przymusinski, T.³

22
- 0018518835
- On semantic issues connected with incomplete information databases
- (1979) ACM Trans. Database Systems , vol.4 , pp. 262-296
- Lipski W., Jr.¹

23
- 0003771686
- MIT Press, Cambridge, MA
- (1992) Foundations of Disjunctive Logic Programming
- Lobo, J.¹ Minker, J.² Rajasekar, A.³

24
- 37349044608
- Circumscription: A form of nonmonotonic reasoning
- (1980) Artificial Intelligence , vol.13 , pp. 27-39
- McCarthy, J.¹

25
- 85023410475
- On indefinite databases and the closed world assumption
- New York, Springer, Berlin
- (1982) Proc. 6th Conf. on Automated Deduction , pp. 292-308
- Minker, J.¹

26
- 84957654645
- Logic and databases: A 20 year retrospective
- D. Pedreschi, C. Zaniolo (Eds.), Proc. Internat. Workshop on Logic in Databases (LID), Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1154 , pp. 3-58
- Minker, J.¹

27
- 0004483721
- Implementing circumscription using a tableau method
- W. Wahlster (Ed.), Budapest, Hungary, Wiley, New York, August
- (1996) Proc. European Conf. Artificial Intelligence , pp. 80-84
- Niemelä, I.¹

28
- 84958961954
- A tableau calculus for minimal model reasoning
- P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi (Eds.), Proc. 5th Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Terrasini, Italy, May, Springer, Berlin
- (1996) Lecture Notes in Artificial Intelligence , vol.1071 , pp. 278-294
- Niemelä, I.¹

29
- 0025560335
- Well-founded semantics coincides with three-valued stable semantics
- (1990) Fund. Inform. , vol.13 , pp. 445-463
- Przymusinski, T.¹

30
- 0026301945
- Well-founded completions of logic programs
- Paris, France, MIT Press, Cambridge, MA, July
- (1991) Proc. 8th Internat. Logic Programming Conf. , pp. 726-744
- Przymusinski, T.¹

31
- 21844487368
- Static semantics for normal and disjunctive logic programs
- (1995) Ann. Math. Artificial Intelligence , vol.14 , pp. 323-357
- Przymusinski, T.¹

32
- 0031198621
- Autoepistemic logic of knowledge and beliefs
- (1998) Artificial Intelligence , vol.95 , pp. 115-154
- Przymusinski, T.C.¹

33
- 85027404195
- Partial deduction of disjunctive logic programs: A declarative approach
- Logic Program Synthesis and Transformation - Meta programming in logic, Springer, Berlin
- (1994) Lecture Notes in Computer Science , vol.883 , pp. 170-182
- Sakama, C.¹ Seki, H.²

34
- 4444302353
- An efficient computation of the extended generalized closed world assumption by support-for-negation sets
- Proc. Internat. Conf. on Logic Programming and Automated Reasoning (LPAR'94), Springer, Berlin
- Lecture Notes in Artifical Intelligence , vol.822 , pp. 245-259
- Seipel, D.¹

35
- 71149116148
- The well-founded semantics for general logic programs
- (1991) J. ACM , vol.38 , pp. 620-650
- Van Gelder, A.¹ Ross, K.A.² Schlipf, J.S.³

36
- 0027576275
- Autoepistemic circumscription and logic programming
- (1993) J. Automat. Reason. , vol.10 , pp. 143-160
- You, J.H.¹ Yuan, L.-Y.²

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