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

DOI10.3233/FI-2010-286zbMath1284.68116OpenAlexW1705435008MaRDI QIDQ5892566

Jia-Huai You, Guo-Hua Liu

Publication date: 14 June 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-286

zbMATH Keywords

logic programsaggregatesweight constraintsloop formulasanswer sets

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Weight constraint programs with evaluable functions ⋮ Unnamed Item

This page was built for publication: Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs