Internet of Things (IoT) enables Smart Cities (SC) with novel services for the citizens’ well-being. A Smart Parking (SP) system is an important part of the SC infrastructure, which enables the efficient handling of the demanding SC traffic congestion conditions. Such a system also protects the urban environment towards a green ecosystem. In this paper, we consider Artificial Intelligence (AI) algorithms towards processing of data produced by parking lots and disseminated by IoT technology in the SC of St. Petersburg in Russia. Such algorithms enhance the proposed SP system to predict the number of unoccupied parking lots within the SC parking places. In addition, the SP system uses vehicle navigation to decide the optimal parking place according the current vehicle location and the availability of parking lots in the SC.