Abstract: This study examines the issue of interpretability in fault diagnosis for rolling bearings using a symbolic learning technique. We propose the adoption of weighted signal temporal logic (wSTL ...

Kleber Mendonça Filho's award-winning drama takes place in 1977 Brazil, with Wagner Moura as an academic thrown into ...

This repository contains the code for the poster From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm. The goal is to build up an end-to-end neural based reasoning engine. The ...

Abstract: This article studies the controller synthesis problem for nonlinear control systems under linear temporal logic (LTL) specifications using zonotope techniques. A local-to-global control ...

Blending logic systems with the neural networks that power large language models is one of the hottest trends in artificial intelligence. Now, however, the computer-science community is pushing hard ...