Weight constraint programs with evaluable functions

DOI10.1007/S10472-011-9237-YzbMATH Open1230.68186OpenAlexW1972866855MaRDI QIDQ645084FDOQ645084

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

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

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)

Cites Work

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

Cited In (7)

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

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)