Switch to: References

Add citations

You must login to add citations.
  1. Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs.Yusuke Kawamoto, Tetsuya Sato & Kohei Suenaga - 2024 - Artificial Intelligence 326 (C):104045.
    Download  
     
    Export citation  
     
    Bookmark  
  • From KLM-style conditionals to defeasible modalities, and back.Katarina Britz & Ivan Varzinczak - 2018 - Journal of Applied Non-Classical Logics 28 (1):92-121.
    We investigate an aspect of defeasibility that has somewhat been overlooked by the non-monotonic reasoning community, namely that of defeasible modes of reasoning. These aim to formalise defeasibility of the traditional notion of necessity in modal logic, in particular of its different readings as action, knowledge and others in specific contexts, rather than defeasibility of conditional forms. Building on an extension of the preferential approach to modal logics, we introduce new modal osperators with which to formalise the notion of defeasible (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Knowledge-based programs as succinct policies for partially observable domains.Bruno Zanuttini, Jérôme Lang, Abdallah Saffidine & François Schwarzentruber - 2020 - Artificial Intelligence 288 (C):103365.
    Download  
     
    Export citation  
     
    Bookmark   3 citations