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 条
  • [1] Four-valued semantics for default logic
    Yue, Anbu
    Ma, Yue
    Lin, Zuoquan
    ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4013 : 195 - 205
  • [2] Restricted Four-Valued Logic for Default Reasoning
    Chen, Chen
    Lin, Zuoquan
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2015, 2015, 9403 : 40 - 52
  • [3] Society semantics for four-valued Lukasiewicz logic
    Bezerra, Edson Vinicius
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (05) : 892 - 911
  • [4] 'Four-valued' semantics for the relevant logic R
    Mares, ED
    JOURNAL OF PHILOSOPHICAL LOGIC, 2004, 33 (03) : 327 - 341
  • [5] “Four-Valued” Semantics for the Relevant Logic R
    Edwin D. Mares
    Journal of Philosophical Logic, 2004, 33 : 327 - 341
  • [6] Four-valued modal logic: Kripke semantics and duality
    Rivieccio, Umberto
    Jung, Achim
    Jansana, Ramon
    JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (01) : 155 - 199
  • [7] Deductive databases in four-valued logic: rule semantics and models
    LAURENT, D. O. M. I. N. I. Q. U. E.
    SPYRATOS, N. I. C. O. L. A. S.
    JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (03) : 536 - 563
  • [8] A PREFERENTIAL MODEL SEMANTICS FOR DEFAULT LOGIC
    VOORBRAAK, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 548 : 344 - 351
  • [9] Topological Semantics for Default Conditional Logic
    Koutras, Costas D.
    Nomikos, Christos
    37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2022, : 897 - 902
  • [10] A Semantics for Concurrent Logic Programming Languages Based on Multiple-Valued Logic
    Ben-Jacob, Marion Glazerman
    INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2012, 3 (10) : 11 - 16
12345