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

modular semanticsmodeling of complex problems with constraintsmulti-language modeling

Mathematics Subject Classification ID

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

Recommendations

• A Module-Based Framework for Multi-language Constraint Modeling
• scientific article; zbMATH DE number 1954161
• Formal models of multilingual software
• A modeling layer for constraint-programming libraries
• Multiparadigm Constraint Programming Languages
• scientific article; zbMATH DE number 2085179

Cited in

(2)

• A semantic account for modularity in multi-language modelling of search problems
• A Module-Based Framework for Multi-language Constraint Modeling

Describes a project that uses

Uses Software

• Essence
• ESRA
• XASP
• Clingcon

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)