Level mapping induced loop formulas for weight constraint and aggregate logic programs

DOI10.3233/FI-2011-375MaRDI QIDQ5894196zbMATH OpenOpenAlexFDO

Authors Jia-Huai You, Guohua Liu

Publication date 28 March 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2011-375

zbMATH Keywords

aggregatesanswer setslogic programsloop formulasweight constraints

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• Level mapping induced loop formulas for weight constraint and aggregate logic programs
• Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs
• Relating weight constraint and aggregate programs: semantics and representation
• Weight Constraint Programs with Functions
• Logic Programming

Cited in

(2)

• Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs
• Level mapping induced loop formulas for weight constraint and aggregate logic programs

Describes a project that uses

Uses Software

• Lparse
• ASSAT

This page was built for publication: Level mapping induced loop formulas for weight constraint and aggregate logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5894196)