Circumscribing with sets
- 28 February 1987
- journal article
- research article
- Published by Elsevier in Artificial Intelligence
- Vol. 31 (2) , 201-211
- https://doi.org/10.1016/0004-3702(87)90020-8
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Natural deduction based set theories: a new resolution of the old paradoxesThe Journal of Symbolic Logic, 1986
- Completeness results for circumscriptionArtificial Intelligence, 1986
- On the satisfiability of circumscriptionArtificial Intelligence, 1986
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Languages with self-reference I: FoundationsArtificial Intelligence, 1985
- On the adequacy of predicate circumscription for closed‐world reasoningComputational Intelligence, 1985
- The mathematics of non-monotonic reasoningArtificial Intelligence, 1980
- Equality and Domain Closure in First-Order DatabasesJournal of the ACM, 1980
- Zur Axiomatik der MengenlehreMathematische Annalen, 1956