A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics.
(xsd:string)
A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics.
(xsd:string)