SCOPUS 정보 검색 플랫폼

New Generation Computing

Volumn 9, Issue 3-4, 1991, Pages 401-424

Stable semantics for disjunctive programs

(1) Przymusinski, Teodor C a

a UNIVERSITY OF CALIFORNIA (United States)

Author keywords

Disjunctive Programs; Non monotonic Formalisms; Stable Semantics; Well founded Semantics

Indexed keywords

EID: 0000810454 PISSN: 02883635 EISSN: 18827055 Source Type: Journal
DOI: 10.1007/BF03037171 Document Type: Article

Times cited : (263)

References (37)

1
- 0002198395
- Towards a Theory of Declarative Knowledge
- J., Minker, Morgan Kaufmann, Los Altos, CA
- (1988) Foundations of Deductive Databases and Logic Programming , pp. 89-142
- Apt, K.¹ Blair, H.² Walker, A.³

2
- 84934529789
- Bidoit, N. and Froidevaux, C., “General Logical Databases and Programs: Default Logic Semantics and Stratification,”Journal of Information and Computation, 1988. In print.

3
- 84934529792
- Bidoit, N. and Hull, R., “Positivism vs. Minimalism in Deductive Databases,” in Proceedings of the Symposium on Principles of Database Systems, Cambridge, Mass., ACM SIGACT-SIGMOD, pp. 123–132, 1986.

4
- 84910901624
- Research Report, UMIACS TR 90-39, CS TR 2436, University of Maryland, College Park, Maryland 20742
- (1989) Generalized Disjunctive Well-founded Semantics for Logic Programs: Declarative Semantics
- Baral, C.¹ Lobo, J.² Minker, J.³

5
- 84934529793
- Bry, F., “Logic Programming as Constructivism: A Formalization and Its Application to Databases,” in Proceedings of the Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD, pp. 34–50, 1989.

6
- 0022180593
- A Kripke-Kleene Semantics for Logic Programs
- (1985) Journal of Logic Programming , vol.2 , Issue.4 , pp. 295-312
- Fitting, M.¹

7
- 84934529762
- Gelfond, M., “On Stratified Autoepistemic Theories,” in Proceedings AAAI-87, Los Altos, CA, American Association for Artificial Intelligence, Morgan Kaufmann, pp. 207–211, 1987.

8
- 84934529759
- Autoepistemic Logic and Formalizations of Common-sense Reasoning
- Springer-Verlag, Grassau, West Germany
- (1988) Proceedings of the 2nd Workshop on Nonmonotonic Reasoning, New York , pp. 176-186
- Gelfond, M.¹

9
- 0001119421
- The Stable Model Semantics for Logic Programming
- R., Kowalski, K., Bowen, Association for Logic Programming, MIT Press, Cambridge, Mass.
- (1988) Proceedings of the Fifth Logic Programming Symposium , pp. 1070-1080
- Gelfond, M.¹ Lifschitz, V.²

10
- 84934529758
- Gelfond, M. and Lifschitz, V., “Logic Programs with Classical Negation,”Research Report, UT El Paso and Stanford University, 1989.

11
- 0024606761
- On the Relationship between Circumscription and Negation as Failure
- (1989) Journal of Artificial Intelligence , vol.38 , pp. 75-94
- Gelfond, M.¹ Przymusinska, H.² Przymusinski, T.³

12
- 84934529761
- Horty, J., Thomason, R. and Touretzky, D., “A Skeptical Theory of Inheritance in Nonmonotonic Semantic Nets,” in Proceedings AAAI-87, Los Altos, CA, American Association for Artificial Intelligence, Morgan Kaufmann, 1987.

13
- 0002163565
- Hard Problems for Simple Default Logics
- R., Brachman, H., Leveque, R., Reiter, Morgan Kaufmann, Toronto, Canada
- (1989) Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR’ 89) , pp. 189-197
- Kautz, H.A.¹ Selman, B.²

14
- 0023596784
- Negation in Logic Programming
- (1987) Journal of Logic Programming , vol.4 , Issue.4 , pp. 289-308
- Kunen, K.¹

15
- 85023410475
- On Indefinite Data Bases and the Closed World Assumption
- Springer-Verlag, New York
- (1982) Proc. 6th Conference on Automated Deduction , pp. 292-308
- Minker, J.¹

16
- 0021819131
- Semantic Considerations on Non-Monotonic Logic
- (1985) Journal of Artificial Intelligence , vol.25 , pp. 75-94
- Moore, R.C.¹

17
- 84934529760
- Morris, P. H., “Autoepistemic Stable Closures and Contradiction Resolution,” in Proceedings of the Second Workshop on Non-Monotonic Reasoning, Munich, July 1988, pp. 60–73, 1988.

18
- 84934529755
- Marek, W. and Truszczynski, M., “Autoepistemic Logic,”Research Report, University of Kentucky, 1988.

