Negation as Failure¶
Clark, K. L. (1978). Negation as Failure. Logic and Data Bases.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Negation as Failure
- The rule turns absence of a successful derivation into a usable, defeasible assumption only when the search has the right scope and termination properties.
This sourceFoundational operational rule and program-completion account.
- The rule turns absence of a successful derivation into a usable, defeasible assumption only when the search has the right scope and termination properties.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:010f5ae0e47a · see in the full table