Efficient Semantic Tableau Generation for Abduction in Propositional Logic

被引：0
|
作者：
Yang, Yifan [1 ]
De Aldama, Ricardo [1 ,2 ]
Atif, Jamal [2 ]
Bloch, Isabelle [1 ]
机构：
[1] Univ Paris Saclay, Telecom ParisTech, CNRS, LTCI, Paris, France
[2] Univ Paris 09, PSL, LAMSADE, UMR 7243, Paris, France
来源：
ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE | 2016年 / 285卷
关键词：
D O I：
10.3233/978-1-61499-672-9-1756
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：1756 / 1757
页数：2
相关论文
共 50 条
  • [31] Efficient decision procedure for propositional projection temporal logic
    Shu, Xinfeng
    Zhang, Nan
    Wang, Xiaobing
    Zhao, Liang
    [J]. THEORETICAL COMPUTER SCIENCE, 2020, 838 : 1 - 16
  • [32] A space efficient implementation of a tableau calculus for a logic with a constructive negation
    Avellone, A
    Fiorentini, C
    Fiorino, G
    Moscato, U
    [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 488 - 502
  • [33] Generalized tableau systems for intermediate propositional logics
    Avellone, A
    Miglioli, P
    Moscato, U
    Ornaghi, M
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 43 - 61
  • [34] Semantic characterization of rational closure: From propositional logic to description logics
    Giordano, L.
    Gliozzi, V.
    Olivetti, N.
    Pozzato, G. L.
    [J]. ARTIFICIAL INTELLIGENCE, 2015, 226 : 1 - 33
  • [35] What makes propositional abduction tractable
    Nordh, Gustav
    Zanuttini, Bruno
    [J]. ARTIFICIAL INTELLIGENCE, 2008, 172 (10) : 1245 - 1284
  • [36] A complete classification of the complexity of propositional abduction
    Creignou, Nadia
    Zanuttini, Bruno
    [J]. SIAM JOURNAL ON COMPUTING, 2006, 36 (01) : 207 - 229
  • [37] ABox abduction in ALC using a DL tableau
    Halland, Ken
    Britz, Katarina
    [J]. PROCEEDINGS OF THE SOUTH AFRICAN INSTITUTE FOR COMPUTER SCIENTISTS AND INFORMATION TECHNOLOGISTS CONFERENCE, 2012, : 51 - 58
  • [38] An efficient model checker based on the axiomatization of propositional temporal logic in rewriting logic
    Rebaiaia, ML
    Jaam, JM
    Hasnah, AM
    [J]. ICECS 2003: PROCEEDINGS OF THE 2003 10TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, VOLS 1-3, 2003, : 866 - 869
  • [39] Propositional Abduction with Implicit Hitting Sets
    Ignatiev, Alexey
    Morgado, Antonio
    Marques-Silva, Joao
    [J]. ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1327 - 1335
  • [40] Propositional Abduction is Almost Always Hard
    Nordh, Gustav
    Zanuttini, Bruno
    [J]. 19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 534 - 539
12345