On the Trap Space Semantics of Normal Logic Programs

Van-Giang Trinh, Sylvain Soliman, François Fages +1

The logical semantics of normal logic programs has traditionally been based on the notions of Clark's completion and two-valued or three-valued canonical models, including supporte…