Conflict-based program rewriting for solving configuration problems

DOI10.1007/978-3-642-40564-8_46MaRDI QIDQ2851276zbMATH OpenOpenAlexFDO

Authors Anna Ryabokon, Gerhard Friedrich, Andreas A. Falkner

Publication date 10 October 2013

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40564-8_46

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• \({\mathcal{COCONF}}\): conceptual language-based configuration
• Combining Heuristics for Configuration Problems Using Answer Set Programming
• LoCo—A Logic for Configuration Problems
• scientific article; zbMATH DE number 2084738
• scientific article; zbMATH DE number 1882068

Cited in

(3)

• Combining Heuristics for Configuration Problems Using Answer Set Programming
• Determining and resolving conflicts in the configuration of high-performance pumps
• Capturing Conflict and Confusion in CSP

Describes a project that uses

Uses Software

• Potassco

This page was built for publication: Conflict-based program rewriting for solving configuration problems

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