2 papers
cs.AI2026
BayesL: a Logical Framework for the Verification of Bayesian Networks
Stefano M. Nicoletti, E. Moritz Hahn, Mariëlle Stoelinga
Modern explainable AI still struggles with a fundamental gap: although Bayesian networks (BNs) provide transparent probabilistic structure, there is no unified way to formally expr…
cs.AI2025
WATCHDOG: an ontology-aWare risk AssessmenT approaCH via object-oriented DisruptiOn Graphs
Stefano M. Nicoletti, E. Moritz Hahn, Mattia Fumagalli +2
When considering risky events or actions, we must not downplay the role of involved objects: a charged battery in our phone averts the risk of being stranded in the desert after a…