This perspective piece calls for the study of the new field of Intersymbolic AI, by which we
mean the combination of symbolic AI, whose building blocks have inherent …

In this survey, we design formal verification and control algorithms for autonomous systems
with practical safety guarantees using conformal prediction (CP), a statistical tool for …

This work proposes methodologies for ensuring the trustworthiness of high-risk artificial
intelligence (AI) systems (AIS) to achieve compliance with the European Union's (EU) AI Act …

Cloud computing is a critical component in the success of 5G and 6G networks, particularly
given the computation-intensive nature of emerging applications. Despite all it advantages …

The article discusses the problem of quality control of a neural network model with feedback,
without using a reference model of a dynamic system. An approach is proposed based on …

We lay the foundations for a database-inspired approach to interpreting and understanding
neural network models by querying them using declarative languages. Towards this end we …

This paper introduces a novel approach for learning polynomial representations of physical
objects. Given a point cloud data set associated with a physical object, we solve a one-class …

During the COVID-19 pandemic, traditional demand prediction models drastically failed
mostly due to altered consumption patterns. Accurate forecasts are essential for ensuring …

The Interactive Granular Computing (IGrC) model was created to support the design of
Intelligent Systems (ISs) dealing with complex phenomena. In IGrC, computations are …

Este capítulo da tese de Doutorado é destinado a abordar o escopo da pesquisa.
Inicialmente, é apresentado um breve panorama da conjunção das áreas de inteligência …