Composing open logic programs

被引：0
|
作者：
Brogi, A.
Lamma, E.
Mello, P.
机构：
来源：
Journal of Logic and Computation | 1993年 / 3卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Updates of logic programs
    Sefranek, Ján
    COMPUTING AND INFORMATICS, 2007, 26 (03) : 225 - 238
  • [42] Super logic programs
    Brass, S
    Dix, J
    Przymusinski, TC
    PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96), 1996, : 529 - 540
  • [43] Refactoring logic programs
    Serebrenik, A
    Demoen, B
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 509 - 510
  • [44] Minimal logic programs
    Cabalar, Pedro
    Pearce, David
    Valverde, Agustin
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 104 - +
  • [45] EQUIVALENCES OF LOGIC PROGRAMS
    MAHER, MJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 410 - 424
  • [46] Deducing logic programs
    Wong, Ka-Shu
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 471 - 472
  • [47] CANONICAL LOGIC PROGRAMS
    JAFFAR, J
    STUCKEY, PJ
    JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (02): : 143 - 155
  • [48] Verification of logic programs
    Pedreschi, D
    Ruggieri, S
    JOURNAL OF LOGIC PROGRAMMING, 1999, 39 (1-3): : 125 - 176
  • [49] On computability by logic programs
    Voronkov, A
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 15 (3-4) : 437 - 456
  • [50] EXPANDING LOGIC PROGRAMS
    WITTEVEEN, C
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 633 : 373 - 390
12345