Schwache_NegationNegation_as_failureN%C3%A9gation_par_l%27%C3%A9checNegazione_come_fallimento%E5%A4%B1%E6%95%97%E3%81%AB%E3%82%88%E3%82%8B%E5%90%A6%E5%AE%9ANegatie_als_falenNega%C3%A7%C3%A3o_por_falha%D0%97%D0%B0%D0%BF%D0%B5%D1%80%D0%B5%D1%87%D0%B5%D0%BD%D0%BD%D1%8F_%D1%8F%D0%BA_%D0%B2%D1%96%D0%B4%D0%BC%D0%BE%D0%B2%D0%B0Q2119400%E5%90%A6%E5%AE%9A%E4%B8%BA%E5%A4%B1%E8%B4%A5
about
description
non-monotonic inference rule i ...... t allows to infer its negation
@en
regola di inferenza non monotòna utilizzata nella programmazione logica
@it
règle d'inférence logique non ...... ropositon entraîne sa négation
@fr
name
Negatie als falen
@nl
Négation par l'échec
@fr
Schwache Negation
@de
negation as failure
@en
negazione come fallimento
@it
negação por falha
@pt
Заперечення як відмова
@uk
否定为失败
@zh
否定为失败
@zh-hans
否定為失敗
@zh-hant
type
label
Negatie als falen
@nl
Négation par l'échec
@fr
Schwache Negation
@de
negation as failure
@en
negazione come fallimento
@it
negação por falha
@pt
Заперечення як відмова
@uk
否定为失败
@zh
否定为失败
@zh-hans
否定為失敗
@zh-hant
altLabel
NAF
@en
NAF
@it
NaF
@en
NaF
@it
Negation as Failure
@de
Negation as failure
@fr
Negation as failure
@nl
Negation as failure, NAF
@en
Negation by failure
@fr
Negation par l'echec
@fr
prefLabel
Negatie als falen
@nl
Négation par l'échec
@fr
Schwache Negation
@de
negation as failure
@en
negazione come fallimento
@it
negação por falha
@pt
Заперечення як відмова
@uk
否定为失败
@zh
否定为失败
@zh-hans
否定為失敗
@zh-hant