AN AUTOEPISTEMIC LOGICAL VIEW OF KNOWLEDGE BASE

被引：0
|
作者：
JIANG, YJ
机构：
来源：
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE //// | 1989年 / 405卷
关键词：
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
引用
下载
收藏
页码：68 / 77
页数：10
相关论文
共 50 条
  • [1] AN AUTOEPISTEMIC LOGICAL VIEW OF KNOWLEDGE BASE
    JIANG, YJ
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 405 : 68 - 77
  • [2] A Logical Framework for Knowledge Base Maintenance
    李未
    Journal of Computer Science & Technology, 1995, (03) : 193 - 205
  • [3] Embedding Nonground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination
    De Bruijn, Jos
    Eiter, Thomas
    Polleres, Axel
    Tompits, Hans
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2011, 12 (03)
  • [4] Autoepistemic logic of knowledge and beliefs
    Przymusinski, TC
    ARTIFICIAL INTELLIGENCE, 1997, 95 (01) : 115 - 154
  • [5] A new logical view of knowledge manipulation with PROLOG
    Jacquenet, F
    Foucherot, I
    ANZIIS 96 - 1996 AUSTRALIAN NEW ZEALAND CONFERENCE ON INTELLIGENT INFORMATION SYSTEMS, PROCEEDINGS, 1996, : 2 - 5
  • [6] A Monotonic View on Reflexive Autoepistemic Reasoning
    Su, Ezgi Iraz
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, 2017, 10377 : 85 - 100
  • [7] LOGICAL TECHNIQUES FOR PINPOINTING INCONSISTENCIES IN THE KNOWLEDGE BASE
    GUMB, MA
    GUMB, RD
    PROCEEDINGS OF THE AMERICAN SOCIETY FOR INFORMATION SCIENCE, 1978, 15 : 150 - 151
  • [8] LOGICAL OPTIMIZATION OF DISTRIBUTED KNOWLEDGE BASE QUERIES
    TAYLOR, MC
    COMPUTER JOURNAL, 1990, 33 (01): : 49 - 60
  • [9] Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination
    de Bruijn, Jos
    Eiter, Thomas
    Polleres, Axel
    Tompits, Hans
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 304 - 309
  • [10] Differentiable Learning of Logical Rules for Knowledge Base Reasoning
    Yang, Fan
    Yang, Zhilin
    Cohen, William W.
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 30 (NIPS 2017), 2017, 30
12345