Generalized Closed World Assumption is II02-Complete
- 28 May 1990
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 34 (6), 289-291
- https://doi.org/10.1016/0020-0190(90)90012-m
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Weak Generalized Closed World AssumptionJournal of Automated Reasoning, 1989
- On the relationship between circumscription and negation as failureArtificial Intelligence, 1989
- Inferring negative information from disjunctive databasesJournal of Automated Reasoning, 1988
- Decidability and definability with circumscriptionAnnals of Pure and Applied Logic, 1987
- Positivism vs minimalism in deductive databasesPublished by Association for Computing Machinery (ACM) ,1985
- Deduction in non-Horn databasesJournal of Automated Reasoning, 1985
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984