Narratives in the situation calculus

被引：0
|
作者：
Miller, R.
Shanahan, M.
机构：
来源：
Journal of Logic and Computation | 1994年 / 4卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Decidable Reasoning in a Modified Situation Calculus
    Gu, Yilan
    Soutchanski, Mikhail
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 1891 - 1897
  • [42] A description logic based situation calculus
    Gu, Yilan
    Soutchanski, Mikhail
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2010, 58 (1-2) : 3 - 83
  • [43] Situation Calculus Semantics for Actual Causality
    Batusov, Vitaliy
    Soutchanski, Mikhail
    THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, : 1744 - 1752
  • [44] Open world planning in the situation calculus
    Finzi, A
    Pirri, F
    Reiter, R
    SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, : 754 - 760
  • [45] Specifying active databases in the situation calculus
    Bertossi, L
    Pinto, J
    Valdivia, R
    SCCC'98 - XVIII INTERNATIONAL CONFERENCE OF THE CHILEAN SOCIETY OF COMPUTER SCIENCE, PROCEEDINGS, 1998, : 32 - 39
  • [46] Scheduling in the situation calculus: A case study
    Ray Reiter
    Zheng Yuhua
    Annals of Mathematics and Artificial Intelligence, 1997, 21 : 397 - 421
  • [47] REASONING ABOUT TIME IN THE SITUATION CALCULUS
    PINTO, J
    REITER, R
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (2-4) : 251 - 268
  • [48] The Two-Variable Situation Calculus
    Gu, Yilan
    Soutchanski, Mikhail
    STAIRS 2006, 2006, 142 : 144 - +
  • [49] (De)composition of situation calculus theories
    Amir, E
    SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, : 456 - 463
  • [50] Strategy Representation and Reasoning in the Situation Calculus
    Xiong, Liping
    Liu, Yongmei
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 982 - 990
12345