Inferring negative information from disjunctive databases
- 1 December 1988
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 4 (4), 397-424
- https://doi.org/10.1007/bf00297247
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- On the Declarative Semantics of Deductive Databases and Logic ProgramsPublished by Elsevier ,1988
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- Negation in Logic ProgrammingPublished by Elsevier ,1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- An amateur's introduction to recursive query processing strategiesPublished by Association for Computing Machinery (ACM) ,1986
- A basis for deductive database systemsThe Journal of Logic Programming, 1985
- The extended closed world assumption and its relationship to parallel circumscriptionPublished by Association for Computing Machinery (ACM) ,1985
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- On Closed World Data BasesPublished by Springer Nature ,1978
- Negation as FailurePublished by Springer Nature ,1978