Answer set programming for modeling and reasoning on modular and reconfigurable transportation systems