Weight Constraint Programs with Functions
From MaRDI portal
Publication:3643129
DOI10.1007/978-3-642-04238-6_28zbMath1258.68041OpenAlexW1511027747MaRDI QIDQ3643129
Li Yan Yuan, Mingyi Zhang, Jia-Huai You, Yisong Wang
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
Related Items (2)
A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions ⋮ Weight constraint programs with evaluable functions
Uses Software
This page was built for publication: Weight Constraint Programs with Functions