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 条
  • [41] Logic Programs under Three-Valued Lukasiewicz Semantics
    Hoelldobler, Steffen
    Ramli, Carroline Dewi Puspa Kencana
    LOGIC PROGRAMMING, 2009, 5649 : 464 - 478
  • [42] Three-valued and four-valued approach to logic programming with negation
    Ying, Ming-sheng
    Liu, Fu-chun
    Chinese Journal of Advanced Software Research, 1999, 6 (01): : 71 - 83
  • [43] Kleene's three-valued logic and process algebra
    Bergstra, JA
    Ponse, A
    INFORMATION PROCESSING LETTERS, 1998, 67 (02) : 95 - 103
  • [44] Basic positively closed classes in three-valued logic
    Marchenkov, Sergey S.
    Chernyshev, Anatoliy V.
    DISCRETE MATHEMATICS AND APPLICATIONS, 2018, 28 (03): : 157 - 165
  • [45] A three-valued characterization for strong equivalence of logic programs
    Cabalar, P
    EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 106 - 111
  • [46] LOGICAL RELATIONS BETWEEN CONDITIONALS AND THREE-VALUED LOGIC
    Belikov, Alexander A.
    VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-FILOSOFIYA-SOTSIOLOGIYA-POLITOLOGIYA-TOMSK STATE UNIVERSITY JOURNAL OF PHILOSOPHY SOCIOLOGY AND POLITICAL SCIENCE, 2023, 71 : 5 - 12
  • [47] On Prior's three-valued modal logic Q
    Akama, S
    Nagata, Y
    35TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2005, : 14 - 19
  • [48] Three-valued temporal logic Qt and future contingents
    Akama S.
    Nagata Y.
    Yamada C.
    Studia Logica, 2008, 88 (2) : 215 - 231
  • [49] An implementation of tautological analysis of some three-valued logic
    Rogulski, Daniel
    Wesserling, Janusz
    Mulawka, Jan
    PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH-ENERGY PHYSICS EXPERIMENTS 2015, 2015, 9662
  • [50] SQL's Three-Valued Logic and Certain Answers
    Libkin, Leonid
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 2016, 41 (01):
12345