A KRIPKE-LIKE MODEL FOR NEGATION AS FAILURE

被引：0
|
作者：
HARLAND, J
机构：
来源：
LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2 | 1989年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：626 / 642
页数：17
相关论文
共 50 条
  • [1] Kripke completeness of first-order constructive logics with strong negation
    Hasuo, Ichiro
    Kashima, Ryo
    LOGIC JOURNAL OF THE IGPL, 2003, 11 (06) : 615 - 646
  • [2] EMBEDDING NEGATION AS FAILURE INTO A MODEL GENERATION THEOREM PROVER
    INOUE, K
    KOSHIMURA, M
    HASEGAWA, R
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 400 - 415
  • [3] Negation as failure in the head
    Inoue, K
    Sakama, C
    JOURNAL OF LOGIC PROGRAMMING, 1998, 35 (01): : 39 - 78
  • [4] Order and negation as failure
    Van Nieuwenborgh, D
    Vermeir, D
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 194 - 208
  • [5] Negation as failure as resolution
    Chandru V.
    Roy S.
    Subrahmanyam R.
    Constraints, 1998, 3 (4) : 315 - 329
  • [6] THE CONSISTENCY OF NEGATION AS FAILURE
    FLANNAGAN, T
    JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (02): : 93 - 114
  • [7] MINIMAL BELIEF AND NEGATION AS FAILURE
    LIFSCHITZ, V
    ARTIFICIAL INTELLIGENCE, 1994, 70 (1-2) : 53 - 72
  • [8] Negation as finite failure is paraconsistent
    Mascellani, P
    IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, 2001, : 874 - 880
  • [9] Negation as failure through a network
    Iriya, K
    Yamasaki, S
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2004, E87D (05) : 1200 - 1207
  • [10] FAIL SUBSTITUTIONS FOR NEGATION AS FAILURE
    MALUSZYNSKI, J
    NASLUND, T
    LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 461 - 477
12345