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 条
  • [11] A STRATIFICATION SEMANTICS FOR GENERAL DISJUNCTIVE PROGRAMS
    RAJASEKAR, A
    MINKER, J
    LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 573 - 586
  • [12] An unfold/fold transformation framework for definite logic programs
    Roychoudhury, A
    Kumar, KN
    Ramakrishnan, CR
    Ramakrishnan, IV
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2004, 26 (03): : 464 - 509
  • [13] A COMPUTABLE SEMANTICS FOR GENERAL LOGIC PROGRAMS
    WALLACE, M
    JOURNAL OF LOGIC PROGRAMMING, 1989, 6 (03): : 269 - 297
  • [14] Structure learning of probabilistic logic programs by searching the clause space
    Bellodi, Elena
    Riguzzi, Fabrizio
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 169 - 212
  • [15] Programming by combining general logic programs
    Brogi, A
    Contiero, S
    Turini, F
    JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (01) : 7 - 24
  • [16] COMPLETE EXTENSION OF GENERAL LOGIC PROGRAMS
    GIL, B
    THEORETICAL COMPUTER SCIENCE, 1992, 94 (02) : 281 - 294
  • [17] GENERAL FAILURE OF LOGIC PROGRAMS - COMMENTS
    JAFFAR, J
    LASSEZ, JL
    MAHER, MJ
    JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (02): : 115 - 118
  • [18] A semantics for modular general logic programs
    Etalle, S
    THEORETICAL COMPUTER SCIENCE, 1998, 206 (1-2) : 51 - 80
  • [19] Termination prediction for general logic programs
    Shen, Yi-Dong
    De Schreye, Danny
    Voets, Dean
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 9 : 751 - 780
  • [20] On logics and semantics for general logic programs
    Bochman, A
    NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, 1997, 1216 : 37 - 56
12345