scientific article; zbMATH DE number 5942124

MaRDI QIDQ3089145zbMATH OpenFDO

Authors Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä

Publication date 24 August 2011

Full work available at URL https://www.mat.unical.it/ASPOCP09/

zbMATH Keywords

modeling of complex problems with constraintsmodular semanticsmulti-language modeling

Mathematics Subject Classification ID

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

Recommendations

• A Module-Based Framework for Multi-language Constraint Modeling
• A general approach for building constraint languages
• Formal models of multilingual software
• A modeling layer for constraint-programming libraries
• Multiparadigm Constraint Programming Languages
• A meta-model facility for a family of UML constraint languages

Cited in

(3)

• A semantic account for modularity in multi-language modelling of search problems
• A Module-Based Framework for Multi-language Constraint Modeling
• scientific article; zbMATH DE number 1140687 (Why is no real title available?)

Describes a project that uses

Uses Software

• ESRA
• Clingcon
• XASP
• Essence

This page was built for publication:

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