Computing the well-founded semantics faster

被引：0
|
作者：
Berman, K.A.
Schlipf, J.S.
Franco, J.V.
机构：
来源：
International Journal of Pressure Vessels and Piping | 1996年 / 65卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Computing the well-founded semantics faster
    Berman, KA
    Schlipf, JS
    Franco, JV
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 113 - 126
  • [2] On the problem of computing the well-founded semantics
    Lonc, Z
    Truszczynski, M
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 673 - 687
  • [3] On the problem of computing the well-founded semantics
    Lonc, Z
    Truszczynski, M
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2001, 1 : 591 - 609
  • [4] On the problem of computing the well-founded semantics
    Lonc, Zbigniew
    Truszczynski, Miroslaw
    Theory and Practice of Logic Programming, 2001, 1 (05) : 591 - 609
  • [5] XSB: A system for efficiently computing well-founded semantics
    Rao, P
    Sagonas, K
    Swift, T
    Warren, DS
    Freire, J
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 430 - 440
  • [6] A NONDETERMINISTIC WELL-FOUNDED SEMANTICS
    TORRES, A
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (01) : 37 - 73
  • [7] On Signings and the Well-Founded Semantics
    Maher, Michael J. J.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (01) : 115 - 127
  • [8] A tutorial on the well-founded semantics
    Van Gelder, A
    PROGRAMMING AND COMPUTER SOFTWARE, 1998, 24 (01) : 32 - 42
  • [9] Aggregation and well-founded semantics
    Osorio, M
    Jayaraman, B
    NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, 1997, 1216 : 71 - 90
  • [10] Possibilistic Well-Founded Semantics
    Osorio, Mauricio
    Carlos Nieves, Juan
    MICAI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5845 : 15 - +
12345