Composing open logic programs

被引：0
|
作者：
Brogi, A.
Lamma, E.
Mello, P.
机构：
来源：
Journal of Logic and Computation | 1993年 / 3卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Composing general logic programs
    Brogi, A
    Contiero, S
    Turini, F
    [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1997, 1265 : 273 - 288
  • [2] COMPOSING RECURSIVE LOGIC PROGRAMS WITH CLAUSAL JOIN
    LAKHOTIA, A
    STERLING, L
    [J]. NEW GENERATION COMPUTING, 1988, 6 (2-3) : 211 - 225
  • [3] 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
  • [4] 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 - +
  • [5] Compositionality of normal open logic programs
    Verbaeten, S
    Denecker, M
    DeSchreye, D
    [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 371 - 385
  • [6] Compositionality of normal open logic programs
    Verbaeten, S
    Denecker, M
    de Schreye, D
    [J]. JOURNAL OF LOGIC PROGRAMMING, 2000, 42 (03): : 151 - 183
  • [7] Completing open logic programs by constructive induction
    Erdem, E
    Flener, P
    [J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1999, 14 (10) : 995 - 1019
  • [8] An approach to composing parallel programs
    Thorelli, LE
    Vlassov, V
    [J]. PARALLEL COMPUTING TECHNOLOGIES, 2001, 2127 : 371 - 378
  • [9] Composing model programs for analysis
    Veanes, Margus
    Jacky, Jonathan
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (07): : 467 - 482
  • [10] On composing problems and parallel programs
    Horvath, Z
    Kozsik, T
    Venczel, T
    [J]. 1ST AUSTRIAN-HUNGARIAN WORKSHOP ON DISTRIBUTED AND PARALLEL SYSTEMS, PROCEEDINGS, 1996, 1996 (09): : 225 - 226
12345