Switch to: Citations

Add references

You must login to add references.
  1. Dynamic Update with Probabilities.Johan van Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67 - 96.
    Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • (2 other versions)Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
    Download  
     
    Export citation  
     
    Bookmark   447 citations  
  • An analysis of first-order logics of probability.Joseph Y. Halpern - 1990 - Artificial Intelligence 46 (3):311-350.
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • Knowledge, action, and the frame problem.Richard B. Scherl & Hector J. Levesque - 2003 - Artificial Intelligence 144 (1-2):1-39.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Experiences with an interactive museum tour-guide robot.Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner & Sebastian Thrun - 1999 - Artificial Intelligence 114 (1-2):3-55.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Reasoning about noisy sensors and effectors in the situation calculus.Fahiem Bacchus, Joseph Y. Halpern & Hector J. Levesque - 1999 - Artificial Intelligence 111 (1-2):171-208.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • An algorithm for probabilistic planning.Nicholas Kushmerick, Steve Hanks & Daniel S. Weld - 1995 - Artificial Intelligence 76 (1-2):239-286.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Asynchronous knowledge with hidden actions in the situation calculus.Ryan F. Kelly & Adrian R. Pearce - 2015 - Artificial Intelligence 221 (C):1-35.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • How to progress a database.Fangzhen Lin & Ray Reiter - 1997 - Artificial Intelligence 92 (1-2):131-167.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Dynamic Update with Probabilities.Johan Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67-96.
    Current dynamic-epistemic logics model different types of information change in multi-agent scenarios. We generalize these logics to a probabilistic setting, obtaining a calculus for multi-agent update with three natural slots: prior probability on states, occurrence probabilities in the relevant process taking place, and observation probabilities of events. To match this update mechanism, we present a complete dynamic logic of information change with a probabilistic character. The completeness proof follows a compositional methodology that applies to a much larger class of dynamic-probabilistic (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations