Narratives in the situation calculus

被引：0
|
作者：
Miller, R.
Shanahan, M.
机构：
来源：
Journal of Logic and Computation | 1994年 / 4卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [11] Only knowing in the situation calculus
    Lakemeyer, G
    PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96), 1996, : 14 - 25
  • [12] Property persistence in the situation calculus
    Kelly, Ryan F.
    Pearce, Adrian R.
    ARTIFICIAL INTELLIGENCE, 2010, 174 (12-13) : 865 - 888
  • [13] Synchronous Games in the Situation Calculus
    De Giacomo, Giuseppe
    Lesperance, Yves
    Pearce, Adrian R.
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 1675 - 1676
  • [14] The Chisholm paradox and the situation calculus
    Demolombe, R
    Pozos-Parra, P
    FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2005, 3488 : 425 - 434
  • [15] Hybrid Temporal Situation Calculus
    Batusov, Vitaliy
    De Giacomo, Giuseppe
    Soutchanski, Mikhail
    ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, 11489 : 173 - 185
  • [16] Property Persistence in the Situation Calculus
    Kelly, Ryan F.
    Pearce, Adrian R.
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 1948 - 1953
  • [17] A situation calculus model of hypertext
    Scherl, R
    Bieber, M
    Vitali, F
    PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL V: MODELING TECHNOLOGIES AND INTELLIGENT SYSTEMS TRACK, 1998, : 205 - 214
  • [18] Determining ramifications in the situation calculus
    Giunchiglia, E
    PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96), 1996, : 76 - 86
  • [19] DESIGN PATTERNS IN SITUATION CALCULUS
    Liu, Qiang
    Yang, Zongyuan
    Zhao, Yefei
    PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGY AND ENGINEERING, 2009, : 244 - 248
  • [20] On procedure recognition in the situation calculus
    Baier, JA
    XXII INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS, 2002, : 33 - 42
12345