Institutional Repository

A family tree of circumscriptive logics

Show simple item record Halland, KJ Labuschagne, W.A. 2018-05-30T13:18:36Z 2018-05-30T13:18:36Z 1995
dc.identifier.citation Halland KJ & Labuschagne WA (1995) A family tree of circumscriptive logics. South African Computer Journal, Number 14, 1995 en
dc.identifier.issn 2313-7835
dc.description.abstract 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. en
dc.language.iso en en
dc.publisher South African Computer Society (SAICSIT) en
dc.subject Circumscription en
dc.subject Nonmonotonic logic en
dc.subject Second-order logic en
dc.title A family tree of circumscriptive logics en
dc.type Article en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UnisaIR


My Account