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 条
  • [21] Decidability under the well-founded semantics
    Cherchago, Natalia
    Hitzler, Pascal
    Hoelldobler, Steffen
    WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2007, 4524 : 269 - +
  • [22] Extended Well-Founded Semantics in Bilattices
    Stamate, Daniel
    PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 9, 2005, 9 : 60 - 65
  • [23] On the computation of the disjunctive well-founded semantics
    Johnson, CA
    JOURNAL OF AUTOMATED REASONING, 2001, 26 (04) : 333 - 356
  • [24] Forgetting under the Well-Founded Semantics
    Alferes, Jose Julio
    Knorr, Matthias
    Wang, Kewen
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 36 - 41
  • [25] Loop checking and the well-founded semantics
    Lifschitz, V
    McCain, N
    Przymusinski, TC
    Stark, RF
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 127 - 142
  • [26] Well-founded semantics for Boolean grammars
    Kountouriotis, Vassilis
    Nomikos, Christos
    Rondogiannis, Panos
    DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2006, 4036 : 203 - 214
  • [27] On the computation of the disjunctive well-founded semantics
    Johnson, C.A.
    1600, Kluwer Academic Publishers (26):
  • [28] Well-founded semantics for hybrid rules
    Drabent, Wlodzimierz
    Maluszynski, Jan
    WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2007, 4524 : 1 - +
  • [29] Well-founded semantics for Boolean grammars
    Kountouriotis, Vassilis
    Nomikos, Christos
    Rondogiannis, Panos
    INFORMATION AND COMPUTATION, 2009, 207 (09) : 945 - 967
  • [30] On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic
    Lam, Ho-Pun
    Governatori, Guido
    SEMANTIC WEB RULES, 2010, 6403 : 119 - +
12345