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   439 citations  
  • Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference.Judea Pearl - 1988 - Morgan Kaufmann.
    The book can also be used as an excellent text for graduate-level courses in AI, operations research, or applied probability.
    Download  
     
    Export citation  
     
    Bookmark   417 citations  
  • (1 other version)Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
    Download  
     
    Export citation  
     
    Bookmark   343 citations  
  • (1 other version)Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.
    Download  
     
    Export citation  
     
    Bookmark   305 citations  
  • Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.
    Download  
     
    Export citation  
     
    Bookmark   691 citations  
  • Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference.J. Pearl, F. Bacchus, P. Spirtes, C. Glymour & R. Scheines - 1988 - Synthese 104 (1):161-176.
    Download  
     
    Export citation  
     
    Bookmark   233 citations  
  • Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems.Raymond Reiter - 2001 - Cambridge: Mass. : MIT Press.
    Specifying and implementing dynamical systems with the situation calculus.
    Download  
     
    Export citation  
     
    Bookmark   44 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  
  • 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  
  • How to progress a database.Fangzhen Lin & Ray Reiter - 1997 - Artificial Intelligence 92 (1-2):131-167.
    Download  
     
    Export citation  
     
    Bookmark   21 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  
  • An analysis of first-order logics of probability.Joseph Y. Halpern - 1990 - Artificial Intelligence 46 (3):311-350.
    Download  
     
    Export citation  
     
    Bookmark   61 citations