UnisaIR Repository

Browsing by Advisor "Labuschagne, Willem"

Browsing by Advisor "Labuschagne, Willem"

Sort by: Order: Results:

  • Halland, Kenneth John (1994-08)
    We show how the non-monotonic nature of common-sense reasoning can be formalised by circumscription. Various forms of circumscription are discussed. A new form of circumscription, namely naive circumscription, is introduced ...
  • Van der Westhuizen, Petra Laura (2007-02)
    In this thesis, a particular class of agent is singled out for examination. In order to provide a guiding metaphor, we speak of control room agents. Our focus is on rational decision- making by such agents, where the ...
  • Hörne, Tertia (1999-09)
    We consider a number of temporal logics, some interval-based and some instant-based, and the choices that have to be made if we need to construct a computational framework for such a logic. We consider the axiomatisation ...

Search UnisaIR


My Account