Transformations of logic programs

被引：0
|
作者：
Nigiyan, S.A.
Khachoyan, L.O.
机构：
来源：
Programmirovanie | / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：17 / 28
相关论文
共 50 条
  • [21] On Completeness of Logic Programs
    Drabent, Wlodzimierz
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 261 - 278
  • [22] EQUIVALENT LOGIC PROGRAMS
    CHAN, KH
    JOURNAL OF LOGIC PROGRAMMING, 1990, 8 (03): : 187 - 199
  • [23] Evolving logic programs
    Alferes, JJ
    Brogi, A
    Leite, JA
    Pereira, LM
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 50 - 61
  • [24] DERIVATION OF LOGIC PROGRAMS
    HOGGER, CJ
    JOURNAL OF THE ACM, 1981, 28 (02) : 372 - 392
  • [25] LOGIC PROGRAMS AND ALTERNATION
    STEPANEK, P
    STEPANKOVA, O
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 99 - 106
  • [26] ELEMENTARY LOGIC PROGRAMS
    TARAU, P
    BOYER, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 159 - 173
  • [27] MACHINES, PROGRAMS AND LOGIC
    SAOUDI, A
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 342 - 342
  • [28] ON THE SEMANTICS OF LOGIC PROGRAMS
    GABBRIELLI, M
    LEVI, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 1 - 19
  • [29] Conceptual logic programs
    Heymans, Stijn
    Van Nieuwenborgh, Davy
    Vermeir, Dirk
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 47 (1-2) : 103 - 137
  • [30] DERIVING FOLD UNFOLD TRANSFORMATIONS OF LOGIC PROGRAMS USING EXTENDED OLDT-BASED ABSTRACT INTERPRETATION
    BOULANGER, D
    BRUYNOOGHE, M
    JOURNAL OF SYMBOLIC COMPUTATION, 1993, 15 (5-6) : 495 - 521
12345