STABLE SEMANTICS FOR LOGIC PROGRAMS AND DEFAULT THEORIES

被引：0
|
作者：
MAREK, W
TRUSZCZYNSKI, M
机构：
来源：
LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2 | 1989年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：243 / 256
页数：14
相关论文
共 50 条
  • [41] Isoinitial semantics for logic programs
    Lau, KK
    Ornaghi, M
    [J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 223 - 238
  • [42] Four-valued semantics for default logic
    Yue, Anbu
    Ma, Yue
    Lin, Zuoquan
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4013 : 195 - 205
  • [43] On the semantics of logic programs with preferences
    Greco, Sergio
    Trubitsyna, Irina
    Zumpano, Ester
    [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2007, 30 : 501 - 523
  • [44] Disjunctive logic and semantics of disjunctive logic programs
    Yidong Shen
    [J]. Science in China Series E: Technological Sciences, 1997, 40 : 44 - 53
  • [45] Disjunctive logic and semantics of disjunctive logic programs
    Shen, YD
    [J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 40 (01): : 44 - 53
  • [46] Disjunctive logic and semantics of disjunctive logic programs
    沈一栋
    [J]. Science China Technological Sciences, 1997, (01) : 44 - 53
  • [47] Semi-representability of default theories in rational default logic
    Mikitiuk, A
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 192 - 207
  • [48] Strong negation in well-founded and partial stable semantics for logic programs
    Cabalar, Pedro
    Odintsov, Sergei
    Pearce, David
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA-SBIA 2006, PROCEEDINGS, 2006, 4140 : 592 - 601
  • [49] Default knowledge in logic programs with uncertainty
    Loyer, Y
    Straccia, U
    [J]. LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 466 - 480
  • [50] NEGATION BY DEFAULT AND UNSTRATIFIABLE LOGIC PROGRAMS
    BIDOIT, N
    FROIDEVAUX, C
    [J]. THEORETICAL COMPUTER SCIENCE, 1991, 78 (01) : 85 - 112
12345