A family tree of circumscriptive logics

dc.contributor.author	Halland, KJ
dc.contributor.author	Labuschagne, W.A.
dc.date.accessioned	2018-05-30T13:18:36Z
dc.date.available	2018-05-30T13:18:36Z
dc.date.issued	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.identifier.uri	http://hdl.handle.net/10500/24171
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