Abduction over 3-valued extended logic programs

被引：0
|
作者：
机构：
来源：
Int J Pressure Vessels Piping | / 2卷 / 29期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] SOME MODAL LOGICS BASED ON A 3-VALUED LOGIC
    SEGERBERG, K
    THEORIA, 1967, 33 : 53 - 71
  • [42] RETURN OF LIAR - 3-VALUED LOGIC AND CONCEPT OF TRUTH
    SKYRMS, B
    AMERICAN PHILOSOPHICAL QUARTERLY, 1970, 7 (02) : 153 - 161
  • [43] APPLICATION OF 3-VALUED LOGIC FOR DISTRIBUTED TERMINATION DETECTION
    KAVIANPOUR, A
    BAGHERZADEH, N
    COMPUTERS & ELECTRICAL ENGINEERING, 1991, 17 (02) : 65 - 74
  • [44] 3-VALUED FORMALIZATIONS OF NONMONOTONIC REASONING AND LOGIC PROGRAMMING
    PRZYMUSINSKI, TC
    PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 341 - 348
  • [45] SET OF PRIME CLOSING FUNCTIONS OF 3-VALUED LOGIC
    RVACHEV, VL
    TONITSA, VS
    SHKLYAROV, LI
    DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1979, (02): : 89 - 94
  • [46] Static program analysis via 3-valued logic
    Reps, T
    STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 1 - 1
  • [47] Consistency-based abduction with extended disjunctive logic programs
    王克文
    陈火旺
    吴泉源
    Science in China(Series E:Technological Sciences), 1997, (06) : 574 - 582
  • [48] Consistency-based abduction with extended disjunctive logic programs
    Kewen Wang
    Huowang Chen
    Quanyuan Wu
    Science in China Series E: Technological Sciences, 1997, 40 : 574 - 582
  • [49] Consistency-based abduction with extended disjunctive logic programs
    Wang, KW
    Chen, HW
    Wu, QY
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1997, 40 (06): : 574 - 582
  • [50] Consistency-based abduction with extended disjunctive logic programs
    Wang, Kewen
    Chen, Huowang
    Wu, Quanyuan
    Science in China, Series E: Technological Sciences, 40 (06): : 3 - 582
12345