Credulous and autoepistemic reasoning using ordered logic

被引：0
|
作者：
Geerts, P.
Vermeir, D.
机构：
来源：
Logic Programming and Non-monotonic Reasoning - Proceedings | 1991年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] The Complexity of Reasoning for Fragments of Autoepistemic Logic
    Creignou, Nadia
    Meier, Arne
    Vollmer, Heribert
    Thomas, Michael
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 13 (02)
  • [2] Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning
    Niemelae, I.
    Bulletin of the European Association for Theoretical Computer Science, 1994, (53):
  • [3] AN AUTOEPISTEMIC ANALYSIS OF META-LEVEL REASONING IN LOGIC PROGRAMMING
    KONOLIGE, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 649 : 26 - 48
  • [4] AUTOEPISTEMIC LOGIC
    MAREK, W
    TRUSZCZYNSKI, M
    JOURNAL OF THE ACM, 1991, 38 (03) : 588 - 619
  • [5] Generalized default logic: Minimal knowledge, autoepistemic and default reasoning reconciled
    Nardi, D
    Rosati, R
    AI(ASTERISK)IA 99: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1792 : 1 - 12
  • [6] Programming in autoepistemic logic
    1600, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (02):
  • [7] Intuitionistic autoepistemic logic
    Amati G.
    Carlucci-Aiello L.
    Pirri F.
    Studia Logica, 1997, 59 (1) : 103 - 120
  • [8] AUTOEPISTEMIC LOGIC REVISITED
    MOORE, RC
    ARTIFICIAL INTELLIGENCE, 1993, 59 (1-2) : 27 - 30
  • [9] DYNAMIC AUTOEPISTEMIC LOGIC
    KUO, K
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 530 - 539
  • [10] AUTOEPISTEMIC LOGIC PROGRAMMING
    BONATTI, PA
    JOURNAL OF AUTOMATED REASONING, 1994, 13 (01) : 35 - 67
12345