Switch to: References

Add citations

You must login to add citations.
  1. Epistemic planning: Perspectives on the special issue.Vaishak Belle, Thomas Bolander, Andreas Herzig & Bernhard Nebel - 2023 - Artificial Intelligence 316 (C):103842.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Epistemic logic.Vincent Hendricks - 2008 - Stanford Encyclopedia of Philosophy.
    Epistemic logic is the logic of knowledge and belief. It provides insight into the properties of individual knowers, has provided a means to model complicated scenarios involving groups of knowers and has improved our understanding of the dynamics of inquiry.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness.Gennady Shtakser - 2023 - Logica Universalis 17 (3):297-330.
    The optimal balance between decidability and expressiveness is a big problem of logical systems, in particular, of quantified epistemic logics (QELs). On the one hand, decidability is a very significant characteristic of logics that allows us to use such logics in the framework of artificial intelligence. On the other hand, QELs have important expressive capabilities that should not be lost when we construct decidable fragments of these logics. QELs are known to be much more expressive than first-order logics. One important (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A lightweight epistemic logic and its application to planning.Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin & Pierre Régnier - 2021 - Artificial Intelligence 298 (C):103437.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Quantifier-free epistemic term-modal logic with assignment operator.Yanjing Wang, Yu Wei & Jeremy Seligman - 2022 - Annals of Pure and Applied Logic 173 (3):103071.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Erratum to “Dynamic term-modal logics for first-order epistemic planning” [Artif. Intell. 286 (2020) 103305].Andrés Occhipinti Liberman, Andreas Achen & Rasmus Kræmmer Rendsvig - 2023 - Artificial Intelligence 323 (C):103969.
    Download  
     
    Export citation  
     
    Bookmark