Switch to: Citations

Add references

You must login to add references.
  1. Foundations of a functional approach to knowledge representation.Hector J. Levesque - 1984 - Artificial Intelligence 23 (2):155-212.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • A guide to completeness and complexity for modal logics of knowledge and belief.Joseph Y. Halpern & Yoram Moses - 1992 - Artificial Intelligence 54 (3):319-379.
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
    Download  
     
    Export citation  
     
    Bookmark   175 citations  
  • Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics.Rosati Riccardo - 1999 - Journal of Logic, Language and Information 8 (2):187-203.
    We study the problem of embedding Halpern and Moses's modal logic of minimal knowledge states into two families of modal formalism for nonmonotonic reasoning, McDermott and Doyle's nonmonotonic modal logics and ground nonmonotonic modal logics. First, we prove that Halpern and Moses's logic can be embedded into all ground logics; moreover, the translation employed allows for establishing a lower bound (3p) for the problem of skeptical reasoning in all ground logics. Then, we show a translation of Halpern and Moses's logic (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Minimal knowledge problem: A new approach.Grigori Schwarz & Mirosław Truszczyński - 1994 - Artificial Intelligence 67 (1):113-141.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • All I know: A study in autoepistemic logic.Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):263-309.
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Minimal belief and negation as failure.Vladimir Lifschitz - 1994 - Artificial Intelligence 70 (1-2):53-72.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Limited reasoning in first-order knowledge bases with full introspection.Gerhard Lakemeyer - 1996 - Artificial Intelligence 84 (1-2):209-255.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Levesque's axiomatization of only knowing is incomplete.Joseph Y. Halpern & Gerhard Lakemeyer - 1995 - Artificial Intelligence 74 (2):381-387.
    Download  
     
    Export citation  
     
    Bookmark   4 citations