Logic Programming and Negation

Apt, K. R., & Bol, R. N. (1994). Logic Programming and Negation: A Survey. Journal of Logic Programming, 19-20.

Type

Journal article

Intellectual base

Primary research

Year

1994

Link

https://www.sciencedirect.com/science/article/pii/0743106694900248

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 sourceAuthoritative survey of proof-theoretic and model-theoretic approaches, termination, floundering, and semantics.

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:fbc1125bd6fa · see in the full table