Weight constraint programs with evaluable functions
type: Item
instance of: scholarly article
title: Weight constraint programs with evaluable functions
zbMATH Open document ID: 1230.68186
author: Yisong Wang
author: Jia-Huai You
author: Fangzhen Lin
author: Li Yan Yuan
author: MingYi Zhang
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2011-11-08T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 5969038
zbMATH Keywords: answer set programming
zbMATH Keywords: weight constraints
zbMATH Keywords: evaluable functions
zbMATH Keywords: constraint satisfaction problem
describes a project that uses: Clingcon
describes a project that uses: ASSAT
describes a project that uses: Smodels
MaRDI profile type: Publication
full work available at URL: s10472-011-9237-y
OpenAlex ID: W1972866855
cites work: Knowledge Representation, Reasoning and Declarative Problem Solving
cites work: On Finitely Recursive Programs
cites work: Reasoning with infinite stable models
cites work: Logics in Artificial Intelligence
cites work: A survey of complexity results for non-monotonic logics
cites work: Computable Functions in ASP: Theory and Implementation
cites work: An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
cites work: A translational approach to constraint answer set solving
cites work: FDNC
cites work: Weight constraints as nested expressions
cites work: Conflict-Driven Answer Set Enumeration
cites work: Constraint Answer Set Solving
cites work: Logic programming and knowledge representation---The A-Prolog perspective
cites work: A Module-Based Framework for Multi-language Constraint Modeling
cites work: Logic Programming
cites work: Why are there so many loop formulas?
cites work: ASSAT: computing answer sets of a logic program by SAT solvers
cites work: Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs
cites work: Q3624035
cites work: Q3992908
cites work: Logic programs with monotone abstract constraint atoms
cites work: Integrating answer set programming and constraint logic programming
cites work: Logic programs with stable model semantics as a constraint programming paradigm
cites work: Extending the Smodels system with cardinality and weight constraints
cites work: Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
cites work: Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
cites work: Extending and implementing the stable model semantics
cites work: Q4798015
cites work: Depth-First Search and Linear Graph Algorithms
cites work: Weight Constraint Programs with Functions
DOI: 10.1007/S10472-011-9237-Y
description: scientific article; zbMATH DE number 5969038