A note on knowledge-based programs and specifications

被引：0
|
作者：
Joseph Y. Halpern
机构：
[1] Computer Science Department,
[2] Cornell University,undefined
[3] Ithaca,undefined
[4] NY 14853,undefined
[5] USA (e-mail: halpern@cs.cornell.edu,undefined
[6] http://www.cs.cornell.edu/home/halpern) ,undefined
来源：
Distributed Computing | 2000年 / 13卷
关键词：
General Class; Monotonicity Property; Standard Program; Explicit Test; Counterintuitive Property;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：145 / 153
页数：8
相关论文
共 50 条
  • [31] Knowledge-based automatic performance analysis of parallel programs
    Espinosa, A
    Margalef, T
    Luque, E
    PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 697 - 700
  • [32] Knowledge-Based Programs as Plans - The Complexity of Plan Verification
    Lang, Jerome
    Zanuttini, Bruno
    20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 504 - +
  • [33] Knowledge-Based Programs with Defaults in a Modal Situation Calculus
    Classen, Jens
    Neuss, Malte
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1309 - 1317
  • [34] A knowledge-based performance tuning tool for parallel programs
    Li, KC
    Zhang, K
    1996 IEEE SECOND INTERNATIONAL CONFERENCE ON ALGORITHMS & ARCHITECTURES FOR PARALLEL PROCESSING, ICA3PP'96, PROCEEDINGS OF, 1996, : 287 - 294
  • [35] A KNOWLEDGE-BASED APPROACH TO SUPPORTING THE USE OF SIMULATION PROGRAMS
    GOODYEAR, P
    COMPUTERS & EDUCATION, 1991, 16 (01) : 99 - 103
  • [36] Knowledge-Based Approach in Research Projects and Programs Evaluation
    Bodea, Constanta-Nicoleta
    Ciobotar, Narcisa
    Bodea, Vasile
    ORGANIZATIONAL, BUSINESS, AND TECHNOLOGICAL ASPECTS OF THE KNOWLEDGE SOCIETY PT II, 2010, 112 : 326 - 335
  • [37] A KNOWLEDGE-BASED APPROACH TO GENERATING TARGET SYSTEM SPECIFICATIONS FROM A DOMAIN MODEL
    GOMAA, H
    KERSCHBERG, L
    SUGUMARAN, V
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 252 - 258
  • [38] Knowledge-Based Response Correction and Adaptive Design Specifications for Microwave Design Optimization
    Koziel, Slawomir
    Ogurtsov, Stanislav
    Leifsson, Leifur
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, ICCS 2012, 2012, 9 : 764 - 773
  • [39] Knowledge-based system for computer-aided production of measuring instrument specifications
    Cook, Stephen C.
    Measurement: Journal of the International Measurement Confederation, 1993, 11 (03): : 235 - 255
  • [40] Verification of Knowledge-Based Programs over Description Logic Actions
    Zarriess, Benjamin
    Classen, Jens
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 3278 - 3284
12345