Disjunctive Programs with Set Constraints

DOI10.1007/978-3-642-30743-0_32MaRDI QIDQ2900542zbMATH OpenOpenAlexFDO

Authors Wiktor Marek, Jeffrey Remmel

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_32

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Publication:4887622
• scientific article; zbMATH DE number 1213132
• Disjunctive Programming
• Disjunctive programming
• An algorithm for disjunctive programs
• scientific article; zbMATH DE number 1482995
• scientific article; zbMATH DE number 1114458
• scientific article; zbMATH DE number 1873242
• scientific article; zbMATH DE number 2016110

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 88998 (Why is no real title available?)
• scientific article; zbMATH DE number 1453071 (Why is no real title available?)
• A theory of nonmonotonic rule systems I
• Answer sets for logic programs with arbitrary abstract constraint atoms
• Declarative problem-solving using the DLV system
• Guarded resolution for answer set programming
• Introduction to Mathematics of Satisfiability
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming and Nonmonotonic Reasoning
• Logic programs with abstract constraint atoms: the role of computations
• Logic programs, well-orderings, and forward chaining
• On the computational cost of disjunctive logic programming: Propositional case
• Properties and applications of programs with monotone and convex constraints
• Strongly equivalent logic programs
• The Semantics of Predicate Logic as a Programming Language
• Weight constraints as nested expressions

Cited in

(8)

• Modeling Disjunctive Constraints with a Logarithmic Number of Binary Variables and Constraints
• scientific article; zbMATH DE number 5547861 (Why is no real title available?)
• Stable classes and operator pairs for disjunctive programs
• A constraint programming approach to cutset problems
• scientific article; zbMATH DE number 1873242 (Why is no real title available?)
• Disjunctive Programming
• Generic multiset programming with discrimination-based joins and symbolic Cartesian products
• Disjunctive Constraint Lambda Calculi

This page was built for publication: Disjunctive Programs with Set Constraints

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