On computing logic programs

被引：0
|
作者：
Max-Planck-Inst fuer Informatik, Saarbruecken, Germany [1 ]
机构：
来源：
J Autom Reasoning | / 3卷 / 259-289期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
26
引用
收藏
相关论文
共 50 条
  • [1] On computing logic programs
    Dimopoulos, Y
    JOURNAL OF AUTOMATED REASONING, 1996, 17 (03) : 259 - 289
  • [2] COMPUTING ANSWERS FOR DISJUNCTIVE LOGIC PROGRAMS
    FURBACH, U
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 633 : 357 - 372
  • [3] Computing confidence measures in stochastic logic programs
    Lodhi, H
    Muggleton, S
    MICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2005, 3789 : 890 - 899
  • [4] Computing executable slices for concurrent logic programs
    Zhao, JJ
    Cheng, JD
    Ushijima, K
    SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 13 - 22
  • [5] COMPUTING DEFINITE LOGIC PROGRAMS BY PARTIAL INSTANTIATION
    KAGAN, V
    NERODE, A
    SUBRAHMANIAN, VS
    ANNALS OF PURE AND APPLIED LOGIC, 1994, 67 (1-3) : 161 - 182
  • [6] Towards Computing Abstract Distances in Logic Programs
    Casso, Ignacio
    Morales, Jose F.
    Lopez-Garcia, Pedro
    V. Hermenegildo, Manuel
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 1 - 3
  • [7] COMPUTING CHANGE AND SPECIFICITY WITH EQUATIONAL LOGIC PROGRAMS
    HOLLDOBLER, S
    THIELSCHER, M
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (01) : 99 - 133
  • [8] On Computing World Views of Epistemic Logic Programs
    Tran Cao Son
    Tiep Le
    Kahl, Patrick
    Leclerc, Anthony
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1269 - 1275
  • [9] RECURSION EQUATION SETS COMPUTING LOGIC PROGRAMS
    YAMASAKI, S
    THEORETICAL COMPUTER SCIENCE, 1990, 76 (2-3) : 309 - 322
  • [10] Complexity of computing with extended propositional logic programs
    Marek, VW
    Rajasekar, A
    Truszczynski, M
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 15 (3-4) : 357 - 378
12345