Abduction over 3-valued extended logic programs

被引：0
|
作者：
机构：
来源：
Int J Pressure Vessels Piping | / 2卷 / 29期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] 3-VALUED BROUWER-ZADEH LOGIC
    GIUNTINI, R
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1993, 32 (10) : 1875 - 1887
  • [32] 3-WIRE 3-VALUED LOGIC CIRCUITS
    HARADA, N
    SHIMADA, R
    TAMESADA, T
    ELECTRONICS & COMMUNICATIONS IN JAPAN, 1969, 52 (01): : 120 - &
  • [33] 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
  • [34] Verifying safety properties of concurrent Java']Java programs using 3-valued logic
    Yahav, E
    ACM SIGPLAN NOTICES, 2001, 36 (03) : 27 - 40
  • [35] From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces
    Sato, Taisuke
    Sakama, Chiaki
    Inoue, Katsumi
    ICAART: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2, 2020, : 758 - 765
  • [36] Static program analysis via 3-valued logic
    Reps, TW
    Sagiv, M
    Wilheim, R
    COMPUTER AIDED VERIFICATION, 2004, 3114 : 15 - 30
  • [37] Parametric shape analysis via 3-valued logic
    Sagiv, M
    Reps, T
    Wilhelm, R
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2002, 24 (03): : 217 - 298
  • [38] Stone algebras: 3-valued logic and rough sets
    Arun Kumar
    Shilpi Kumari
    Soft Computing, 2021, 25 : 12685 - 12692
  • [39] A paraconsistent 3-valued logic related to Godel logic G3
    Robles, Gemma
    Mendez, Jose M.
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (04) : 515 - 538
  • [40] Stone algebras: 3-valued logic and rough sets
    Kumar, Arun
    Kumari, Shilpi
    SOFT COMPUTING, 2021, 25 (20) : 12685 - 12692
12345