English translation for "nbf"

nbf

Example Sentences:

1.

Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive n o t p {\displaystyle \mathrm {not} ~p} (i.e. that p {\displaystyle ~p} is assumed not to hold) from failure to derive p {\displaystyle ~p} . La négation par l'échec (en anglais NAF pour negation as failure, ou NBF pour negation by failure) est une règle d'inférence non monotone en programmation logique, utilisée pour la dérivation de n o t p

Similar Words：

"nbc tower" English translation, "nbc universal" English translation, "nbcuniversal" English translation, "nbcuniversal entertainment japan" English translation, "nbeika" English translation, "nbg" English translation, "nbl" English translation, "nbm publishing" English translation, "nbmr-1" English translation