Abstract
Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. This lecture summarises recent joint work with Juliana Cunha, Alexandre Madeira and Ana Cruz on a variant of transition systems endowed with positive and negative accessibility relations, and a metric space over the lattice of truth values. Such structures are called paraconsistent transition systems, the qualifier stressing a connection to paraconsistent logic, a logic taking inconsistent information as potentially informative. A coalgebraic perspective on this family of structures is also discussed. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

Abstract
All types of sports are potential application scenarios for automatic and real-time visual object and event detection. In rink hockey, the popular roller quad skate variant of hockey team sports, it is of great interest to automatically track player’s movements and positions, player’s sticks and, also, making other judgments, such as being able to locate the ball. In this work, we introduce a real-time pipeline composed by an object detection model, created specifically for rink hockey games, followed by a knowledge-based event detection module. Even in the presence of occlusions and quick motions, our deep learning object detection model effectively identifies and tracks, in real-time, important visual elements such as: ball; players; sticks; referees; crowd; goalkeeper; and goal. Using a curated dataset composed by a collection of videos of rink hockey, comprising 2525 annotated frames, we trained and evaluated the algorithm performance and compare it to state of the art object detection techniques. Our object detection model, based on YOLOv7, presents a global accuracy of 80%, and presents a good performance in terms of accuracy and speed, according to our results, making it a good choice for rink hockey applications. In our initial tests, the event detection module successfully detected one important event type in rink hockey games, the occurrence of penalties.

Abstract
This work delves into the crucial role of service quality in the water supply and sanitation sectur. Despite extensive research and implementation of quality management practices in this sector, a universally accepted definition of quality is still lacking, resulting in varikoza service quality assesunent procedures that are difficult to compam. To address this issue, the World Bank launched the Thility of the Future' (UoF) programme, aiming guide water service providers in their efforts to become future-focused utilities that offer reliable, safe, Inclusive, transparent, and resposesive services through best-fit practices. Building upon the Damework provided by the lof programme, this study proposes the Water Utility Service Quallity Index (WUSOI) composite Indicator that reflects the quality of service provided by water supply and sanitation utilities from a customer perspective. Based on Data Envelopment Analysis, the Benelli-of-the-Douht appenach is employed to assign weights for aggregating the indicators representing the diverse performance dimensions. The study operationalines the WUSOI to assess the quality of Purtuguese wholesale water and wastewater companies using data enflected by the national regulator of water and waste services. A Multiple Criteria Decision Analysis technique, the Deck of Cands method, is used to specify an indicator of transparency from the information made available by the regulated utilities. The results show the effectiveness of this tool for evaluating and measuring service quality at the company level. Additionally, the findings highlight areas for Improvement in the utilities' performance. By enabling companies and regulators to identify areas for improvement, the WUSOI can support the delivery of high-quality services to customers.

Abstract
Industry 5.0 complements the Industry 4.0 approach by enabling the transition of industry digitization to a sustainable, human-centered and resilient paradigm. This paper delves into the exploration of enabling technologies that facilitate both Industry 4.0 and Industry 5.0 in the context of supporting supply chain (SC) logistics. The paper defines the principles of Logistics 5.0, which focuses on smart logistics systems for customized distribution, transportation, inventory management and warehousing by emphasizing interconnectivity, digitization, and optimization across SC operations. The traditional logistics framework requires innovative solutions grounded in emerging Industry 5.0 technologies capable of capturing and processing extensive datasets to empower decision-making based on information and knowledge. A comprehensive research has enabled to critically analyze enabling Industry 5.0 technologies by assessing their application status through real-case scenarios within SC Logistics 5.0. Furthermore, the paper identifies research gaps in the reviewed technologies by outlining promising areas for each Industry 4.0 technology. This guidance aims to direct future studies toward the practical application of technologies in supporting Logistics 5.0.

Abstract
TADA is a unique toolkit designed to foster the use and implementation of approximate distributed agreement primitives. Developed in Java, TADA provides ready-to-use implementations of several approximate agreement algorithms, as well as the tools to enable programmers/researchers to easily implement further protocols: A template that enables new protocol implementations to be created by simply changing specific functions; and high-level abstractions for communication and concurrency control. As an example, the toolkit includes a ready-to-use implementation for clock synchronisation between distributed processes. Further use cases can include sensor input stabilisation and distributed machine learning, or other instances of distributed agreement where network synchrony cannot be assumed, byzantine fault tolerance may be required and a bounded divergence in decision values can be tolerated.

Abstract
Nowadays, health systems comprise a series of resources structured to provide healthcare services to meet our health needs. However, premature deaths still occur. To quantify and understand personal healthcare conditions affecting such amenable mortality, the Healthcare Access and Quality Index (HAQI) was put forward, evaluating 195 countries and territories since 1990. Nevertheless, the literature acknowledges a series of limitations of this framework, such as the drawbacks of using principal component analysis to aggregate individual indicators, the absence of control for financing and environmental conditions, and the presence of a substantial degree of data uncertainty. Accordingly, we propose a methodological alternative to the computation of the HAQI using a novel fuzzy Data Envelopment Analysis model to handle the aforementioned shortcomings. We also propose its extension towards the quantification of efficiency (E-HAQI) - in the sense of value for money - by incorporating financial aspects as modelling inputs. This way, we contribute with innovative modelling approaches that can also deal with the high degree of data uncertainty. Furthermore, in a second -stage analysis, the impact of key exogenous factors on healthcare access and quality is assessed via non -parametric hypothesis testing. Our results show positive and significant correlations of both the revisited HAQI and E-HAQI with the original HAQI 2016 dataset. They also reveal a better use of resources by European and Oceanian countries and territories than by Sub-Saharan African ones. Concerning contextual determinants, socio-demographic development, human development, and the type of health system were found to be statistically significant drivers of healthcare access and quality efficiency.