Verifying local stratifiability of logic programs and databases II
- 1 September 1996
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 14 (3) , 317-341
- https://doi.org/10.1007/bf03037486
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Testing logic programs for local stratificationTheoretical Computer Science, 1992
- Verifying local stratifiability of logic programs and databasesNew Generation Computing, 1992
- On the Declarative Semantics of Deductive Databases and Logic ProgramsPublished 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