A Module-Based Framework for Multi-language Constraint Modeling

DOI10.1007/978-3-642-04238-6_15MaRDI QIDQ3643114zbMATH OpenOpenAlexFDO

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

Publication date 10 November 2009

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5942124
• 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

(6)

• On abstract modular inference systems and solvers
• scientific article; zbMATH DE number 5942124 (Why is no real title available?)
• A semantic account for modularity in multi-language modelling of search problems
• scientific article; zbMATH DE number 1140687 (Why is no real title available?)
• A model building framework for answer set programming with external computations
• Weight constraint programs with evaluable functions

Describes a project that uses

Uses Software

• ESRA
• Clingcon
• XASP
• Essence

This page was built for publication: A Module-Based Framework for Multi-language Constraint Modeling

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