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
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