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 条
  • [21] Reasoning on Datalog± Ontologies with Abductive Logic Programming
    Gavanelli, Marco
    Lamma, Evelina
    Riguzzi, Fabrizio
    Bellodi, Elena
    Zese, Riccardo
    Cota, Giuseppe
    FUNDAMENTA INFORMATICAE, 2018, 159 (1-2) : 65 - 93
  • [22] Coherent integration of databases by abductive logic programming
    Arieli, O
    Denecker, M
    Van Nuffelen, B
    Bruynooghe, M
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2004, 21 : 245 - 286
  • [23] An efficient propositional system for Abductive Logic Programming
    Gavanelli, Marco
    Julian-Iranzo, Pascual
    Saenz-Perez, Fernando
    ARTIFICIAL INTELLIGENCE REVIEW, 2024, 57 (12)
  • [24] Abductive logic programs with penalization: semantics, complexity and implementation
    Perri, S
    Scarcello, F
    Leone, N
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 (1-2) : 123 - 159
  • [25] Abductive Logic Programming in the Clinical Management of HIV/AIDS
    Ray, Oliver
    Antoniades, Athos
    Kakas, Antonis
    Demetriades, Ioannis
    ECAI 2006, PROCEEDINGS, 2006, 141 : 437 - +
  • [26] Accountable Protocols in Abductive Logic Programming (Extended Abstract)
    Gavanelli, Marco
    Alberti, Marco
    Lamma, Evelina
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (325):
  • [27] Evaluating Compliance: From LTL to Abductive Logic Programming
    Chesani, Federico
    Gavanelli, Marco
    Lamma, Evelina
    Mello, Paola
    Montali, Marco
    FUNDAMENTA INFORMATICAE, 2018, 159 (1-2) : 35 - 63
  • [28] Web sites verification: An abductive logic programming tool
    Mancarella, P.
    Terreni, G.
    Toni, F.
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 434 - +
  • [29] 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
  • [30] Interleaving belief updating and reasoning in abductive logic programming
    Sadri, Fariba
    Toni, Francesca
    ECAI 2006, PROCEEDINGS, 2006, 141 : 442 - +
12345