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 ...

Abstract: The high level of autonomy within autonomous systems demands new control strategies to achieve more complex objectives while ensuring both safety and robustness, rather than relying solely ...

Predicate pushdown is a widely adopted query optimization. Existing systems and prior work mostly use pattern-matching rules to decide when a predicate can be pushed through certain operators like ...

This repository contains the dataset, the source code and the models for the detection of visual relationships with Logic Tensor Networks. Semantic Image Interpretation is the task of extracting a ...

This library exists to help developers model and query data when testing and developing their applications. It acts as a convenient way of creating schema-based fixtures and querying them with a ...