English Negation as failure Cited by user RDBrown on 11 Oct 2022 Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive, depending on the completeness of the inference algorithm and…
Italian Completezza (rappresentazione della conoscenza) Cited by user Horcrux on 29 Mar 2016 Nell'ambito della rappresentazione della conoscenza, una base di conoscenza