Now showing items 1-2 of 2

    • Formalisms for agents reasoning with stochastic actions and perceptions. 

      Rens, Gavin Brian. (2014)
      The thesis reports on the development of a sequence of logics (formal languages based on mathematical logic) to deal with a class of uncertainty that agents may encounter. More accurately, the logics are meant to be used ...
    • Practical reasoning for defeasable description logics. 

      Moodley, Kody. (2016)
      Description Logics (DLs) are a family of logic-based languages for formalising ontologies. They have useful computational properties allowing the development of automated reasoning engines to infer implicit knowledge ...