scientific article

zbMath1219.68087MaRDI QIDQ3089145

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

Publication date: 24 August 2011

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Uses Software

• Clingcon
• XASP
• ESRA
• Essence