Default logic based on four valued semantics

被引：0
|
作者：
Yue, An-Bu [1 ]
Lin, Zuo-Quan [1 ]
机构：
[1] Department of Information Science, Peking University, Beijing 100871, China
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2005年 / 28卷 / 09期
关键词：
Formal logic;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1447 / 1458
相关论文
共 50 条
  • [41] Declarative semantics of programming in residuated lattice-valued logic
    应明生
    Science in China(Series E:Technological Sciences), 2000, (05) : 481 - 494
  • [42] A new lattice-valued propositional logic (I): Semantics
    Qin, KY
    Xu, Y
    COMPUTATIONAL INTELLIGENT SYSTEMS FOR APPLIED RESEARCH, 2002, : 44 - 49
  • [43] Multi-valued logic programming semantics - An algebraic approach
    Mobasher, B
    Pigozzi, D
    Slutzki, G
    THEORETICAL COMPUTER SCIENCE, 1997, 171 (1-2) : 77 - 109
  • [44] 3-VALUED NONMONOTONIC FORMALISMS AND SEMANTICS OF LOGIC PROGRAMS
    PRZYMUSINSKI, T
    ARTIFICIAL INTELLIGENCE, 1991, 49 (1-3) : 309 - 343
  • [45] A four-valued fuzzy propositional logic
    Straccia, U
    IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 128 - 133
  • [46] Logic Programs under Three-Valued Lukasiewicz Semantics
    Hoelldobler, Steffen
    Ramli, Carroline Dewi Puspa Kencana
    LOGIC PROGRAMMING, 2009, 5649 : 464 - 478
  • [47] An algebraic semantics for possibilistic finite-valued Lukasiewicz logic
    Busaniche, M.
    Cordero, P.
    Marcos, M.
    Rodriguez, R. O.
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2023, 159
  • [48] Declarative semantics of programming in residuated lattice-valued logic
    Ying, MS
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 2000, 43 (05): : 481 - 494
  • [49] A Default Logic Patch for Default Logic
    Besnard, Philippe
    Gregoire, Eric
    Ramon, Sebastien
    SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2009, 5590 : 578 - +
  • [50] Test input generation of bitwise operation based on four-valued logic
    Li F.
    Wang Y.
    Gong Y.
    Li, Feng (643581556@qq.com), 2018, Taylor and Francis Ltd. (40) : 1 - 8
12345