Transformations of logic programs

被引：0
|
作者：
Nigiyan, S.A.
Khachoyan, L.O.
机构：
来源：
Programmirovanie | / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：17 / 28
相关论文
共 50 条
  • [41] Deducing logic programs
    Wong, Ka-Shu
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 471 - 472
  • [42] CANONICAL LOGIC PROGRAMS
    JAFFAR, J
    STUCKEY, PJ
    JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (02): : 143 - 155
  • [43] Verification of logic programs
    Pedreschi, D
    Ruggieri, S
    JOURNAL OF LOGIC PROGRAMMING, 1999, 39 (1-3): : 125 - 176
  • [44] On computability by logic programs
    Voronkov, A
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 15 (3-4) : 437 - 456
  • [45] EXPANDING LOGIC PROGRAMS
    WITTEVEEN, C
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 633 : 373 - 390
  • [46] On computing logic programs
    Max-Planck-Inst fuer Informatik, Saarbruecken, Germany
    J Autom Reasoning, 3 (259-289):
  • [47] On computing logic programs
    Dimopoulos, Y
    JOURNAL OF AUTOMATED REASONING, 1996, 17 (03) : 259 - 289
  • [48] Labeled logic programs
    Barker, S
    LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 448 - 449
  • [49] LOGIC, PROBLEMS AND PROGRAMS
    GARCIANORIEGA, B
    ARBOR-CIENCIA PENSAMIENTO Y CULTURA, 1987, 126 (496) : 105 - 124
  • [50] MEMOING FOR LOGIC PROGRAMS
    WARREN, DS
    COMMUNICATIONS OF THE ACM, 1992, 35 (03) : 93 - 111
12345