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 条
  • [41] A generalized knowledge-based approach to comprehend Pascal and C programs
    Ueno, H
    KNOWLEDGE-BASED SOFTWARE ENGINEERING, 1998, 48 : 132 - 139
  • [42] Knowledge-based programs as succinct policies for partially observable domains
    Zanuttini, Bruno
    Lang, Jerome
    Saffidine, Abdallah
    Schwarzentruber, Francois
    ARTIFICIAL INTELLIGENCE, 2020, 288
  • [43] VERIFICATION OF REAL-TIME PROGRAMS BY A KNOWLEDGE-BASED STRATEGY
    ZHANG, WI
    LIU, JR
    LI, HT
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 1994, 7 (03) : 289 - 298
  • [44] DEBL - A KNOWLEDGE-BASED LANGUAGE FOR SPECIFYING AND DEBUGGING DISTRIBUTED PROGRAMS
    CHENG, WHS
    WALLENTINE, VE
    COMMUNICATIONS OF THE ACM, 1989, 32 (09) : 1079 - 1084
  • [45] Knowledge-Based Environment Dependency Inference for Python']Python Programs
    Ye, Hongjie
    Chen, Wei
    Dou, Wensheng
    Wu, Guoquan
    Wei, Jun
    2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2022), 2022, : 1245 - 1256
  • [46] A Knowledge-based Formalization of UBL Processes using Hybrid programs
    Bihary, Sidharth
    Roy, Suman
    Sawant, Kiran Prakash
    Han, Tan Zi
    COMPUTE'2012, 2012,
  • [47] Characterizing Solution Concepts in Games Using Knowledge-Based Programs
    Halpern, Joseph Y.
    Moses, Yoram
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 1300 - 1307
  • [48] A generalized knowledge-based approach to comprehend Pascal and C programs
    Ueno, H
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2000, E83D (04) : 591 - 598
  • [49] DESIGN OF KNOWLEDGE-BASED SYSTEMS WITH A KNOWLEDGE-BASED ASSISTANT
    SCHOEN, E
    SMITH, RG
    BUCHANAN, BG
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (12) : 1771 - 1791
  • [50] Borg: A knowledge-based system for automatic generation of image processing programs
    Clouard, R
    Elmoataz, A
    Porquet, C
    Revenu, M
    IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 1999, 21 (02) : 128 - 144
12345