Volume I: Recovery operators in logics of formal inconsistency

被引:3
|
作者
Alejandro Barrio, Eduardo [1 ,2 ]
Carnielli, Walter [3 ]
机构
[1] Consejo Nacl Invest Cient & Tecn, IIF SADAF, B1053, Buenos Aires, DF, Argentina
[2] Univ Buenos Aires, B1053, Buenos Aires, DF, Argentina
[3] Univ Estadual Campinas, CLE, Cidade Univ Zeferino Vaz Baro Geraldo, BR-13083970 Campinas, SP, Brazil
关键词
D O I
10.1093/jigpal/jzy053
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
[No abstract available]
引用
收藏
页码:615 / 623
页数:9
相关论文
共 50 条
  • [41] Similarity-Based Inconsistency-Tolerant Logics
    Arieli, Ofer
    Zamansky, Anna
    LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, 2010, 6341 : 11 - 23
  • [42] Reasoning with Inconsistency-tolerant Fuzzy Description Logics
    Kamide, Norihiro
    ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, 2022, : 63 - 74
  • [43] Consequence-Inconsistency Interrelation: In the Framework of Paraconsistent Logics
    Dutta, Soma
    Chakraborty, Mihir K.
    NEW DIRECTIONS IN PARACONSISTENT LOGIC, 2015, 152 : 269 - 283
  • [44] ON ALGORITHMIC PROPERTIES OF PROPOSITIONAL INCONSISTENCY-ADAPTIVE LOGICS
    Odintsov, Sergei P.
    Speranski, Stanislav O.
    LOGIC AND LOGICAL PHILOSOPHY, 2012, 21 (03) : 209 - 228
  • [45] Handling and measuring inconsistency in non-monotonic logics
    Ulbricht, Markus
    Thimm, Matthias
    Brewka, Gerhard
    ARTIFICIAL INTELLIGENCE, 2020, 286 (286)
  • [46] Godel logics with monotone operators
    Baaz, Matthias
    Fasching, Oliver
    FUZZY SETS AND SYSTEMS, 2012, 197 : 3 - 13
  • [47] LOGICS WITH SEVERAL MODAL OPERATORS
    FITTING, M
    THEORIA, 1969, 35 : 259 - 266
  • [48] Logics with Generalized Measure Operators
    Ikodinovic, Nebojsa
    Raskovic, Miodrag
    Markovic, Zoran
    Ognjanovic, Zoran
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2013, 20 (5-6) : 527 - 555
  • [49] On the formal semantics of IF-like logics
    Figueira, Santiago
    Gorin, Daniel
    Grimson, Rafael
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2010, 76 (05) : 333 - 346
  • [50] A formal framework for description logics with uncertainty
    Haarslev, Volker
    Pai, Hsueh-leng
    Shiri, Nematollaah
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2009, 50 (09) : 1399 - 1415