Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs

Guohua Liu, Jia-Huai You. Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs. Fundamenta Informaticae, 106(1):25-43, 2011. [doi]

Abstract

Abstract is missing.