Paraconsistent logic programming
- 1 January 1987
- book chapter
- Published by Springer Nature
- p. 340-360
- https://doi.org/10.1007/3-540-18625-5_59
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Canonical logic programsThe Journal of Logic Programming, 1986
- On the consistency of commonsense reasoningComputational Intelligence, 1986
- Some issues and trends in the semantics of logic programmingPublished by Springer Nature ,1986
- Negation and quantifiers in NU-PrologPublished by Springer Nature ,1986
- Completeness of the SLDNF-resolution for a class of logic programsPublished by Springer Nature ,1986
- A kripke-kleene semantics for logic programs*The Journal of Logic Programming, 1985
- Optimal fixedpoints of logic programsTheoretical Computer Science, 1985
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- A semantical analysis of the calculi ${\bf C}_n$.Notre Dame Journal of Formal Logic, 1977
- On the theory of inconsistent formal systems.Notre Dame Journal of Formal Logic, 1974