Institutional Repository

Browsing School of Computing by Subject "004.015113"

Browsing School of Computing by Subject "004.015113"

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 ...

Search UnisaIR


Browse

My Account