From Rules to Constraint Programs with the Rules2CP Modelling Language

DOI10.1007/978-3-642-03251-6_5MaRDI QIDQ5191407zbMATH OpenOpenAlexFDO

Authors François Fages, Julien Martin

Publication date 6 August 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03251-6_5

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Constraint programming viewed as rule-based programming
• Procedural code generation vs static expansion in modelling languages for constraint programming
• scientific article; zbMATH DE number 1045433
• A modeling layer for constraint-programming libraries
• scientific article; zbMATH DE number 1337859

Cites work

• Constraint Logic Programming Using ECLⁱPS^e
• Essence: A constraint language for specifying combinatorial problems
• From Rules to Constraint Programs with the Rules2CP Modelling Language
• Modules for Prolog Revisited
• Practical Considerations of the Pallet-Loading Problem
• Search and strategies in OPL
• The design of the zinc modelling language
• The language of search
• Tree-Manipulating Systems and Church-Rosser Theorems
• Typing constraint logic programs

Cited in

(6)

• scientific article; zbMATH DE number 67842 (Why is no real title available?)
• Rules2CP
• A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic
• From Rules to Constraint Programs with the Rules2CP Modelling Language
• Proceedings of the 6th international workshop on rule-based programming (RULE 2005), Nara, Japan, April 23, 2005
• Procedural code generation vs static expansion in modelling languages for constraint programming

Describes a project that uses

Uses Software

• Essence
• OPL
• CLPGUI
• SICStus
• Tom
• Zinc

This page was built for publication: From Rules to Constraint Programs with the Rules2CP Modelling Language

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