negation as failure
Sign in to saveAlso known as negation by default, NaF, NAF, Negation as failure, NAF, weak negation
non-monotonic inference rule implying that the impossibility to derive a statement allows to infer its negation
In the Vinony graph
Within Vinony's link graph, negation as failure is referenced by 34 other articles, and connects out to International Standard Book Number, digital object identifier and Prolog.
Vinony files it under Logic programming and Rules of inference.
Its subject is documented across 10 Wikipedia language editions.
Wikidata facts
Show 2 more facts
- admissible rule in
- non-monotonic logic
- Stack Exchange tag
- stackoverflow.com/tags/negation-as-failure
Sources (2)
via Wikidata · CC0
Connections
International Standard Book Number
Entity
digital object identifier
Entity
Prolog
Entity
arXiv
Entity
logical negation
Entity
Semantic Scholar
Entity
logic programming
Entity
Springer Science+Business Media
Entity
modus ponens
Entity
CiteSeerX
Entity
atomic formula
Entity
non-monotonic logic
Entity
answer set programming
Entity
closed-world assumption
Entity
complete theory
Entity
Planner
Entity
Universal instantiation
Entity
stable model semantics
Entity