Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs

DOI10.1007/978-3-642-04238-6_40MaRDI QIDQ3643137zbMATH OpenOpenAlexFDO

Authors Guohua Liu

Publication date 10 November 2009

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04238-6_40

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Level mapping induced loop formulas for weight constraint and aggregate logic programs
• Level mapping induced loop formulas for weight constraint and aggregate logic 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 logic programs
• Level mapping induced loop formulas for weight constraint and aggregate logic programs

Describes a project that uses

Uses Software

• ASSAT

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

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