Adding constraints to logic-based formalisms

MaRDI QIDQ4702573zbMATH OpenFDO

Authors Michael J. Maher

Publication date 21 February 2002

zbMATH Keywords

constraints

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A survey of constraint-based programming paradigms
• On logical constraints in logic programming
• Combining constraint solving
• On the formalization of semantic conventions
• A methodological view of constraint solving

Cited in

(2)

• Local consistency for extended CSPs
• On the formalization of semantic conventions

This page was built for publication: Adding constraints to logic-based formalisms

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