Answer Set Programming for Modeling and Reasoning on Modular and Reconfigurable Transportation Systems. - Walter Terkaj; Marcello Urgo; Daniela Andolfatto (FedCSIS, 2017)