Abduction over 3-valued extended logic programs
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Logic programming and knowledge representationThe Journal of Logic Programming, 1994
- Contradiction: When avoidance equals removal Part IPublished by Springer Nature ,1994
- Non-monotonic reasoning with logic programmingThe Journal of Logic Programming, 1993
- Abductive Logic ProgrammingJournal of Logic and Computation, 1992
- Logic Programming with Strong Negation and Inexact PredicatesJournal of Logic and Computation, 1991
- Paraconsistent logic programmingTheoretical Computer Science, 1989
- A basis for deductive database systemsThe Journal of Logic Programming, 1985
- Towards a Logical Reconstruction of Relational Database TheoryPublished by Springer Nature ,1984
- On Closed World Data BasesPublished by Springer Nature ,1978
- Negation as FailurePublished by Springer Nature ,1978