Weight constraint programs with evaluable functions

DOI10.1007/s10472-011-9237-yzbMath1230.68186OpenAlexW1972866855MaRDI QIDQ645084

Jia-Huai You, Yisong Wang, Mingyi Zhang, Li Yan Yuan, Fangzhen Lin

Publication date: 8 November 2011

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-011-9237-y

zbMATH Keywords

constraint satisfaction problemanswer set programmingevaluable functionsweight constraints

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Uses Software

• ASSAT
• Smodels
• Clingcon

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning with infinite stable models
• ASSAT: computing answer sets of a logic program by SAT solvers
• Integrating answer set programming and constraint logic programming
• Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
• Logic programming and knowledge representation---The A-Prolog perspective
• Extending and implementing the stable model semantics
• Logic programs with stable model semantics as a constraint programming paradigm
• FDNC
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• A translational approach to constraint answer set solving
• On Finitely Recursive Programs
• An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
• A Module-Based Framework for Multi-language Constraint Modeling
• Weight Constraint Programs with Functions
• A survey of complexity results for non-monotonic logics
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Constraint Answer Set Solving
• Weight constraints as nested expressions
• Logic Programming
• Why are there so many loop formulas?
• Logics in Artificial Intelligence
• Logics in Artificial Intelligence
• Conflict-Driven Answer Set Enumeration
• Logic programs with monotone abstract constraint atoms
• Computable Functions in ASP: Theory and Implementation
• Depth-First Search and Linear Graph Algorithms
• Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs

This page was built for publication: Weight constraint programs with evaluable functions