COMPOSING RECURSIVE LOGIC PROGRAMS WITH CLAUSAL JOIN

被引：7
|
作者：
LAKHOTIA, A
STERLING, L
机构：
来源：
NEW GENERATION COMPUTING | 1988年 / 6卷 / 2-3期
关键词：
D O I：
10.1007/BF03037138
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：211 / 225
页数：15
相关论文
共 50 条
  • [1] A combination of clausal and non clausal temporal logic programs
    Kono, S
    [J]. EXECUTABLE MODAL AND TEMPORAL LOGICS, 1995, 897 : 40 - 57
  • [2] Composing open logic programs
    Brogi, A.
    Lamma, E.
    Mello, P.
    [J]. Journal of Logic and Computation, 1993, 3 (04)
  • [3] Composing general logic programs
    Brogi, A
    Contiero, S
    Turini, F
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 273 - 288
  • [4] Composing programs in a rewriting logic for declarative programming
    Molina-Bravo, JM
    Pimentel, E
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 189 - 221
  • [5] DECOMPOSITION OF LINEAR RECURSIVE LOGIC PROGRAMS
    SEIPEL, D
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 484 : 291 - 310
  • [6] Propositional dynamic logic with recursive programs
    Loeding, Christof
    Lutz, Carsten
    Serre, Olivier
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 73 (1-2): : 51 - 69
  • [7] LINEARIZING SOME RECURSIVE LOGIC PROGRAMS
    GUESSARIAN, I
    PIN, JE
    [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1995, 7 (01) : 137 - 149
  • [8] Propositional dynamic logic with recursive programs
    Löding, C
    Serre, O
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006, 3921 : 292 - 306
  • [9] ANTON: Composing Logic and Logic Composing
    Boenn, Georg
    Brain, Martin
    De Vos, Marina
    Ffitch, John
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 542 - +
  • [10] PARALLELIZING RECURSIVE LOGIC PROGRAMS THROUGH DECOMPOSITION
    KLINGLER, A
    PENNER, V
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 605 : 967 - 968
12345