Reasoning about noisy sensors and effectors in the situation calculus

被引：0
|
作者：
Bacchus, Fahlem [1 ]
Halpern, Joseph Y. [2 ]
Levesque, Hector J. [3 ]
机构：
[1] Department of Computer Science, University of Waterloo, Waterloo, Ont. N2L 3G1, Canada
[2] Department of Computer Science, Cornell University, Ithaca, NY, United States
[3] Department of Computer Science, University of Toronto, Toronto, Ont. M5S 3H5, Canada
来源：
Artificial Intelligence | 1999年 / 111卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：171 / 208
相关论文
共 50 条
  • [41] A spatiotemporal calculus for reasoning about land-use trajectories
    Maciel, Adeline Marinho
    Camara, Gilberto
    Vinhas, Lubia
    Araujo Picoli, Michelle Cristina
    Begotti, Rodrigo Anzolin
    Ferreira Gomes de Assis, Luiz Fernando
    INTERNATIONAL JOURNAL OF GEOGRAPHICAL INFORMATION SCIENCE, 2019, 33 (01) : 176 - 192
  • [42] A Generative Dialogue System for Arguing about Plans in Situation Calculus
    Belesiotis, Alexandros
    Rovatsos, Michael
    Rahwan, Iyad
    ARGUMENTATION IN MULTI-AGENT SYSTEMS, 2010, 6057 : 23 - 41
  • [43] π-calculus with noisy channels
    Ying, MS
    ACTA INFORMATICA, 2005, 41 (09) : 525 - 593
  • [44] π-calculus with noisy channels
    Mingsheng Ying
    Acta Informatica, 2005, 41 : 525 - 593
  • [45] Q2 Symbolic Reasoning about Noisy Dynamic Systems
    Stephen P. Linder
    Zbigniew Korona
    Mieczyslaw M. Kokar
    Journal of Intelligent and Robotic Systems, 1999, 24 : 295 - 311
  • [46] Q2 symbolic reasoning about noisy dynamic systems
    Linder, Stephen P.
    Korona, Zbigniew
    Kokar, Mieczyslaw M.
    Journal of Intelligent and Robotic Systems: Theory and Applications, 1999, 24 (03): : 295 - 311
  • [47] Q2 symbolic reasoning about noisy dynamic systems
    Linder, SP
    Korona, Z
    Kokar, MM
    JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 1999, 24 (03) : 295 - 311
  • [48] Reasoning about commitments in the event calculus: An approach for specifying and executing protocols
    Yolum, P
    Singh, MP
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2004, 42 (1-3) : 227 - 253
  • [49] Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic
    Lopes, Bruno
    Nalon, Claudia
    Haeusler, Edward Hermann
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2021, 22 (02)
  • [50] Quantitative Strongest Post A Calculus for Reasoning about the Flow of Quantitative Information
    Zhang, Linpeng
    Kaminski, Benjamin Lucien
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
12345