SCOPUS 정보 검색 플랫폼

Volumn 21, Issue 3, 1994, Pages 113-127

Metric Methods Three Examples and a Theorem

a NONE (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; FORMAL LOGIC; GAME THEORY; MATHEMATICAL MODELS; THEOREM PROVING; THEORY;

KNASTER TARSKI THEOREM; METRIC METHODS; SINGLE STEP FUNCTION;

LOGIC PROGRAMMING;

EID: 0028550693 PISSN: 07431066 EISSN: None Source Type: Journal
DOI: 10.1016/S0743-1066(14)80007-1 Document Type: Article

Times cited : (41)

References (15)

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-148
- Apt, K.R.¹ Blair, H.² Walker, A.³

2
- 0040717657
- Studies in pure Prolog: termination
- J.W. Lloyd, Springer-Verlag, Berlin
- (1990) Symposium on Computational Logic , pp. 150-176
- Apt, K.R.¹ Pedreschi, D.²

3
- 0001609012
- Proving termination of general Prolog programs
- (1993) Information and Computation , vol.106 , pp. 109-157
- Apt, K.R.¹ Pedreschi, D.²

4
- 0010668078
- Topological Aspects of Logic Programming
- Syracuse University
- (1989) Ph.D. thesis
- Batarekh, A.¹

5
- 0024738668
- Topological model set deformations in logic programming
- (1989) Fundamenta Informaticae , vol.12 , pp. 357-400
- Batarekh, A.¹ Subrahmanian, V.S.²

6
- 0040123795
- Characterizing termination of logic programs with level mappings
- E.L. Lusk, R.A. Overbeek, MIT Press, Cambridge, MA
- (1989) Proceedings of the North American Conference on Logic Programming , pp. 69-80
- Bezem, M.¹

7
- 0002882910
- Strong termination of logic programs
- (1993) Journal of Logic Programming , vol.15 , pp. 79-97
- Bezem, M.¹

8
- 0002223019
- Continuity, consistency, and completeness properties for logic programs
- G. Levi, M. Martelli, MIT Press, Cambridge, MA
- (1989) Proceedings of the Sixth International Conference on Logic Programming , pp. 571-584
- Cavedon, L.¹

9
- 0026204235
- Acyclic logic programs and the completeness of SLDNFL-resolution
- (1991) Theoretical Computer Science , vol.86 , pp. 81-92
- Cavedon, L.¹

10
- 0022180593
- A Kripke/Kleene semantics for logic programs
- (1985) Journal of Logic Programming , vol.2 , pp. 295-312
- Fitting, M.C.¹

11
- 0001119421
- The stable model semantics for logic programming
- R. Kowalski, K. Bowen, MIT Press, Cambridge, MA
- (1989) Proc. of the Fifth Logic Programming Symposium , pp. 1070-1080
- Gelfond, M.¹ Lifschitz, V.²

12
- 0003453263
- 2nd ed., Springer-Verlag, Berlin
- (1987) Foundations of Logic Programming
- Lloyd, J.W.¹

13
- 0004278308
- MIT Press, Cambridge, MA
- (1986) The Art of Prolog
- Sterling, L.¹ Shapiro, E.²

14
- 84990606045
- Unfounded sets and well-founded semantics for general logic programs
- (1988) Proc. Seventh Symp. on Principles of Database Systems , pp. 221-230
- Van Gelder, A.¹ Ross, K.A.² Schlipf, J.S.³

15
- 0004151989
- Addison-Wesley, Reading MA
- (1970) General Topology
- Willard, S.¹

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