ResumenProtocol Analysis with Time and SpaceAparicio Sanchez, Damian; Escobar, Santiago; Meadows, Catherine; Sapiña, Julia; Meseguer, José. Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022), 2022-09-05.Protocols, Strands, and Logic Pages: 22-49 Year: 2021 DOI: https://doi.org/10.1007/978-3-030-91631-2 ResumenTowards Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive NetworkingLuque-Schempp, Francisco; Panizo, Laura; Gallardo, María del Mar; Merino, Pedro; Rivas, Javier. Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022), 2022-09-05.The need to increase mobility and remove cables in industrial environments is pushing 5G as a valuable communication system to connect traditional deterministic Ethernet based devices. One alternative is the adoption of Time Sensitive Networking (TSN) standards over 5G Non-Public Networks (5G NPN) deployed in the company premises. This scenario presents several challenges, the most relevant being the configuration of the 5G part to provide latency, reliability and throughput balance suitable to ensure that all the TSN traffic can be delivered on time. Our research work addresses this problem from the perspective of automata learning. Our aim is to learn from the live network to build a smart controller that can dynamically predict and apply a suitable configuration of the 5G NPN to satisfy the requirements of the current TSN traffic. The article presents the main ideas of this novel approach. This paper will be published in IEEE Network Magazine, in the special issue of March 2022 entitled +IBw-New Network Architectures, Protocols and Algorithms for Time-Sensitive Applications+IB0. ArtículoConversion of the Spanish WordNet databases into a Prolog-readable formatJulián Iranzo, Pascual; Rigau, Germán; Sáenz Pérez, Fernando; Velasco-Crespo, Pablo. Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022), 2022-09-05.WordNet is a lexical database for English that is supplied in a variety of formats, including one compatible with the Prolog programming language. Given the success and usefulness of WordNet, +AGAAYA-WordNets'' of other languages have been developed, including Spanish. The Spanish WordNet does not provide a version compatible with Prolog. This work aims to fill that gap by translating a version of the Spanish WordNet into a Prolog-compatible format. Thanks to this translation, we would obtain a set of Spanish lexical databases that would allow us to access that information using declarative techniques and the deductive capabilities of the Prolog language. Also, this work would facilitate the development of other programs to analyze the obtained information.