Complexity results for abductive logic programming

被引：0
|
作者：
Eiler, T.
Gottlob, G.
Leone, N.
机构：
来源：
International Journal of Pressure Vessels and Piping | / 65卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] The CIFF proof procedure for abductive logic programming with constraints
    Endriss, U
    Mancarella, P
    Sadri, F
    Terreni, G
    Toni, F
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 31 - 43
  • [32] Refining action theories through abductive logic programming
    Li, RW
    Pereira, LM
    Dahl, V
    LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, 1998, 1471 : 123 - 138
  • [33] Probabilistic abductive logic programming using Dirichlet priors
    Turliuc, Calin Rares
    Dickens, Luke
    Russo, Alessandra
    Broda, Krysia
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2016, 78 : 223 - 240
  • [34] Expressing and verifying business contracts with abductive logic programming
    Alberti, Marco
    Chesani, Federico
    Gavanelli, Marco
    Lamma, Evelina
    Mello, Paola
    Montali, Marco
    Torroni, Paolo
    INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE, 2008, 12 (04) : 9 - 38
  • [35] PROCESSING ABDUCTIVE REASONING VIA CONTEXTUAL LOGIC PROGRAMMING
    LAMMA, E
    MELLO, P
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 567 : 336 - 343
  • [36] Extending the argumentation-foundation for abductive logic programming
    Chen, Rong
    Jiang, Yunfei
    Jisuanji Xuebao/Chinese Journal of Computers, 2000, 23 (06): : 561 - 569
  • [37] Verifiable agent interaction in abductive logic programming:: The SCIFF framework
    Alberti, Marco
    Chesani, Federico
    Gavanelli, Marco
    Lamma, Evelina
    Mello, Paola
    Torroni, Paolo
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2008, 9 (04)
  • [38] Security protocols verification in abductive logic programming: A case study
    Alberti, Marco
    Chesani, Federico
    Gavanelli, Marco
    Lamma, Evelina
    Mello, Paola
    Torroni, Paolo
    ENGINEERING SOCIETIES IN THE AGENTS WORLD VI, 2006, 3963 : 106 - 124
  • [39] Special issue: abductive logic programming - Guest editors' introduction
    Denecker, M
    Kakas, A
    JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3): : 1 - 4
  • [40] A Logic Programming Language Designed for the Modeling of Abductive Reasoning in an Educational Context
    de Oliveira, Osvaldo Luiz
    Oliveira, Carlos Eduardo A.
    Martins, Ricardo Jose
    Matsumoto, Marcio
    2016 FIFTEENTH MEXICAN INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (MICAI): ADVANCES IN ARTIFICIAL INTELLIGENCE, 2016, : 99 - 105
12345