Three-valued logic for reasoning from an inconsistent knowledge base

被引：0
|
作者：
Faculty of Science and Technology, Tokyo University of Science, Chiba, 278-8510, Japan [1 ]
机构：
来源：
Syst Comput Jpn | 2006年 / 14卷 / 44-51期
关键词：
15;
D O I：
10.1002/scj.20539
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Three-valued completion for abductive logic programs
    Teusink, F
    THEORETICAL COMPUTER SCIENCE, 1996, 165 (01) : 171 - 200
  • [22] Implicatively Implicit Extensions in Three-Valued Logic
    S. S. Marchenkov
    Moscow University Computational Mathematics and Cybernetics, 2024, 48 (1) : 7 - 14
  • [23] Three-valued Logic, Indeterminacy and Quantum Mechanics
    Tomasz Bigaj
    Journal of Philosophical Logic, 2001, 30 : 97 - 119
  • [24] Erotetic Search Scenarios and Three-Valued Logic
    Leszczynska-Jasion, Dorota
    Lupkowski, Pawel
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2016, 25 (01) : 51 - 76
  • [25] Correlation immunity of three-valued logic functions
    Sokolov, A., V
    Zhdanov, O. N.
    JOURNAL OF DISCRETE MATHEMATICAL SCIENCES & CRYPTOGRAPHY, 2022, 25 (06): : 1649 - 1665
  • [26] Three-valued logic in bounded model checking
    Schuele, T
    Schneider, K
    THIRD ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2005, : 177 - 186
  • [27] BOURNE ON FUTURE CONTINGENTS AND THREE-VALUED LOGIC
    Kachi, Daisuke
    LOGIC AND LOGICAL PHILOSOPHY, 2009, 18 (01) : 33 - 43
  • [28] Positively closed classes of three-valued logic
    Marchenkov S.S.
    Marchenkov, S. S. (ssmarchen@yandex.ru), 1600, Izdatel'stvo Nauka (08): : 256 - 266
  • [29] A Three-Valued Semantics for Typed Logic Programming
    Barbosa, Joao
    Florido, Mario
    Costa, Vitor Santos
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 36 - 51
  • [30] Querying and repairing inconsistent databases under three-valued semantics
    Greco, Sergio
    Molinaro, Cristian
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 149 - +
12345