Weight constraint programs with evaluable functions

DOI10.1007/S10472-011-9237-YMaRDI QIDQ645084zbMATH OpenOpenAlexFDO

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

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

answer set programmingconstraint satisfaction problemevaluable functionsweight constraints

Mathematics Subject Classification ID

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

Recommendations

• Weight Constraint Programs with Functions
• Functional answer set programming
• Extending and implementing the stable model semantics
• Max-ASP: Maximum Satisfiability of Answer Set Programs
• Nested weight constraints in ASP

Cites work

• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1884395 (Why is no real title available?)
• A Module-Based Framework for Multi-language Constraint Modeling
• A survey of complexity results for non-monotonic logics
• A translational approach to constraint answer set solving
• ASSAT: computing answer sets of a logic program by SAT solvers
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems
• Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
• Computable Functions in ASP: Theory and Implementation
• Conflict-Driven Answer Set Enumeration
• Constraint Answer Set Solving
• Depth-First Search and Linear Graph Algorithms
• Extending and implementing the stable model semantics
• Extending the Smodels system with cardinality and weight constraints
• FDNC: decidable nonmonotonic disjunctive logic programs with function symbols
• Integrating answer set programming and constraint logic programming
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Level mapping induced loop formulas for weight constraint and aggregate logic programs
• Logic Programming
• Logic programming and knowledge representation---The A-Prolog perspective
• Logic programs with monotone abstract constraint atoms
• Logic programs with stable model semantics as a constraint programming paradigm
• Logics in Artificial Intelligence
• Logics in Artificial Intelligence
• On Finitely Recursive Programs
• Properties and applications of programs with monotone and convex constraints
• Reasoning with infinite stable models
• Weight Constraint Programs with Functions
• Weight constraints as nested expressions
• Why are there so many loop formulas?

Cited in

(7)

• \(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints
• Weight constraints with preferences in ASP
• Parameter tuning of continuous Hopfield network applied to combinatorial optimization
• Parameterized Weighted Containment
• Weight Constraint Programs with Functions
• Relating weight constraint and aggregate programs: semantics and representation
• Functional answer set programming

Describes a project that uses

Uses Software

• ASSAT
• Smodels
• Clingcon

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

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