Disjunctive Programs with Set Constraints
From MaRDI portal
Publication:2900542
DOI10.1007/978-3-642-30743-0_32zbMATH Open1357.68038OpenAlexW1537924813MaRDI QIDQ2900542FDOQ2900542
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
Recommendations
- Publication:4887622
- scientific article; zbMATH DE number 1213132
- Disjunctive Programming
- Disjunctive programming
- An algorithm for disjunctive programs
- Publication:4493030
- scientific article; zbMATH DE number 1114458
- scientific article; zbMATH DE number 1873242
- scientific article; zbMATH DE number 2016110
Cites Work
- Logic programs, well-orderings, and forward chaining
- On the computational cost of disjunctive logic programming: Propositional case
- Title not available (Why is that?)
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Weight constraints as nested expressions
- Strongly equivalent logic programs
- Answer sets for logic programs with arbitrary abstract constraint atoms
- The Semantics of Predicate Logic as a Programming Language
- Title not available (Why is that?)
- Logic Programming and Nonmonotonic Reasoning
- Declarative problem-solving using the DLV system
- Properties and applications of programs with monotone and convex constraints
- A theory of nonmonotonic rule systems I
- Logic programs with abstract constraint atoms: the role of computations
- Title not available (Why is that?)
- Introduction to Mathematics of Satisfiability
- Guarded resolution for answer set programming
Cited In (8)
- Title not available (Why is that?)
- Stable classes and operator pairs for disjunctive programs
- A constraint programming approach to cutset problems
- Title not available (Why is that?)
- Disjunctive Programming
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products
- Disjunctive Constraint Lambda Calculi
- Modeling Disjunctive Constraints with a Logarithmic Number of Binary Variables and Constraints
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)
