Extending the argumentation-foundation for abductive logic programming

被引：0
|
作者：
Chen, Rong [1 ]
Jiang, Yunfei [1 ]
机构：
[1] Jilin Univ, Changchun, China
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2000年 / 23卷 / 06期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
(Edited Abstract)
引用
收藏
页码：561 / 569
相关论文
共 50 条
  • [41] Nonground Abductive Logic Programming with Probabilistic Integrity Constraints
    Bellodi, Elena
    Gavanelli, Marco
    Zese, Riccardo
    Lamma, Evelina
    Riguzzi, Fabrizio
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2021, 21 (05) : 557 - 574
  • [42] Interleaving belief updating and reasoning in abductive logic programming
    Sadri, Fariba
    Toni, Francesca
    ECAI 2006, PROCEEDINGS, 2006, 141 : 442 - +
  • [43] 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
  • [44] Refining action theories through abductive logic programming
    Li, RW
    Pereira, LM
    Dahl, V
    LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, 1998, 1471 : 123 - 138
  • [45] 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
  • [46] 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
  • [47] PROCESSING ABDUCTIVE REASONING VIA CONTEXTUAL LOGIC PROGRAMMING
    LAMMA, E
    MELLO, P
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 567 : 336 - 343
  • [48] Abduction and Dialogical Proof in Argumentation and Logic Programming
    Booth, Richard
    Gabbay, Dov
    Kaci, Souhila
    Rienstra, Tjitze
    Van der Torre, Leendert
    21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 117 - 122
  • [49] The Relative Expressiveness of Abstract Argumentation and Logic Programming
    Strass, Hannes
    PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1625 - 1631
  • [50] 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)
12345