STRATIFICATION OF DEFINITE CLAUSE PROGRAMS AND OF GENERAL LOGIC PROGRAMS

被引：0
|
作者：
STEPANKOVA, O
STEPANEK, P
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 440卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：396 / 408
页数：13
相关论文
共 50 条
  • [41] SEMANTICS OF DISTRIBUTED HORN CLAUSE PROGRAMS
    RAMANUJAM, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 361 - 371
  • [42] Set-based analysis of logic programs and reactive logic programs
    Podelski, A
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 35 - 36
  • [43] NEGATION AS FAILURE USING TIGHT DERIVATIONS FOR GENERAL LOGIC PROGRAMS
    VANGELDER, A
    JOURNAL OF LOGIC PROGRAMMING, 1989, 6 (1-2): : 109 - 133
  • [44] Expressiveness of Logic Programs under the General Stable Model Semantics
    Zhang, Heng
    Zhang, Yan
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2017, 18 (02)
  • [45] Protected completions of first-order general logic programs
    1600, (06):
  • [46] Expanding queries to incomplete databases by interpolating general logic programs
    Baral, C
    Gelfond, M
    Kosheleva, O
    JOURNAL OF LOGIC PROGRAMMING, 1998, 35 (03): : 195 - 230
  • [47] IMPLEMENTATION OF PROLOG AS BINARY DEFINITE PROGRAMS
    DEMOEN, B
    MARIEN, A
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 165 - 176
  • [48] STABILITY AND CONDITIONING IN DEFINITE QUADRATIC PROGRAMS
    DANIEL, JW
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (01): : A207 - A207
  • [49] On Completeness of Logic Programs
    Drabent, Wlodzimierz
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 261 - 278
  • [50] EQUIVALENT LOGIC PROGRAMS
    CHAN, KH
    JOURNAL OF LOGIC PROGRAMMING, 1990, 8 (03): : 187 - 199
12345