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 条
  • [31] Reluplex: a calculus for reasoning about deep neural networks
    Katz, Guy
    Barrett, Clark
    Dill, David L.
    Julian, Kyle
    Kochenderfer, Mykel J.
    FORMAL METHODS IN SYSTEM DESIGN, 2022, 60 (01) : 87 - 116
  • [32] Reluplex: a calculus for reasoning about deep neural networks
    Guy Katz
    Clark Barrett
    David L. Dill
    Kyle Julian
    Mykel J. Kochenderfer
    Formal Methods in System Design, 2022, 60 : 87 - 116
  • [33] Reasoning about QoS Contracts in the Probabilistic Duration Calculus
    Guelev, Dimitar P.
    Van Hung, Dang
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 238 (06) : 41 - 62
  • [34] Symbolic calculus for volumetric reasoning about process plans
    Lee, HM
    Scott, J
    Williams, JS
    Cox, D
    AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 1996, 10 (03): : 183 - 198
  • [35] Changing Beliefs about Domain Dynamics in the Situation Calculus
    Klassen, Toryn Q.
    McIlraith, Sheila A.
    Levesque, Hector J.
    KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 572 - 581
  • [36] Reasoning About Threats: From Observables to Situation Assessment
    Burghouts, Gertjan J.
    Marck, Jan-Willem
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2011, 41 (05): : 608 - 616
  • [37] Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus
    Xu, Lili
    TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, 2013, 8358 : 198 - 212
  • [38] A relation calculus for reasoning about t-probing security
    Molteni, Maria Chiara
    Zaccaria, Vittorio
    JOURNAL OF CRYPTOGRAPHIC ENGINEERING, 2022, 12 (01) : 1 - 14
  • [39] A relation calculus for reasoning about t-probing security
    Maria Chiara Molteni
    Vittorio Zaccaria
    Journal of Cryptographic Engineering, 2022, 12 : 1 - 14
  • [40] Applying the mu-calculus in planning and reasoning about action
    Singh, MP
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (03) : 425 - 445
12345