메뉴 건너뛰기




Volumn 32, Issue 1, 1997, Pages 49-69

Model generation and state generation for disjunctive logic programs

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTATIONAL METHODS; CONVERGENCE OF NUMERICAL METHODS; ITERATIVE METHODS; MATHEMATICAL MODELS;

EID: 0031192271     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0743-1066(96)00116-1     Document Type: Article
Times cited : (20)

References (28)
  • 6
    • 0029393298 scopus 로고
    • Bottom-up computation of perfect models for disjunctive theories
    • Fernández, J. A. and Minker, J., Bottom-Up Computation of Perfect Models for Disjunctive Theories, J. Logic Programming 25(1):33-51 (1995).
    • (1995) J. Logic Programming , vol.25 , Issue.1 , pp. 33-51
    • Fernández, J.A.1    Minker, J.2
  • 10
    • 0000888571 scopus 로고
    • Un théorèm sur les fonctions d'ensembles
    • Knaster, B., Un théorèm sur les fonctions d'ensembles, Annals Soc. Pol. Math. 6:133-134 (1928).
    • (1928) Annals Soc. Pol. Math. , vol.6 , pp. 133-134
    • Knaster, B.1
  • 16
    • 0025460906 scopus 로고
    • A fixpoint semantics for disjunctive logic programs
    • Minker, J. and Rajasekar, A., A Fixpoint Semantics for Disjunctive Logic Programs, J. Logic Programming 9(1):45-74 (1990).
    • (1990) J. Logic Programming , vol.9 , Issue.1 , pp. 45-74
    • Minker, J.1    Rajasekar, A.2
  • 18
    • 0001599027 scopus 로고
    • On the declarative semantics of deductive databases and logic programming
    • J. Minker (ed.), Morgan Kaufmann, Los Altos, CA
    • Przymusinski, T. C., On the Declarative Semantics of Deductive Databases and Logic Programming, in: J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, CA, 1988, pp. 193-216.
    • (1988) Foundations of Deductive Databases and Logic Programming , pp. 193-216
    • Przymusinski, T.C.1
  • 20
    • 0000810454 scopus 로고
    • Stable semantics for disjunctive programs
    • Przymusinski, T. C., Stable Semantics for Disjunctive Programs, New Generation Computing 9:401-424 (1991).
    • (1991) New Generation Computing , vol.9 , pp. 401-424
    • Przymusinski, T.C.1
  • 21
    • 0001685428 scopus 로고
    • Automatic deduction with hyper-resolution
    • Robinson, J. A., Automatic Deduction with Hyper-Resolution, Int. J. Computer Mathematics 1:227-234 (1965).
    • (1965) Int. J. Computer Mathematics , vol.1 , pp. 227-234
    • Robinson, J.A.1
  • 22
    • 84959347772 scopus 로고
    • Computing stable and partial stable models of extended disjunctive logic programs
    • J. Dix, L. M. Pereira, and T. C. Przymusinski (eds.), Springer-Verlag, Berlin/New York
    • Ruiz, C. and Minker, J., Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs, in: J. Dix, L. M. Pereira, and T. C. Przymusinski (eds.), Nonmonotonic Extensions of Logic Programming, Lecture Notes in Computer Science 927, Springer-Verlag, Berlin/New York, 1995, pp. 205-229.
    • (1995) Nonmonotonic Extensions of Logic Programming, Lecture Notes in Computer Science , vol.927 , pp. 205-229
    • Ruiz, C.1    Minker, J.2
  • 26
    • 84972541021 scopus 로고
    • A lattice-theoretical fixpoint theorem and its applications
    • Tarski, A., A Lattice-Theoretical Fixpoint Theorem and Its Applications, Pacific J. Mathematics 5:285-309 (1995).
    • (1995) Pacific J. Mathematics , vol.5 , pp. 285-309
    • Tarski, A.1
  • 27
    • 0017013056 scopus 로고
    • The semantics of predicate logic as a programming language
    • van Emden, M. H. and Kowalski, R. A., The Semantics of Predicate Logic as a Programming Language, J. ACM 23(4):733-742 (1976).
    • (1976) J. ACM , vol.23 , Issue.4 , pp. 733-742
    • Van Emden, M.H.1    Kowalski, R.A.2


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