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 条
  • [11] EXTENDING ABDUCTION FROM PROPOSITIONAL TO 1ST-ORDER LOGIC
    MARQUIS, P
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 535 : 141 - 155
  • [12] A Structured Approach to Fuzzy Abduction Based on Contraposition Property of Propositional Logic
    Chakraborty, Aruna
    Konar, Amit
    Nagar, Atulya K.
    [J]. 2010 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE 2010), 2010,
  • [13] Tableau method of proof for Peirce's three-valued propositional logic
    Renato Salatiel, Jose
    [J]. FILOSOFIA UNISINOS, 2022, 23 (01):
  • [14] Compilability of propositional abduction
    Liberatore, Paolo
    Schaerf, Marco
    [J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2007, 8 (01)
  • [15] Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
    Fiorino, Guido
    [J]. INFORMATION SCIENCES, 2010, 180 (19) : 3633 - 3646
  • [16] A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation
    Bresolin, Davide
    Della Monica, Dario
    Montanari, Angelo
    Sciavicco, Guido
    [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2013), 2013, 8123 : 74 - 80
  • [17] Propositional Logic as a Propositional Fuzzy Logic
    Callejas Bedregal, Benjamin Rene
    Cruz, Anderson Paiva
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 143 : 5 - 12
  • [18] An efficient propositional system for Abductive Logic Programming
    Gavanelli, Marco
    Julián-Iranzo, Pascual
    Sáenz-Pérez, Fernando
    [J]. Artificial Intelligence Review, 2024, 57 (12)
  • [19] FCUBE: An Efficient Prover for Intuitionistic Propositional Logic
    Ferrari, Mauro
    Fiorentini, Camillo
    Fiorino, Guido
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 294 - +
  • [20] Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS
    Aguilera-Venegas, Gabriel
    Luis Galan-Garcia, Jose
    Angeles Galan-Garcia, Maria
    Rodriguez-Cielos, Pedro
    [J]. International Journal for Technology in Mathematics Education, 2015, 22 (02): : 85 - 91
12345