A logic programming system for nonmonotonic reasoning
- 1 January 1995
- journal article
- research article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 14 (1) , 93-147
- https://doi.org/10.1007/bf00883931
Abstract
No abstract availableKeywords
This publication has 35 references indexed in Scilit:
- Belief, provability, and logic programsPublished by Springer Nature ,2005
- Logic programming and negation: A surveyThe Journal of Logic Programming, 1994
- Logic programming and knowledge representationThe Journal of Logic Programming, 1994
- Non-monotonic reasoning with logic programmingThe Journal of Logic Programming, 1993
- Debugging by diagnosing assumptionsPublished by Springer Nature ,1993
- A procedural semantics for well-founded negation in logic programsThe Journal of Logic Programming, 1992
- Syntax based approaches to belief revisionPublished by Cambridge University Press (CUP) ,1992
- Negation in logic programmingThe Journal of Logic Programming, 1987
- A basis for deductive database systemsThe Journal of Logic Programming, 1985
- Linear resolution with selection functionArtificial Intelligence, 1972