It is a 'parking assignment problem' in smart cities. It is basically assigning cars to free parking slots in a way that the total solution should be optimal (i.e., the total distance/time from the assigned parking lot to the cars current location should be minimal). The important thing is you should abstract away the details so that it becomes a nice suitable search problem where you can apply ASP in. Additionally, think about how you would get instance data. Check the web please to find out some data so that you can use it as an instance to test your encoding.