PROCEDURES IN HORN-CLAUSE PROGRAMMING

被引：0

|

作者：

ABDALLAH, MAN

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 225卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：433 / 447

页数：15

相关论文

共 50 条

[1] TOWARD INTEGRATION OF THE IMPERATIVE AND LOGIC PROGRAMMING PARADIGMS - HORN-CLAUSE PROGRAMMING IN THE PASCAL ENVIRONMENT
RADENSKY, A
[J]. SIGPLAN NOTICES, 1990, 25 (02): : 25 - 34
[2] STORING AND EVALUATING HORN-CLAUSE RULES IN A RELATIONAL DATABASE
BOAS, GV
BOAS, PV
[J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1986, 30 (01) : 80 - 92
[3] ON BOUNDED DATABASE SCHEMES AND BOUNDED HORN-CLAUSE PROGRAMS
SAGIV, Y
[J]. SIAM JOURNAL ON COMPUTING, 1988, 17 (01) : 1 - 22
[4] AUTOMATED REFINEMENT OF FIRST-ORDER HORN-CLAUSE DOMAIN THEORIES
RICHARDS, BL
MOONEY, RJ
[J]. MACHINE LEARNING, 1995, 19 (02) : 95 - 131
[5] StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification
Junaid, Mohsin
Ming, Jiang
Kung, David
[J]. 34TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2018), 2018, : 198 - 209
[6] Non-Horn clause logic programming
Nie, XM
[J]. ARTIFICIAL INTELLIGENCE, 1997, 92 (1-2) : 243 - 258
[7] Automated proofs of horn-clause inductive theo-rems for conditional term rewriting systems
Kurita, Taichi
Aoto, Takahito
[J]. Computer Software, 2019, 36 (02) : 61 - 75
[8] Compiling horn-clause rules in IBM's business system 12 an early experiment in declarativeness
Boas-Lubsen, GV
Boas, PV
[J]. SOFSEM'98: THEORY AND PRACTICE OF INFORMATICS, 1998, 1521 : 68 - 88
[9] On the Complexities of Non-Horn Clause Logic Programming
聂旭民
[J]. Journal of Computer Science & Technology, 1992, (02) : 114 - 122
[10] An Implementation of Pure Horn Clause Logic Programming in a Reduction System
许满武
[J]. Journal of Computer Science & Technology, 1993, (03) : 243 - 251

← 1 2 3 4 5 →