Institutional Repository

Browsing Theses and Dissertations (School of Computing) by Subject "006.32"

Browsing Theses and Dissertations (School of Computing) by Subject "006.32"

Sort by: Order: Results:

  • Govender, I. (Irene) (1998-06)
    In this dissertation a formalisation of nonmonotonic reasoning, namely Default logic, is discussed. A proof theory for default logic and a variant of Default logic - Prioritised Default logic - is presented. We also pursue ...
  • Howard, Beverley Robin (1999-12)
    The thesis is written in chapter form. Chapter 1 describes some of the history of neural networks and its place in the field of artificial intelligence. It indicates the biological basis from which neural network ...

Search UnisaIR


Browse

My Account