Research noteCircumscribing with sets
References (14)
The mathematics of non-monotomic reasoning
Artificial Intelligence
(1980)Languages with self-reference I
Artificial Intelligence
(1985)- et al.
Completeness results for circumscription
Artificial Intelligence
(1986) Zur Axiomatik der Mengenlehre
Math. Ann.
(1956)- et al.
On the adequacy of predicate circumscription for closed-world reasoning
Comput. Intell.
(1985) Natural deduction based set theories
J. Symbolic Logic
(1986)Another failure of completeness for circumscription
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 1987 Published by Elsevier B.V.