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 条
  • [1] A note on knowledge-based programs and specifications
    Halpern, JY
    DISTRIBUTED COMPUTING, 2000, 13 (03) : 145 - 153
  • [2] KNOWLEDGE-BASED SOFTWARE TURNS SPECIFICATIONS INTO EFFICIENT PROGRAMS
    ROCKMORE, AJ
    ELECTRONIC DESIGN, 1985, 33 (17) : 105 - &
  • [3] KNOWLEDGE-BASED SOFTWARE TURNS SPECIFICATIONS INTO EFFICIENT PROGRAMS.
    Rockmore, A.Joseph
    1985, (33)
  • [4] Knowledge-based programs
    Ronald Fagin
    Joseph Y. Halpern
    Yoram Moses
    Moshe Y. Vardi
    Distributed Computing, 1997, 10 : 199 - 225
  • [5] Knowledge-based programs
    Fagin, R
    Halpern, JY
    Moses, Y
    Vardi, MY
    DISTRIBUTED COMPUTING, 1997, 10 (04) : 199 - 225
  • [6] TOWARD KNOWLEDGE-BASED SPECIFICATIONS OF LANGUAGES
    MERISTE, M
    PENJAM, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 502 : 65 - 76
  • [7] Interpreting Knowledge-based Programs
    Knapp, Alexander
    Muehlberger, Heribert
    Reus, Bernhard
    PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, 2023, 13990 : 253 - 280
  • [8] 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
  • [9] Probabilistic Knowledge-Based Programs
    Lang, Jerome
    Zanuttini, Bruno
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1594 - 1600
  • [10] Implementing knowledge-based programs
    Vardi, MY
    THEORETICAL ASPECTS OF RATIONALITY AND KNOWLEDGE, 1996, : 15 - 30
12345