Strong and explicit negation in non-monotonic reasoning and logic programming
- 1 January 1996
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 143-163
- https://doi.org/10.1007/3-540-61630-6_10
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Reasoning with negative information, II: Hard negation, strong negation and logic programsPublished by Springer Nature ,2005
- On indefinite databases and the closed world assumptionPublished by Springer Nature ,2005
- Non-monotonic reasoning with logic programmingThe Journal of Logic Programming, 1993
- Debugging by diagnosing assumptionsPublished by Springer Nature ,1993
- Stable semantics for disjunctive programsNew Generation Computing, 1991
- The well-founded semantics for general logic programsJournal of the ACM, 1991
- On the relationship between circumscription and negation as failureArtificial Intelligence, 1989
- Semantical considerations on nonmonotonic logicArtificial Intelligence, 1985
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980