LoCo—A Logic for Configuration Problems

DOI10.1145/2629454MaRDI QIDQ2946729zbMATH OpenOpenAlexWikidataFDO

Authors Markus Aschinger, Conrad Drescher, Georg Gottlob, Heribert Vollmer

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2629454

zbMATH Keywords

model-based reasoningtechnical product configuration

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• \textsf{LoCo} -- a logic for configuration problems
• scientific article; zbMATH DE number 1453054
• scientific article; zbMATH DE number 4106837
• scientific article; zbMATH DE number 2134914
• Locally determined logic programs and recursive stable models
• Behavioural logics for configuration structures
• Automated Reasoning with Analytic Tableaux and Related Methods
• Embedding Logics in the Local Computation Framework
• A logical and computational theory of located resource
• scientific article; zbMATH DE number 1341465

Cites work

• \textsf{LoCo} -- a logic for configuration problems
• Alternation
• Candidate keys for relations
• Consistency restoration and explanations in dynamic CSPs---Application to configuration
• Engineering an Incremental ASP Solver
• Extending and implementing the stable model semantics
• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 4187147 (Why is no real title available?)
• Interactive Cost Configuration Over Decision Diagrams
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• LoCo—A Logic for Configuration Problems
• On generating all maximal independent sets
• On the Complexity of Computing Generators of Closed Sets
• Optimization Methods for the Partner Units Problem

Cited in

(4)

• Conflict-based program rewriting for solving configuration problems
• LoCo—A Logic for Configuration Problems
• \textsf{LoCo} -- a logic for configuration problems
• \({\mathcal{COCONF}}\): conceptual language-based configuration

Describes a project that uses

Uses Software

• MiniZinc
• Potassco
• QUICKXPLAIN

This page was built for publication: LoCo—A Logic for Configuration Problems

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