KNOWLEDGE-BASED PROGRAMMING ENVIRONMENTS

被引：3

作者：

TYUGU, E

机构：

[1] Institute of Cybernetics, Estonian Academy of Sciences, Tallinn, 200108 Estonia

来源：

KNOWLEDGE-BASED SYSTEMS | 1991年 / 4卷 / 01期

关键词：

KNOWLEDGE BASES; PROGRAMMING ENVIRONMENTS; PROGRAM SYNTHESIS; DECLARATIVE PROGRAMMING;

D O I：

10.1016/0950-7051(91)90041-Y

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This is a survey presented at the International Joint Conference on AI (IJCAI-89) in Detroit on Soviet work in the field of knowledge-based programming. It considers work which started in the 1970s as automatic programming projects with a goal to find new ways of program construction and, particularly, the work on computational models and problem solving. The structural program synthesis and conceptual programming technique developed in this framework were later used in the new generation computer project, START.

引用

页码：4 / 15

页数：12

共 50 条

[1] KNOWLEDGE-BASED SIMULATION PROGRAMMING
NIELSEN, NR
[J]. AFIPS CONFERENCE PROCEEDINGS, 1986, 55 : 125 - &
[2] Knowledge-based asynchronous programming
de Haan, HW
Hesselink, WH
de Lavalette, GRR
[J]. FUNDAMENTA INFORMATICAE, 2004, 63 (2-3) : 259 - 281
[3] Knowledge-based linear programming
Mangasarian, OL
[J]. SIAM JOURNAL ON OPTIMIZATION, 2005, 15 (02) : 375 - 382
[4] Knowledge-Based Composable Inductive Programming
McDaid, Edward
McDaid, Sarah
[J]. ARTIFICIAL INTELLIGENCE XXXVIII, 2021, 13101 : 152 - 157
[5] MICROSCOPE - A KNOWLEDGE-BASED PROGRAMMING ENVIRONMENT
AMBRAS, J
ODAY, V
[J]. IEEE SOFTWARE, 1988, 5 (03) : 50 - 58
[6] Using counterfactuals in knowledge-based programming
Halpern, JY
Moses, Y
[J]. DISTRIBUTED COMPUTING, 2004, 17 (02) : 91 - 106
[7] Using counterfactuals in knowledge-based programming
Joseph Y. Halpern
Yoram Moses
[J]. Distributed Computing, 2004, 17 : 91 - 106
[8] EXPERIMENT IN KNOWLEDGE-BASED AUTOMATIC PROGRAMMING
BARSTOW, DR
[J]. ARTIFICIAL INTELLIGENCE, 1979, 12 (02) : 73 - 119
[9] IMPLEMENTATION OF A KNOWLEDGE-BASED PROGRAMMING ENVIRONMENT
BARGHOUTI, NS
KAISER, GE
[J]. PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : B54 - B63
[10] LANGUAGE AND EXAMPLE OF KNOWLEDGE-BASED PROGRAMMING
TYUGU, E
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 215 : 59 - 72

← 1 2 3 4 5 →