Now showing items 1-1 of 1

    • On Non-normal Modal Description Logics 

      Dalmonte T; Mazzullo A; Ozaki A (CEUR-WS, 2019)
      Non-normal modal logics based on neighbourhood semantics can be used to formalise normative, epistemic and coalitional reasoning in autonomous and multi-agent systems, since they do not validate principles known to be ...