Abduction over 3-valued extended logic programs

被引：0

|

作者：

机构：

来源：

Int J Pressure Vessels Piping | / 2卷 / 29期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[21] COMPUTATIONAL ASPECTS OF 3-VALUED LOGIC
SCHMITT, PH
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 190 - 198
[22] CLOSING FUNCTIONS OF 3-VALUED LOGIC
RVACHOV, VL
TONITSA, VS
SHKLYAROV, LI
DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1976, (06): : 498 - 501
[23] Updating extended logic programs through abduction
Sakama, C
Inoue, K
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 : 147 - 161
[24] 2 OVER 3 - A 2-VALUED LOGIC FOR SOFTWARE SPECIFICATION AND VALIDATION OVER A 3-VALUED PREDICATE CALCULUS
KONIKOWSKA, B
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 520 : 277 - 286
[25] On a Simple 3-valued Modal Language and a 3-valued Logic of 'not-fully-justified' Belief
Koutras, Costa. D.
Nomikos, Christos
Peppas, Pavlos
LOGIC JOURNAL OF THE IGPL, 2008, 16 (06) : 591 - 604
[26] LANGUAGE DELTA WITH WEAK 3-VALUED LOGIC
NEPEIVODA, NN
DOKLADY AKADEMII NAUK SSSR, 1974, 219 (06): : 1325 - 1327
[27] POLYNOMIAL REPRESENTATIONS IN A CLASS OF 3-VALUED LOGIC
TOSHICH, Z
ENGINEERING CYBERNETICS, 1967, (02): : 113 - &
[28] NEGATION AS FAILURE AND INTUITIONISTIC 3-VALUED LOGIC
VAUZEILLES, J
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 535 : 227 - 241
[29] ON SHEFFER SYMMETRIC FUNCTIONS IN 3-VALUED LOGIC
STOJMENOVIC, I
DISCRETE APPLIED MATHEMATICS, 1989, 22 (03) : 267 - 274
[30] GENTZENS TECHNIQUES IN 3-VALUED LOGIC OF LUKASIEWICZ
BECCHIO, D
PABION, JF
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 123 - 124

← 1 2 3 4 5 →