Institutional Repository

Browsing South African Computer Journal 1995(14) by Author "Halland KJ"

Browsing South African Computer Journal 1995(14) by Author "Halland KJ"

Sort by: Order: Results:

  • A family tree of circumscriptive logics 
    Halland, KJ; Labuschagne, W.A. (South African Computer Society (SAICSIT), 1995)
    The relationships between the best-known forms of circumscription are elucidated with the aid of an hypothetical ancestor, which we choose to call naive circumscription.

Search UnisaIR


Browse

My Account