Narratives in the situation calculus

被引：0
|
作者：
Miller, R.
Shanahan, M.
机构：
来源：
Journal of Logic and Computation | 1994年 / 4卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Goal change in the situation calculus
    Shapiro, Steven
    Lesperance, Yves
    Levesque, Hector J.
    JOURNAL OF LOGIC AND COMPUTATION, 2007, 17 (05) : 983 - 1018
  • [22] Causality and counterfactuals in the situation calculus
    Hopkins, Mark
    Pearl, Judea
    JOURNAL OF LOGIC AND COMPUTATION, 2007, 17 (05) : 939 - 953
  • [23] Hybrid Temporal Situation Calculus
    Batusov, Vitaliy
    De Giacomo, Giuseppe
    Soutchanski, Mikhail
    SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 1162 - 1164
  • [24] On a nonstandard model of situation calculus
    Fusaoka, Akira
    Hiratsuka, Satoshi
    Transactions of the Japanese Society for Artificial Intelligence, 2002, 17 (05) : 557 - 564
  • [25] MAKING SITUATION CALCULUS INDEXICAL
    SUBRAMANIAN, D
    WOODFILL, J
    PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 467 - 474
  • [26] Temporal Reasoning in Bounded Situation Calculus
    De Giacomo, Giuseppe
    2015 22ND INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME), 2015, : 2 - 2
  • [27] The Situation Calculus: A Case for Modal Logic
    Lakemeyer G.
    Journal of Logic, Language and Information, 2010, 19 (4) : 431 - 450
  • [28] Planning with natural actions in the situation calculus
    Pirri, F
    Reiter, R
    LOGIC-BASED ARTIFICIAL INTELLIGENCE, 2000, 597 : 213 - 231
  • [29] Ability and Knowing How in the Situation Calculus
    Lespérance Y.
    Levesque H.J.
    Fangzhen L.I.N.
    Scherl R.B.
    Studia Logica, 2000, 66 (1) : 165 - 186
  • [30] Task Modelling Using Situation Calculus
    Randles, Martin
    England, David
    Taleb-Bendiab, A.
    TASK MODELS AND DIAGRAMS FOR USER INTERFACE DESIGN, 2010, 5963 : 103 - 116
12345