A Module-Based Framework for Multi-language Constraint Modeling

DOI10.1007/978-3-642-04238-6_15zbMath1258.68136OpenAlexW1601754975MaRDI QIDQ3643114

Emilia Oikarinen, Matti Järvisalo, 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)

Related Items

On abstract modular inference systems and solvers, A Semantic Account for Modularity in Multi-language Modelling of Search Problems, A model building framework for answer set programming with external computations, Weight constraint programs with evaluable functions

Uses Software

• Clingcon
• XASP
• ESRA
• Essence