The Logic of Incomplete Knowledge Bases
- 1 January 1984
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Equality and Domain Closure in First-Order DatabasesJournal of the ACM, 1980
- NETLPublished by MIT Press ,1979
- On Closed World Data BasesPublished by Springer Nature ,1978
- An Overview of KRL, a Knowledge Representation LanguageCognitive Science, 1977
- Reasoning from Incomplete KnowledgePublished by Defense Technical Information Center (DTIC) ,1975
- A relational model of data for large shared data banksCommunications of the ACM, 1970