Credulous and autoepistemic reasoning using ordered logic

被引：0
|
作者：
Geerts, P.
Vermeir, D.
机构：
来源：
Logic Programming and Non-monotonic Reasoning - Proceedings | 1991年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Founded World Views with Autoepistemic Equilibrium Logic
    Cabalar, Pedro
    Fandinno, Jorge
    del Cerro Luis, Farinas
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2019, 2019, 11481 : 134 - 147
  • [42] Credulous Acceptability, Poison Games and Modal Logic
    Grossi, Davide
    Rey, Simon
    AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 1994 - 1996
  • [43] ALL I KNOW - A STUDY IN AUTOEPISTEMIC LOGIC
    LEVESQUE, HJ
    ARTIFICIAL INTELLIGENCE, 1990, 42 (2-3) : 263 - 309
  • [44] Default, autoepistemic theories and paraconsistent logic program
    Nakamatsu, K
    Suzuki, A
    ADVANCES IN INTELLIGENT SYSTEMS AND ROBOTICS, 2003, 101 : 18 - 25
  • [45] ON THE EXISTENCE OF FIXPOINTS IN MOORE AUTOEPISTEMIC LOGIC AND THE NONMONOTONIC LOGIC OF MCDERMOTT AND DOYLE
    STARK, RF
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 533 : 354 - 365
  • [46] AUTOEPISTEMIC LOGICS AS A UNIFYING FRAMEWORK FOR THE SEMANTICS OF LOGIC PROGRAMS
    BONATTI, PA
    JOURNAL OF LOGIC PROGRAMMING, 1995, 22 (02): : 91 - 149
  • [47] Autoepistemic logic of first order and its expressive power
    Yuan, Li-Yan, 1600, Kluwer Academic Publishers, Dordrecht, Netherlands (13):
  • [48] ANOTHER VIEW OF AUTOEPISTEMIC LOGIC AND TRUTH MAINTENANCE SYSTEM
    JIANG, YJ
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 520 - 529
  • [49] 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
  • [50] 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)
12345