KNOWLEDGE-BASED SOFTWARE TURNS SPECIFICATIONS INTO EFFICIENT PROGRAMS.

被引：0

作者：

Rockmore, A.Joseph ^{[1
]}

机构：

[1] Reasoning Systems Inc, Palo Alto,, CA, USA, Reasoning Systems Inc, Palo Alto, CA, USA

来源：

| 1985年 / 33期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[1] KNOWLEDGE-BASED SOFTWARE TURNS SPECIFICATIONS INTO EFFICIENT PROGRAMS
ROCKMORE, AJ
ELECTRONIC DESIGN, 1985, 33 (17) : 105 - &
[2] A note on knowledge-based programs and specifications
Halpern, JY
DISTRIBUTED COMPUTING, 2000, 13 (03) : 145 - 153
[3] A note on knowledge-based programs and specifications
Joseph Y. Halpern
Distributed Computing, 2000, 13 : 145 - 153
[4] KBMS - A KNOWLEDGE-BASED SYSTEM FOR MODELING SOFTWARE SYSTEM SPECIFICATIONS
ZEROUAL, K
ROBILLARD, PN
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1992, 4 (03) : 238 - 252
[5] TEMPLAR - A KNOWLEDGE-BASED LANGUAGE FOR SOFTWARE SPECIFICATIONS USING TEMPORAL LOGIC
TUZHILIN, A
ACM TRANSACTIONS ON INFORMATION SYSTEMS, 1995, 13 (03) : 269 - 304
[6] Knowledge-based programs
Ronald Fagin
Joseph Y. Halpern
Yoram Moses
Moshe Y. Vardi
Distributed Computing, 1997, 10 : 199 - 225
[7] Knowledge-based programs
Fagin, R
Halpern, JY
Moses, Y
Vardi, MY
DISTRIBUTED COMPUTING, 1997, 10 (04) : 199 - 225
[8] TOWARD KNOWLEDGE-BASED SPECIFICATIONS OF LANGUAGES
MERISTE, M
PENJAM, J
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 502 : 65 - 76
[9] Interpreting Knowledge-based Programs
Knapp, Alexander
Muehlberger, Heribert
Reus, Bernhard
PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, 2023, 13990 : 253 - 280
[10] Interpreting Knowledge-based Programs
Knapp, Alexander
Mühlberger, Heribert
Reus, Bernhard
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13990 LNCS : 253 - 280

← 1 2 3 4 5 →