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 条
  • [21] GENERAL LOGICAL DATABASES AND PROGRAMS - DEFAULT LOGIC SEMANTICS AND STRATIFICATION
    BIDOIT, N
    FROIDEVAUX, C
    INFORMATION AND COMPUTATION, 1991, 91 (01) : 15 - 54
  • [22] On Scott's semantics for many-valued logic
    Niki, Satoru
    Schuster, Peter
    JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (06) : 1291 - 1302
  • [23] Fixpoint 3-valued semantics for autoepistemic logic
    Denecker, M
    Marek, V
    Truszczynski, M
    FIFTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-98) AND TENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICAL INTELLIGENCE (IAAI-98) - PROCEEDINGS, 1998, : 840 - 845
  • [24] An infinite-valued semantics for logic programs with negation
    Rondogiannis, P
    Wadge, WW
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 456 - 467
  • [25] 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
  • [26] Many-valued logic: beyond algebraic semantics
    Stefano Aguzzoli
    Brunella Gerla
    Vincenzo Marra
    Soft Computing, 2012, 16 : 1815 - 1816
  • [27] Many-valued logic: beyond algebraic semantics
    Aguzzoli, Stefano
    Gerla, Brunella
    Marra, Vincenzo
    SOFT COMPUTING, 2012, 16 (11) : 1815 - 1816
  • [28] Equilibrium Semantics for IF Logic and Many-Valued Connectives
    Fermueller, Christian G.
    Majer, Ondrej
    LOGIC, LANGUAGE, AND COMPUTATION (TBILLC 2015), 2017, 10148 : 290 - 312
  • [29] Graded method of lattice-valued logic based on MV-algebra semantics
    Zuo, W.-B. (zuoweibing@ncwu.edu.cn), 1600, Chinese Institute of Electronics (41):
  • [30] The representation of gappy sentences in four-valued semantics
    Martinez-Fernandez, Jose
    Marti, Genoveva
    SEMIOTICA, 2021, (240) : 145 - 163
12345