메뉴 건너뛰기
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumn 3808 LNCS, Issue , 2005, Pages 29-42
Revised stable models - A semantics for logic programs
Author keywords

Logic program semantics; Reductio ad absurdum; Stable models
Indexed keywords

COMPUTER SCIENCE; INFORMATION TECHNOLOGY; LOGIC PROGRAMMING; MATHEMATICAL MODELS; QUERY LANGUAGES;
EID: 33744822174     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11595014_4     Document Type: Conference Paper
Times cited : (32)
References (6)
  • 1
    • 77952029586 scopus 로고    scopus 로고
    • Evolving logic programs
    • S. Flesca et al. (eds.), 8th European Conf. on Logics in AI (JELIA'02), Springer
    • J. J. Alferes, A. Brogi, J. A. Leite, L. M. Pereira. Evolving Logic Programs. In S. Flesca et al. (eds.), 8th European Conf. on Logics in AI (JELIA'02), pp. 50-61, Springer, LNCS 2424, 2002.
    • (2002) LNCS , vol.2424 , pp. 50-61
    • Alferes, J.J.1    Brogi, A.2    Leite, J.A.3    Pereira, L.M.4
  • 2
    • 0001119421 scopus 로고
    • The stable model semantics for logic programming
    • R. Kowalski, K. A. Bowen (eds.), MIT Press
    • M. Gelfond, V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski, K. A. Bowen (eds.), 5th Intl. Logic Programming Conf., pp. 1070-1080. MIT Press, 1988.
    • (1988) 5th Intl. Logic Programming Conf. , pp. 1070-1080
    • Gelfond, M.1    Lifschitz, V.2
  • 3
    • 84974750342 scopus 로고
    • A classification theory of semantics of normal logic programs: I. strong properties, II. weak properties
    • J. Dix. A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties, II. Weak Properties. Fundamenta Informaticae XXII(3)*227-255, 257-288, 1995.
    • (1995) Fundamenta Informaticae , vol.22 , Issue.3 , pp. 227-255
    • Dix, J.1
  • 4
    • 71149116148 scopus 로고
    • The well-founded semantics for general logic programs
    • A. van Gelder, K. A. Ross, J. S. Schlipf. The Well-Founded Semantics for General Logic Programs. In J. ACM, 38(3):620-650, 1991.
    • (1991) J. ACM , vol.38 , Issue.3 , pp. 620-650
    • Van Gelder, A.1    Ross, K.A.2    Schlipf, J.S.3
  • 5
    • 0010077202 scopus 로고
    • Consistency of dark's completion and existence of stable models
    • F. Pages. Consistency of dark's Completion and Existence of Stable Models. In Methods of Logic in Computer Science, vol. 1, pp. 51-60, 1994.
    • (1994) Methods of Logic in Computer Science , vol.1 , pp. 51-60
    • Pages, F.1
  • 6
    • 0348066009 scopus 로고
    • The alternating fixpoint of logic programs with negation
    • A. van Gelder 1993. The Alternating Fixpoint of Logic Programs with Negation. Journal of computer and system sciences 47:185-221.
    • (1993) Journal of Computer and System Sciences , vol.47 , pp. 185-221
    • Van Gelder, A.1

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