Provably correct theories of action

被引：0
|
作者：
Univ of Toronto, Toronto, Canada [1 ]
机构：
来源：
J Assoc Comput Mach | / 2卷 / 293-320期
关键词：
All Open Access; Bronze;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computation theory
引用
收藏
相关论文
共 50 条
  • [1] PROVABLY CORRECT THEORIES OF ACTION
    LIN, FZ
    SHOHAM, Y
    JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY, 1995, 42 (02): : 293 - 320
  • [2] Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories
    Audemard, Gilles
    Lagniezi, Jean-Marie
    Marquis, Pierre
    Szczepanskil, Nicolas
    PROCEEDINGS OF THE THIRTY-THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2024, 2024, : 3688 - 3696
  • [3] A PROVABLY CORRECT COMPILER GENERATOR
    PALSBERG, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 582 : 418 - 434
  • [4] PROVABLY CORRECT CRITICAL PATHS
    MCGEER, PC
    BRAYTON, RK
    ADVANCED RESEARCH IN VLSI : PROCEEDINGS OF THE DECENNIAL CALTECH CONFERENCE ON VLSI, 1989, : 119 - 142
  • [5] Provably correct runtime monitoring
    School of Computer Science and Communication, KTH, Sweden
    不详
    J. Logic. Algebraic Program., 1600, 5 (304-339):
  • [6] Provably correct runtime monitoring
    Aktug, Irem
    Dam, Mads
    Gurov, Dilian
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (05): : 304 - 339
  • [7] Provably Correct Implementations of Services
    Bruni, Roberto
    De Nicola, Rocco
    Loreti, Michele
    Mezzina, Leonardo Gaetano
    TRUSTWORTHY GLOBAL COMPUTING, 2009, 5474 : 69 - +
  • [8] DISCONTINUITIES OF PROVABLY CORRECT OPERATORS ON THE PROVABLY RECURSIVE REAL NUMBERS
    COLLINS, WJ
    YOUNG, P
    JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) : 913 - 920
  • [9] Design of provably correct storage arrays
    Joshi, RV
    Hwang, W
    Kuehlmann, A
    VLSI DESIGN 2001: FOURTEENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, 2001, : 196 - 201
  • [10] Provably correct implementation of the AbC calculus
    Nicola, Rocco De
    Duong, Tan
    Loreti, Michele
    SCIENCE OF COMPUTER PROGRAMMING, 2021, 202
12345