Stratified Resolution
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 365-384
- https://doi.org/10.1007/10721959_28
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- VampirePublished by Springer Nature ,1999
- Oriented Equational Logic Programming is CompleteJournal of Symbolic Computation, 1997
- Basic ParamodulationInformation and Computation, 1995
- 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
- Linear resolution with selection functionArtificial Intelligence, 1972