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 条
  • [41] The doubled Jaques and constructions of negation in 'As You Like It' (Shakespeare)
    Marshall, C
    SHAKESPEARE QUARTERLY, 1998, 49 (04) : 375 - 392
  • [42] NEGATION AS FAILURE AND INTUITIONISTIC 3-VALUED LOGIC
    VAUZEILLES, J
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 535 : 227 - 241
  • [43] Semantics of normal goals as acquisitors caused by negation as failure
    Yamasaki, S
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2003, E86D (06) : 993 - 1000
  • [44] A new model for model checking: cycle-weighted Kripke structure
    Jiaqi Zhu
    Hanpin Wang
    Zhongyuan Xu
    Chunxiang Xu
    Frontiers of Computer Science in China, 2010, 4 : 78 - 88
  • [45] SOME MODEL THEORY OF GUARDED NEGATION
    Barany, Vince
    Benedikt, Michael
    Ten Cate, Balder
    JOURNAL OF SYMBOLIC LOGIC, 2018, 83 (04) : 1307 - 1344
  • [46] A new model for model checking: cycle-weighted Kripke structure
    Zhu, Jiaqi
    Wang, Hanpin
    Xu, Zhongyuan
    Xu, Chunxiang
    FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2010, 4 (01): : 78 - 88
  • [47] A step-indexed Kripke model of hidden state
    Schwinghammer, Jan
    Birkedal, Lars
    Pottier, Francois
    Reus, Bernhard
    Stovring, Kristian
    Yang, Hongseok
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2013, 23 (01) : 1 - 54
  • [48] Defeasible logic versus Logic Programming without Negation as Failure
    Antoniou, G
    Maher, MJ
    Billington, D
    JOURNAL OF LOGIC PROGRAMMING, 2000, 42 (01): : 47 - 57
  • [49] Minimal Belief and Negation as Failure in Multi-Agent Systems
    Riccardo Rosati
    Annals of Mathematics and Artificial Intelligence, 2003, 37 : 5 - 32
  • [50] NEGATION AS FAILURE USING TIGHT DERIVATIONS FOR GENERAL LOGIC PROGRAMS
    VANGELDER, A
    JOURNAL OF LOGIC PROGRAMMING, 1989, 6 (1-2): : 109 - 133
12345