University of Klagenfurt

Forschungsprojekte

• Optimality-preserving Logic-Based Benders Decomposition of Answer Set Programs Bender Decomposition is a well-known solving technique in Operation Research that decomposes a problem into a…
• Toward Neuro-Symbolic and Reservoir-Inspired Medical Imaging: A BD-CeNN Autoencoder with ASP Rule Mining for Robust and Explainable Interpretation of Grayscale and Color Images We present a neuro-symbolic framework for medical image analysis that integrates a Binary Discrete Cellular N…
• ASP Chef Grows Mustache to Look Better Abstract We present ASP Chef Mustache, an extension of ASP Chef that enhances template-based rendering of ans…