Evelina Lamma

Evaluating compliance: from LTL to abductive logic programming.

2015 · Open Research (University of Surrey)

The compliance verification task amounts to establishing if the execution of a system, given in terms of observed events, does re-spect a given property. In the past both the frameworks of Temporal Logics and Logic …

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

2023 · arXiv (Cornell University)

The necessity to manage inconsistency in Description Logics Knowledge Bases (KBs) has come to the fore with the increasing importance gained by the Semantic Web, where information comes from different sources that constantly change their …

Integration between constrained optimization and deep networks: a survey

2024 · Frontiers in Artificial Intelligence

Integration between constrained optimization and deep networks has garnered significant interest from both research and industrial laboratories. Optimization techniques can be employed to optimize the choice of network structure based not only on loss and …