Weight Constraint Programs with Functions

DOI10.1007/978-3-642-04238-6_28MaRDI QIDQ3643129zbMATH OpenOpenAlexFDO

Authors Yisong Wang, Jia-Huai You, Li Yan Yuan, MingYi Zhang

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_28

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Weight constraint programs with evaluable functions
• Embedding functions into disjunctive logic programs
• Embedding functions into disjunctive logic programs
• Extending and implementing the stable model semantics
• scientific article; zbMATH DE number 1453071

Cited in

(10)

• Embedding functions into disjunctive logic programs
• A ``conservative approach to extending answer set programming with non-Herbrand functions
• Embedding functions into disjunctive logic programs
• Properties and applications of programs with monotone and convex constraints
• Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs
• Parameterized Weighted Containment
• Lparse Programs Revisited: Semantics and Representation of Aggregates
• Level mapping induced loop formulas for weight constraint and aggregate logic programs
• Level mapping induced loop formulas for weight constraint and aggregate logic programs
• Weight constraint programs with evaluable functions

Describes a project that uses

Uses Software

• ASSAT
• Lparse

This page was built for publication: Weight Constraint Programs with Functions

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