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

메뉴 건너뛰기

The Journal of Logic Programming

Volumn 11, Issue 2, 1991, Pages 91-116

Bilattices and the semantics of logic programming

(1) Fitting, Melvin a

a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 44949277265 PISSN: 07431066 EISSN: None Source Type: Journal
DOI: 10.1016/0743-1066(91)90014-G Document Type: Article

Times cited : (308)

References (22)

1
- 84976837285
- Contributions to the Theory of Logic Programming
- (1982) Journal of the ACM , vol.29 , pp. 841-862
- Apt¹ van Emdem²

2
- 0002198395
- Towards a Theory of Declarative Knowledge
- J. Minker, Morgan Kaufmann
- (1987) Foundations of Deductive Databases and Logic Programming , pp. 89-148
- Apt¹ Blair² Walker³

3
- 0001842932
- A Useful Four-Valued Logic
- J.Michael Dunn, G. Epstein, Reidel
- (1977) Modern Uses of Multiple-Valued Logic , pp. 8-37
- Belnap¹

4
- 84915337199
- A Logic Programming Semantics Scheme
- Syracuse Univ
- (1988) Technical Report LPRG-TR-88-8
- Blair¹ Brown² Subrahmanian³

5
- 84915317647
- Blair, H.A. and Subrahmanian, V.S., Paraconsistent Logic Programming, in: Proceedings of the 7th Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Comput. Sci. 287, Springer.

6
- 0000826543
- Negation as Failure
- H. Gallaire, J. Minker, Plenum, New York, M.L. Ginsberg Readings in Nonmonotonic Reasoning 1987 Morgan Kaufmann Los Altos, Calif 311 325
- (1978) Logic and Databases , pp. 293-322
- Clark¹

7
- 0022180593
- A Kripke/Kleene Semantics for Logic Programs
- (1985) The Journal of Logic Programming , pp. 295-312
- Fitting¹

8
- 0022958434
- Partial Models and Logic Programming
- (1986) Theoret. Comput. Sci. , vol.48 , pp. 229-255
- Fitting¹

9
- 0011343337
- Oxford U.P
- (1987) Computability Theory, Semantics, and Logic Programming
- Fitting¹

10
- 0024034424
- Logic Programming on a Topological Bilattice
- (1988) Fund. Inform. , vol.11 , pp. 209-218
- Fitting¹

11
- 0024901611
- Negation as Refutation
- IEEE
- (1989) Proceedings of the Fourth Annual Symposium on Logic in Computer Science , pp. 63-70
- Fitting¹

12
- 0345783462
- Stratified and Three-Valued Logic Programming Semantics
- R.A. Kowalski, K.A. Bowen, MIT Press
- (1988) Logic Programming, Proceedings of the Fifth International Conference and Symposium , pp. 1054-1069
- Fitting¹ Ben-Jacob²

13
- 20444440194
- Stratified, Weak Stratified and Three-Valued Semantics
- (1990) Fund. Inform. , vol.13 , pp. 19-33
- Fitting¹ Ben-Jacob²

14
- 85148507759
- Multi-valued Logics
- Morgan Kaufmann
- (1986) Proceedings of AAAI-86, Fifth National Conference on Artificial Intelligence , pp. 243-247
- Ginsberg¹

15
- 84915317646
- Ginsberg, M.L., Multivalued Logics: A Uniform Approach to Inference in Artificial Intelligence, Comput. Intelligence 4, No.3.

16
- 0004210235
- Van Nostrand
- (1950) Introduction to Metamathematics
- Kleene¹

17
- 0023596784
- Negation in Logic Programming
- (1987) The Journal of Logic Programming , pp. 289-308
- Kunen¹

18
- 0024770799
- Signed Data Dependencies in Logic Programs
- (1989) J. Logic Programming , vol.7 , pp. 231-245
- Kunen¹

19
- 84972541021
- A Lattice-Theoretical Fixpoint Theorem and Its Applications
- (1955) Pacific Journal of Mathematics , vol.5 , pp. 285-309
- Tarski¹

20
- 0022693287
- Quantitative Deduction and Its Fixpoint Theory
- (1986) J. Logic Programming , vol.3 , pp. 37-53
- van Emden¹

21
- 0017013056
- The Semantics of Predicate Logic as a Programming Language
- (1976) J. Assoc. Comput. Mach. , vol.23 , pp. 733-742
- van Emden¹ Kowalski²

22
- 0041003413
- Four Valued Semantics and the Liar
- (1984) J. Philos. Logic , vol.13 , pp. 181-212
- Visser¹

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