Narratives in the situation calculus

被引：0
|
作者：
Miller, R.
Shanahan, M.
机构：
来源：
Journal of Logic and Computation | 1994年 / 4卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Representing the process semantics in the situation calculus
    Li, CP
    ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, PT 1, PROCEEDINGS, 2005, 3641 : 591 - 600
  • [32] Scheduling in the situation calculus: A case study
    Reiter, R
    Yuhua, Z
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 21 (2-4) : 397 - 421
  • [33] Applying situation calculus to neural modeling
    Chen, Ning
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2007, 14 : 179 - 181
  • [34] Situation Calculus as Answer Set Programming
    Lee, Joohyung
    Palla, Ravi
    PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 309 - 314
  • [35] Situation calculus on a dense flow of time
    Fusaoka, A
    PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, 1996, : 633 - 638
  • [36] Situation Calculus Game Structures and GDL
    De Giacomo, Giuseppe
    Lesperance, Yves
    Pearce, Adrian R.
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 408 - 416
  • [37] Sensor fusion in the epistemic situation calculus
    Schwering, Christoph
    Niemueller, Tim
    Lakemeyer, Gerhard
    Abdo, Nichola
    Burgard, Wolfram
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2016, 28 (05) : 871 - 887
  • [38] NONMONOTONIC REASONING IN THE FRAMEWORK OF SITUATION CALCULUS
    BAKER, AB
    ARTIFICIAL INTELLIGENCE, 1991, 49 (1-3) : 5 - 23
  • [39] Semantics for a useful fragment of the situation calculus
    Lakemeyer, Gerhard
    Levesque, Hector J.
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 490 - 496
  • [40] Iterated belief change in the situation calculus
    Shapiro, Steven
    Pagnucco, Maurice
    Lesperance, Yves
    Levesque, Hector J.
    ARTIFICIAL INTELLIGENCE, 2011, 175 (01) : 165 - 192
12345