Verifying local stratifiability of logic programs and databases
- 1 March 1992
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 11 (1) , 23-46
- https://doi.org/10.1007/bf03037526
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- On the Declarative Semantics of Deductive Databases and Logic ProgramsPublished by Elsevier ,1988
- On the Declarative Semantics of Logic Programs with NegationPublished by Elsevier ,1988
- Negation as Failure Using Tight Derivations for General Logic ProgramsPublished by Elsevier ,1988
- Towards a Theory of Declarative KnowledgePublished by Elsevier ,1988
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984