An ASP-based System for Team-building in the Gioia-Tauro Seaport G. Grasso 1 , S. Iiritano 2 , N. Leone 1 , V. Lio 2 , F. Ricca 1 , and F. Scalise 3 1 Dipartimento di Matematica, Universit` a della Calabria, 87030 Rende, Italy {leone,ricca}@mat.unical.it 2 Exeura Srl, Via Pedro Alvares Cabrai - C.da Lecco 87036 Rende (CS), Italy {salvatore.iiritano,vincenzino.lio}@exeura.com 3 ICO BLG Logistics Automobile Italia SPA - Gioia Tauro, Italy Abstract. We have developed a system based on Answer Set Programming (ASP) for the automatic generation of the teams of employees in the seaport of Gioia Tauro. The problem here is to generate a correct allocation of the available per- sonnel of the international seaport of Gioia Tauro in such a way that the right pro- cessing of the shoring cargo boats is guaranteed. To this end several constraints have to be satisfied. Depending on the size and the load of cargo boats, an appro- priate number of employees of different skills is required. The selection of the employees and the role they play in the team (each employee might cover sev- eral roles according with his/her skills) are subject to many conditions (e.g., fair distribution of the working load, tournament of the heavy/dangerous roles, etc.) The system can build new teams, complete the allocation automatically when some key employees are fixed manually, and check the correctness of manually generated team, providing proper explainations if no correct team can be gener- ated. In this application, the domain is modeled by exploiting ASP and imple- mented by using the ASP system DLV. A set of suitably defined logic programs is exploited for finding the desired allocation. The pure declarative nature of the language allowed us for refining and tuning both problem specifications and en- codings together while interacting with the stakeholders of the seaport. It is worth noting that the possibility of modifying (by editing text files) in a few minutes a complex reasoning task (e.g. by adding new constraints), and testing it “on-site” together with the customer was a great advantage of our approach. The system is currenty exploited by the ICO BLG company at the seaport of Gioia Tauro. 1 Scenario The seaport of Gioia Tauro (http://www.portodigioiatauro.it) is the largest transship- ment terminal of the Mediterranean Sea. Historically, container transshipments are the main activity of the seaport (related problems were subject of extensive research [4]); recently, Gioia Tauro has become also an automobile hub. Automobile logistics is car- ried out by the company ICO B.L.G. (a subsidiary of the B.L.G. Logistics Group - http://www.blg.de). Several ships of different size shore the port every day, transported vehicles are handled, warehoused, if necessary technically processed and then delivered to their final destination. The goal is to serve them as soon as possible. Data regarding the shoring boats (arrival/departure date, number and kind of vehicles, etc.), is available