Hypothesis-based semantics of logic programs in multivalued logics

Yann Loyer, Nicolas Spyratos, Daniel Stamate. Hypothesis-based semantics of logic programs in multivalued logics. ACM Trans. Comput. Log., 5(3):508-527, 2004. [doi]

Abstract

Abstract is missing.