activity
20132026
most citedASP-Core-2 Input Language Format

135 citations · 224 across the 21 of their papers we have counts for

collaborators

24 papers

cs.AI2026

CLARK: Closed-loop Learning for Adaptive Reasoning over Knowledge Graphs

Yousef Khan, Luca Gherardini, Marco Maratea +2

Machine Learning models are widely used for automating classification tasks by extracting statistical patterns from data. However, their performance deteriorates if the data distri…

cs.LO2026

Long-term Power Grid Planning via Answer Set Programming

Antonio Ielo, Francesco Doria, Sandra Castellanos-Paez +3

The Power grid is a critical infrastructure underpinning all aspects of modern society and its services. Maintaining its effectiveness requires continuous adaptations. In particula…

cs.LO2025

A CASP-based Solution for Traffic Signal Optimisation

Alice Tarzariol, Marco Maratea, Mauro Vallati

In the context of urban traffic control, traffic signal optimisation is the problem of determining the optimal green length for each signal in a set of traffic signals. The literat…

cs.AI2025

Improving ASP-based ORS Schedules through Machine Learning Predictions

Pierangela Bruno, Carmine Dodaro, Giuseppe Galatà +2

The Operating Room Scheduling (ORS) problem deals with the optimization of daily operating room surgery schedules. It is a challenging problem subject to many constraints, like to…

cs.AI2024★ 4 cited

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming

Matteo Cardellini, Carmine Dodaro, Marco Maratea +1

Answer Set Programming (ASP) has demonstrated its potential as an effective tool for concisely representing and reasoning about real-world problems. In this paper, we present an ap…

cs.AI2023★ 3 cited

Symbolic Numeric Planning with Patterns

Matteo Cardellini, Enrico Giunchiglia, Marco Maratea

In this paper, we propose a novel approach for solving linear numeric planning problems, called Symbolic Pattern Planning. Given a planning problem , a bound and a pattern -…