Institutional Repository

Browsing South African Computer Journal (SACJ) by Subject "Knowledge representation"

Browsing South African Computer Journal (SACJ) by Subject "Knowledge representation"

Sort by: Order: Results:

  • Dynamic deadlock avoidance: a prototype 
    Blewett, CN; Erwin, GJ (South African Computer Society (SAICSIT), 1996)
    In this paper, we describe a prototype of an expert system software advisor for the deadlock treatment of a lock manager in a database system. The software advisor, called EAGLE (External Advisor for Granting Locks ...
  • An information-theoretic semantics for belief change 
    Meyer, TA (South African Computer Society (SAICSIT), 1999)
    Belief change is an interdisciplinary topic and is researched in departments of Computer Science, Artificial Intelligence, Philosophy, Mathematics and Engineering. It is therefore not surprising that there are a variety ...
  • Reasoning about changing information 
    Blackburn, P; Jaspars, J; De Rijke, M (South African Computer Society (SAICSIT), 1997)
    The purpose of these notes is two fold: (i) to give a reasonably self-contained introduction to a particular approach to theory change, known as the Alchourron-Gardenfors-Makinson (AGM) approach, and to discuss some of the ...

Search UnisaIR


Browse

My Account