On quantitative measurement of negation in logic programming.

Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen

Browse the full SAC paper archive.