Jay Halcomb, Adam Pease. On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming). In Alessandro Provetti, Tran Cao Son, editors, Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP 01 Workshop, Stanford, March 26-28, 2001. 2001. [doi]
Abstract is missing.