Complexity results for abductive logic programming

被引:0
|
作者
Eiler, T.
Gottlob, G.
Leone, N.
机构
关键词
D O I
暂无
中图分类号
学科分类号
摘要
引用
收藏
相关论文
共 50 条
  • [1] Applications of abductive logic programming
    Kakas, AC
    Michael, A
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 343 - 344
  • [2] Complexity and undecidability results for logic programming
    Schlipf, JS
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 15 (3-4) : 257 - 288
  • [3] Abductive logic programming and disjunctive logic programming: their relationship and transferability
    Sakama, C
    Inoue, K
    JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3): : 75 - 100
  • [4] Accountable Protocols in Abductive Logic Programming
    Gavanelli, Marco
    Alberti, Marco
    Lamma, Evelina
    ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2018, 18 (04)
  • [5] An abductive approach to disjunctive logic programming
    You, JH
    Yuan, LY
    Goebel, R
    JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3): : 101 - 127
  • [6] Dischargeable Obligations in Abductive Logic Programming
    Alberti, Marco
    Gavanelli, Marco
    Lamma, Evelina
    Riguzzi, Fabrizio
    Zese, Riccardo
    RULES AND REASONING, 2017, 10364 : 7 - 21
  • [7] An abductive framework for extended logic programming
    Brogi, A
    Lamma, E
    Mancarella, P
    Mello, P
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 330 - 343
  • [8] INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH
    Corapi, Domenico
    Russo, Alessandra
    Lupu, Emil
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 54 - 63
  • [9] ACLP: Abductive Constraint Logic Programming
    Kakas, A
    Michael, A
    Mourlas, C
    JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3): : 129 - 177
  • [10] Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
    Kowalski, Robert
    Sadri, Fariba
    WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2009, 5837 : 1 - 23