Integration of Symbolic and Subsymbolic AI for Industry [InProSSA]
Project Description
The project InProSSA investigates the integration of different solution paradigms from symbolic and subsymbolic AI into a generic common modelling language in order to provide different concepts in an integrated fashion. This allows for a problem specification to be formulated independently from the envisaged solution strategy and the most suitable method can then be chosen from a pool of available methods.
Project Lead
Project Duration
01/05/2025 - 31/10/2026Project URL
Go to WebsitePublications
2025
[Schreiner]
A DSL for Specifying a Class of Industrial Optimisation Problems
Tereso del Rio, Wolfgang Schreiner, Martina Seidl, Temur Kutsia, Wolfgang Windsteiger
Technical report no. 25-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). December 2025. Licensed under CC BY 4.0 International. [doi] [pdf]@techreport{RISC7224,
author = {Tereso del Rio and Wolfgang Schreiner and Martina Seidl and Temur Kutsia and Wolfgang Windsteiger},
title = {{A DSL for Specifying a Class of Industrial Optimisation Problems}},
language = {english},
abstract = {This report documents a newdomain-specific language (DSL) designed to express industrial optimisation problems in a Pythonic and procedural way. This language allows users to describe optimisation models using familiar programming tools such as variables, loops, and conditional statements, instead of low-level mathematical formulations.},
number = {25-12},
year = {2025},
month = {December},
keywords = {industrial optimization, constraint solving, domain-specific languages},
sponsor = {Supported by FFG project 59218671 “InProSSA: Industrial Problem Solving Using Symbolic and Subsymbolic AI”},
length = {19},
license = {CC BY 4.0 International},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}
author = {Tereso del Rio and Wolfgang Schreiner and Martina Seidl and Temur Kutsia and Wolfgang Windsteiger},
title = {{A DSL for Specifying a Class of Industrial Optimisation Problems}},
language = {english},
abstract = {This report documents a newdomain-specific language (DSL) designed to express industrial optimisation problems in a Pythonic and procedural way. This language allows users to describe optimisation models using familiar programming tools such as variables, loops, and conditional statements, instead of low-level mathematical formulations.},
number = {25-12},
year = {2025},
month = {December},
keywords = {industrial optimization, constraint solving, domain-specific languages},
sponsor = {Supported by FFG project 59218671 “InProSSA: Industrial Problem Solving Using Symbolic and Subsymbolic AI”},
length = {19},
license = {CC BY 4.0 International},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}
}
