Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming.

Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi

Browse the full ICLP paper archive.