Belief, provability, and logic programs
- 13 November 2005
- book chapter
- Published by Springer Nature
- p. 106-121
- https://doi.org/10.1007/bfb0021967
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Default theory for Well Founded Semantics with explicit negationPublished by Springer Nature ,2005
- Contradiction: When avoidance equals removal Part IPublished by Springer Nature ,1994
- Non-monotonic reasoning with logic programmingThe Journal of Logic Programming, 1993
- Diagnosis and debugging as contradiction removal in logic programsPublished by Springer Nature ,1993
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- The extended stable models of contradiction removal semanticsPublished by Springer Nature ,1991
- A database needs two kinds of negationPublished by Springer Nature ,1991
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- A logic for default reasoningArtificial Intelligence, 1980
- On Closed World Data BasesPublished by Springer Nature ,1978