2 papers
cs.LO2026
Robust Classification in ML: A Topological Semantics Approach
Dominik Pichler, Mirko Tagliaferri
Robust classification is commonly understood as the stability of a classifier under small perturbations (often adversarial) of input data. In this paper, we propose a logical frame…
cs.LO2025
Support + Belief = Decision Trust
Alessandro Aldini, Agata Ciabattoni, Dominik Pichler +1
We present SBTrust, a logical framework designed to formalize decision trust. Our logic integrates a doxastic modality with a novel non-monotonic conditional operator that establis…