19
- 0004425075
- Semantic Issues in Deductive Databases and Logic Programs
- R., Banerji, North-Holland, Amsterdam
- (1990) Formal Techniques in Artificial Intelligence , pp. 321-367
- Przymusinska, H.¹ Przymusinski, T.C.²

20
- 84934529754
- Przymusinska, H. and Przymusinski, T. C., “Translating Non-Monotonic Formalisms into Logic Programs,”Research Report, University of Texas at El Paso, 1991.

21
- 0001599027
- On the Declarative Semantics of Stratified Deductive Databases and Logic Programs
- J., Minker, Morgan Kaufmann, Los Altos, CA.
- (1988) Foundations of Deductive Databases and Logic Programming , pp. 193-216
- Przymusinski, T.C.¹

22
- 84934529757
- Przymusinski, T. C., “Every Logic Program Has a Natural Stratification and an Iterated Fixed Point Model,” in Proceedings of the Eighth Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD, pp. 11–21, 1989.

23
- 8644279450
- Non-Monotonic Formalisms and Logic Programming
- G., Levi, M., Martelli, Association for Logic Programming, MIT Press, Lisobon, Portugal, Cambridge, Mass.
- (1989) Proceedings of the Sixth International Logic Programming Conference , pp. 655-674
- Przymusinski, T.C.¹

24
- 0008933932
- Stationary Semantics for Disjunctive Logic Programs and Deductive Databases
- Association for Logic Programming, MIT Press, Cambridge, Mass.
- (1990) Proceedings of the North American Logic Programming Conference, Austin, Texas, October 1990 , pp. 40-59
- Przymusinski, T.C.¹

25
- 0025560335
- The Well-Founded Semantics Coincides with the Three-Valued Stable Semantics
- (1990) Fundamenta Informaticae , vol.13 , Issue.4 , pp. 445-464
- Przymusinski, T.C.¹

26
- 2342483365
- Autoepistemic Logics of Closed Beliefs and Logic Programming
- MIT Press, Cambridge, Mass.
- (1991) Proceedings of the First International Workshop on Logic Programming and Non-Monotonic Reasoning, Washington, D. C., July 1991
- Przymusinski, T.C.¹

27
- 84934529753
- Przymusinski, T. C., “Semantics of Disjunctive Logic Programs and Deductive Databases,” in Proceedings of the Second International Conference on Deductive and Object-Oriented Databases (DOOD’91), Munich, Germany, 1991, Springer-Verlag (In print.), 1991.

28
- 84934529752
- Przymusinski, T. C., “Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs,”Journal of Artificial Intelligence, 1991 (In print. Extended abstract appeared in: Przymusinski, T. C., “Three-Valued Non-Monotonic Formalisms and Logic Programming,” in Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning KR’89) (R. Brachman, H. Leveque and R. Reiter, eds.), Toronto, Canada, Morgan Kaufmann, pp. 341–348, 1989.

29
- 84934529751
- Przymusinski, T. C., “Well-Founded Completions of Logic Programs,” in Proceedings of the Eighth International Logic Programming Conference, Paris, France, Cambridge, Mass., 1991. Association for Logic Programming, MIT Press (In print).

30
- 84934529750
- Przymusinski, T. C. and Warren, D. S., “Well-Founded Semantics: Theory and Implementation,”Research Report, UT El Paso and SUNY at Stony Brook, 1991. (in preparation).

31
- 84934529749
- Ross, K., “A Procedural Semantics for Well-Founded Negation in Logic Programs,” in Proceedings of the Eighth Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD, pp. 22–33, 1989.

32
- 84934529748
- Ross, K., “The Well-Founded Semantics for Disjunctive Logic Programs,” in Proceedings of the First International Conference on Deductive and Object Oriented Databases, pp. 352–369, 1989.

33
- 0017013056
- The Semantics of Predicate Logic as a Programming Language
- (1976) Journal of the ACM , vol.23 , Issue.4 , pp. 733-742
- Van Emden, M.¹ Kowalski, R.²

34
- 84934529747
- Van Gelder, A., “The Alternating Fixpoint of Logic Programs with Negation,” in Proceedings of the Symposium on Principles of Database Systems, ACM SIGACT-SIGMOD, pp. 1–10, 1989.

35
- 0024480888
- Negation as Failure Using Tight Derivations for General Logic Programs
- (1989) Journal of Logic Programming , vol.6 , Issue.1 , pp. 109-133
- Van Gelder, A.¹

36
- 84934529746
- Van Gelder, A., Ross, K. A. and Schlipf, J. S., “The Well-Founded Semantics for General Logic Programs,”Journal of the ACM, 1990 (to appear). Preliminary abstract appeared in Seventh ACM Symposium on Principles of Database Systems, March 1988, pp. 221–230, 1988.

37
- 84934529745
- Warren, D. S., “The XWAM: A Machine That Integrates Prolog and Deductive Database Query Evaluation,”Technical Report, #25, SUNY at Stony Brook, 1989.

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