Composing open logic programs

被引：0
|
作者：
Brogi, A.
Lamma, E.
Mello, P.
机构：
来源：
Journal of Logic and Computation | 1993年 / 3卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] From Logic to Functional Logic Programs
    Hanus, Michael
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (04) : 538 - 554
  • [22] Embedding defeasible logic into logic programs
    Antoniou, G
    Maher, MJ
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 393 - 404
  • [23] Conceptual Principles of Composing Teaching Programs in International Relations
    Lebedeva, M. M.
    POLIS-POLITICHESKIYE ISSLEDOVANIYA, 2008, (03): : 118 - +
  • [24] Set-based analysis of logic programs and reactive logic programs
    Podelski, A
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 35 - 36
  • [25] Composing eBPF Programs Made Easy With HIKe and eCLAT
    Mayer, Andrea
    Bracciale, Lorenzo
    Lungaroni, Paolo
    Sidoretti, Giulio
    Salsano, Stefano
    Bianchi, Giuseppe
    Loreti, Pierpaolo
    IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 2024, 21 (02): : 1359 - 1371
  • [26] On Completeness of Logic Programs
    Drabent, Wlodzimierz
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), 2015, 8981 : 261 - 278
  • [27] EQUIVALENT LOGIC PROGRAMS
    CHAN, KH
    JOURNAL OF LOGIC PROGRAMMING, 1990, 8 (03): : 187 - 199
  • [28] DERIVATION OF LOGIC PROGRAMS
    HOGGER, CJ
    JOURNAL OF THE ACM, 1981, 28 (02) : 372 - 392
  • [29] Evolving logic programs
    Alferes, JJ
    Brogi, A
    Leite, JA
    Pereira, LM
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 50 - 61
  • [30] LOGIC PROGRAMS AND ALTERNATION
    STEPANEK, P
    STEPANKOVA, O
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 99 - 106
12345