Abduction over 3-valued extended logic programs

被引：0

|

作者：

机构：

来源：

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

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[1] Abduction over 3-valued extended logic programs
Damasio, CV
Pereira, LM
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 29 - 42
[2] LEGALITY CONCEPTS FOR 3-VALUED LOGIC PROGRAMS
NOTA, G
OREFICE, S
PACINI, G
RUGGIERO, F
TORTORA, G
THEORETICAL COMPUTER SCIENCE, 1993, 120 (01) : 45 - 68
[3] 3-VALUED NONMONOTONIC FORMALISMS AND SEMANTICS OF LOGIC PROGRAMS
PRZYMUSINSKI, T
ARTIFICIAL INTELLIGENCE, 1991, 49 (1-3) : 309 - 343
[4] A 3-VALUED SEMANTICS FOR DEDUCTIVE DATABASES AND LOGIC PROGRAMS
YOU, JH
YUAN, LY
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 49 (02) : 334 - 361
[5] 3-VALUED LOGIC
PUTNAM, H
PHILOSOPHICAL STUDIES, 1957, 8 (05) : 73 - 80
[6] Fast Garbling of Circuits over 3-Valued Logic
Lindell, Yehuda
Yanai, Avishay
PUBLIC-KEY CRYPTOGRAPHY - PKC 2018, PT I, 2018, 10769 : 620 - 643
[7] ARGUMENTS IN 3-VALUED LOGIC
WOODRUFF, PW
JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) : 637 - &
[8] PROGRAMMING IN 3-VALUED LOGIC
DELAHAYE, JP
THIBAU, V
THEORETICAL COMPUTER SCIENCE, 1991, 78 (01) : 189 - 216
[9] TREES FOR A 3-VALUED LOGIC
JOHNSON, F
ANALYSIS, 1984, 44 (01) : 43 - 46
[10] CONSTRUCTIVE 3-VALUED LOGIC
WOODRUFF, PW
JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (01) : 183 - &

← 1 2 3 4 5 →