学术探索
学术期刊
新闻热点
数据分析
智能评审

CONSTRAINTS - A LANGUAGE FOR EXPRESSING ALMOST HIERARCHICAL DESCRIPTIONS

被引：145
作者：
SUSSMAN, GJ
STEELE, GL
机构：
来源：
ARTIFICIAL INTELLIGENCE | 1980年 / 14卷 / 01期
关键词：
D O I：
10.1016/0004-3702(80)90032-6
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：1 / 39
页数：39
相关论文
共 53 条
  • [1] BORNING A, 1977, 5TH P IT JOINT C ART, P497
  • [2] BROWN AL, 1975, THESIS MIT CAMBRIDGE
  • [3] BROWN AL, 1977, MIT362 AI LAB TECHN
  • [4] BROWN R, 1978, THESIS MIT CAMBRIDGE
  • [5] Church A., 1941, ANN MATH STUDIES
  • [6] Dahl O. - J., 1972, STRUCTURED PROGRAMMI
  • [7] DAVIS R, 1976, AIM283 AI LAB MEM
  • [8] DEKLEER J, 1976, MIT394 AI LAB MEM
  • [9] DEKLEER J, 1978, MIT485 AI LAB MEM
  • [10] Dijkstra E. W., 1970, SOFTWARE ENGINEERING
123456