scientific article; zbMATH DE number 5942124

zbMATH Open1219.68087MaRDI QIDQ3089145FDOQ3089145

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/

Title of this publication is not available (Why is that?)

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

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)

Cited In (2)

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

Uses Software

• Clingcon
• XASP
• ESRA
• 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)