University of Calabria

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…
• Long-Term Power Grid Planning via Answer Set Programming Abstract The power grid is a critical infrastructure underpinning all aspects of modern society and its servi…
• Logic-Guided Data Extraction with Answer Set Programming and Large Language Models Abstract When large language models (LLMs) are used for semantic data extraction from unstructured text, prod…
• Probabilistic Reasoning within Answer Set Programming with Quantifiers Answer Set Programming with Quantifiers (ASP(Q)) extends Answer Set Programming (ASP) by allowing quantificat…
• Using ASP(Q) to Handle Inconsistent Prioritized Data We explore the use of answer set programming (ASP) and its extension with quantifiers, ASP(Q), for inconsiste…
• A High-Precision Driving Behavior Classification Framework using Convolutional Neural Networks based on Vehicle Telematics Data The increase in road travel has a significant impact on road safety, fuel consumption, and environmental poll…
• Logic-Guided Data Extraction with Answer Set Programming and Large Language Models When Large Language Models (LLMs) are used for semantic data extraction from unstructured text, producing can…
• Long-term Power Grid Planning via Answer Set Programming The Power grid is a critical infrastructure underpinning all aspects of modern society and its services. Main…
• Using ASP(Q) to Handle Inconsistent Prioritized Data We explore the use of answer set programming (ASP) and its extension with quantifiers, ASP(Q), for inconsiste…
• Exdiff: a modular and explainable framework combining network simulation and graph neural networks for diffusion modelling Abstract Understanding and modelling diffusion processes in complex networks is critical across disciplines,…
• A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming Probabilistic logic-based languages offer an expressive framework for encoding uncertain information in a hum…
• A state-of-the-art review on machine learning techniques for driving behavior analysis: clustering and classification approaches Abstract Smart mobility has ushered in advanced sensing technologies. These, together with high‑level data an…