4 citations · 5 across the 6 of their papers we have counts for
1 paper · 1 filter
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…