Temporal Reasoning in Bounded Situation Calculus

被引：0
|
作者：
De Giacomo, Giuseppe [1 ]
机构：
[1] Univ Roma La Sapienza, Rome, Italy
来源：
2015 22ND INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME) | 2015年
关键词：
PROGRAMMING LANGUAGE;
D O I：
10.1109/TIME.2015.20
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：2 / 2
页数：1
相关论文
共 50 条
  • [1] Bounded situation calculus action theories
    De Giacomo, Giuseppe
    Lesperance, Yves
    Patrizi, Fabio
    [J]. ARTIFICIAL INTELLIGENCE, 2016, 237 : 172 - 203
  • [2] NONMONOTONIC REASONING IN THE FRAMEWORK OF SITUATION CALCULUS
    BAKER, AB
    [J]. ARTIFICIAL INTELLIGENCE, 1991, 49 (1-3) : 5 - 23
  • [3] Decidable Reasoning in a Modified Situation Calculus
    Gu, Yilan
    Soutchanski, Mikhail
    [J]. 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 1891 - 1897
  • [4] REASONING ABOUT TIME IN THE SITUATION CALCULUS
    PINTO, J
    REITER, R
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (2-4) : 251 - 268
  • [5] Strategy Representation and Reasoning in the Situation Calculus
    Xiong, Liping
    Liu, Yongmei
    [J]. ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 982 - 990
  • [6] Hybrid Temporal Situation Calculus
    Batusov, Vitaliy
    De Giacomo, Giuseppe
    Soutchanski, Mikhail
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, 11489 : 173 - 185
  • [7] Hybrid Temporal Situation Calculus
    Batusov, Vitaliy
    De Giacomo, Giuseppe
    Soutchanski, Mikhail
    [J]. SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 1162 - 1164
  • [8] Epistemic Reasoning for Machine Ethics with Situation Calculus
    Pagnucco, Maurice
    Rajaratnam, David
    Limarga, Raynaldio
    Nayak, Abhaya
    Song, Yang
    [J]. AIES '21: PROCEEDINGS OF THE 2021 AAAI/ACM CONFERENCE ON AI, ETHICS, AND SOCIETY, 2021, : 814 - 821
  • [9] Decidable Reasoning in a Fragment of the Epistemic Situation Calculus
    Lakemeyer, Gerhard
    Levesque, Hector J.
    [J]. FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 468 - 477
  • [10] Representing and Reasoning about Program in Situation Calculus
    Yang Bo
    Zhang Ming-yi
    Wu Mao-nian
    Xie Gang
    [J]. FOURTH INTERNATIONAL CONFERENCE ON MACHINE VISION (ICMV 2011): COMPUTER VISION AND IMAGE ANALYSIS: PATTERN RECOGNITION AND BASIC TECHNOLOGIES, 2012, 8350
12345