Composing open logic programs

被引：0
|
作者：
Brogi, A.
Lamma, E.
Mello, P.
机构：
来源：
Journal of Logic and Computation | 1993年 / 3卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] ELEMENTARY LOGIC PROGRAMS
    TARAU, P
    BOYER, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 159 - 173
  • [32] ON THE SEMANTICS OF LOGIC PROGRAMS
    GABBRIELLI, M
    LEVI, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 1 - 19
  • [33] MACHINES, PROGRAMS AND LOGIC
    SAOUDI, A
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 342 - 342
  • [34] Conceptual logic programs
    Heymans, Stijn
    Van Nieuwenborgh, Davy
    Vermeir, Dirk
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 47 (1-2) : 103 - 137
  • [35] LOGIC PROGRAMS AND ALTERNATION
    STEPANEK, P
    STEPANKOVA, O
    JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1085 - 1085
  • [36] Conceptual logic programs
    Stijn Heymans
    Davy Van Nieuwenborgh
    Dirk Vermeir
    Annals of Mathematics and Artificial Intelligence, 2006, 47 : 103 - 137
  • [37] Steadfast logic programs
    Lau, KK
    Ornaghi, M
    Tärnlund, SÅ
    JOURNAL OF LOGIC PROGRAMMING, 1999, 38 (03): : 259 - 294
  • [38] Transformations of logic programs
    Nigiyan, SA
    Khachoyan, LO
    PROGRAMMING AND COMPUTER SOFTWARE, 1997, 23 (06) : 302 - 309
  • [39] Paraconsistent logic programs
    Alcântara, J
    Damásio, CV
    Pereira, LM
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 345 - 356
  • [40] LEGISLATION AS LOGIC PROGRAMS
    KOWALSKI, RA
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 203 - 230
12345