ASP and PDDL+ Applications in Urban Traffic Distribution and Control

Mauro Vallati; Carmine Dodaro; Francesco Doria; Salvatore Fiorentino; Marco Maratea; Francesco Percassi; Alice Tarzariol

ASP and PDDL+ Applications in Urban Traffic Distribution and Control

Mauro Vallati, Carmine Dodaro, Francesco Doria, Salvatore Fiorentino, Marco Maratea, Francesco Percassi, Alice Tarzariol

Research output: Contribution to journal › Conference article › peer-review

Abstract

Answer Set Programming (ASP) and the mixed discrete-continuos variant of the Planning Domain Definition Language (PDDL+) are well-known knowledge representation and reasoning methodologies to solve configuration, scheduling and planning problems arising in real-life applications. In this paper, we focus on the recent problems modeled and solved with ASP and PDDL+ in the context of urban traffic distribution and control, including Traffic Signal Optimization and the optimization of pre-computed routes of Connected Autonomous Vehicles in urban networks.

Original language	English
Number of pages	8
Journal	CEUR Workshop Proceedings
Volume	4117
Publication status	Published - 3 Dec 2025
Event	Joint Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming - Rende, Italy Duration: 9 Sept 2025 → 13 Sept 2025 https://ceur-ws.org/Vol-4117/

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 11 Sustainable Cities and Communities

Access to Document

https://ceur-ws.org/Vol-4117/CARLA2025_short_2.pdfLicence: CC BY

Cite this

@article{a301374dd60a45dca77c0f7bc5b8c9f7,

title = "ASP and PDDL+ Applications in Urban Traffic Distribution and Control",

abstract = "Answer Set Programming (ASP) and the mixed discrete-continuos variant of the Planning Domain Definition Language (PDDL+) are well-known knowledge representation and reasoning methodologies to solve configuration, scheduling and planning problems arising in real-life applications. In this paper, we focus on the recent problems modeled and solved with ASP and PDDL+ in the context of urban traffic distribution and control, including Traffic Signal Optimization and the optimization of pre-computed routes of Connected Autonomous Vehicles in urban networks.",

keywords = "Answer Set Programming, Applications, Mixed Discrete-Continuous Planning",

author = "Mauro Vallati and Carmine Dodaro and Francesco Doria and Salvatore Fiorentino and Marco Maratea and Francesco Percassi and Alice Tarzariol",

note = "Publisher Copyright: {\textcopyright} 2025 Copyright for this paper by its authors.; Joint Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming, ICLP-WS-DC 2025 ; Conference date: 09-09-2025 Through 13-09-2025",

year = "2025",

month = dec,

day = "3",

language = "English",

volume = "4117",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

url = "https://ceur-ws.org/Vol-4117/",

}

TY - JOUR

T1 - ASP and PDDL+ Applications in Urban Traffic Distribution and Control

AU - Vallati, Mauro

AU - Dodaro, Carmine

AU - Doria, Francesco

AU - Fiorentino, Salvatore

AU - Maratea, Marco

AU - Percassi, Francesco

AU - Tarzariol, Alice

PY - 2025/12/3

Y1 - 2025/12/3

N2 - Answer Set Programming (ASP) and the mixed discrete-continuos variant of the Planning Domain Definition Language (PDDL+) are well-known knowledge representation and reasoning methodologies to solve configuration, scheduling and planning problems arising in real-life applications. In this paper, we focus on the recent problems modeled and solved with ASP and PDDL+ in the context of urban traffic distribution and control, including Traffic Signal Optimization and the optimization of pre-computed routes of Connected Autonomous Vehicles in urban networks.

AB - Answer Set Programming (ASP) and the mixed discrete-continuos variant of the Planning Domain Definition Language (PDDL+) are well-known knowledge representation and reasoning methodologies to solve configuration, scheduling and planning problems arising in real-life applications. In this paper, we focus on the recent problems modeled and solved with ASP and PDDL+ in the context of urban traffic distribution and control, including Traffic Signal Optimization and the optimization of pre-computed routes of Connected Autonomous Vehicles in urban networks.

KW - Answer Set Programming

KW - Applications

KW - Mixed Discrete-Continuous Planning

UR - https://www.scopus.com/pages/publications/105034063333

UR - https://ceur-ws.org/Vol-4117/

M3 - Conference article

AN - SCOPUS:105034063333

SN - 1613-0073

VL - 4117

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - Joint Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming

Y2 - 9 September 2025 through 13 September 2025

ER -

ASP and PDDL+ Applications in Urban Traffic Distribution and Control

Abstract

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this