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 条
  • [41] TABLEAU FOR THE LOGIC ILP
    Ognjanovic, Zoran
    Perovic, Aleksandar
    Ilic-Stepic, Angelina
    [J]. PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2022, 112 (126): : 1 - 11
  • [42] A bounded translation of intuitionistic propositional logic into basic propositional logic
    Aghaei, M
    Ardeshir, M
    [J]. MATHEMATICAL LOGIC QUARTERLY, 2000, 46 (02) : 199 - 206
  • [43] CLASSICAL PROPOSITIONAL LOGIC AND DECIDABILITY OF VARIABLES IN INTUITIONISTIC PROPOSITIONAL LOGIC
    Ishihara, Hajime
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (03) : 1 - 7
  • [44] An Efficient Tableau Prover using Global Caching for the Description Logic ALC
    Nguyen, Linh Anh
    [J]. FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 273 - 288
  • [45] On Argumentation Logic and Propositional Logic
    Antonis C. Kakas
    Paolo Mancarella
    Francesca Toni
    [J]. Studia Logica, 2018, 106 : 237 - 279
  • [46] On Argumentation Logic and Propositional Logic
    Kakas, Antonis C. l
    Mancarella, Paolo
    Toni, Francesca
    [J]. STUDIA LOGICA, 2018, 106 (02) : 237 - 279
  • [47] Efficient interpretation of propositional multiple-valued logic programs
    EscaladaImaz, G
    Manya, F
    [J]. ADVANCES IN INTELLIGENT COMPUTING - IPMU '94, 1995, 945 : 428 - 439
  • [48] A general tableau method for propositional interval temporal logics
    Goranko, V
    Montanari, A
    Sciavicco, G
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2003, 2796 : 102 - 116
  • [49] Linear Algebraic Computation of Propositional Horn Abduction
    Quoc, Tuan Nguyen
    Inoue, Katsumi
    Sakama, Chiaki
    [J]. 2021 IEEE 33RD INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2021), 2021, : 240 - 247
  • [50] A simple propositional S5 tableau system
    Fitting, M
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1999, 96 (1-3) : 107 - 115
12345