4 papers
A Logical 3-valued Semantics for Nondeterministic Choice
Alessandro Aldini, Pierluigi Graziani, Claudio Antares Mezzina +1
We propose a logical formalisation of computational errors in reactive, nondeterministic systems. To this aim, we introduce a new three-valued symmetric nondeterministic disjunctio…
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…
A logical perspective on intending to keep a true secret
Alessandro Aldini, Davide Fazio, Pierluigi Graziani +2
Logical investigations of the notion of secrecy are typically concentrated on tools for deducing whether private information is well hidden from unauthorized, direct, or indirect a…
Towards Evaluating Large Language Models for Graph Query Generation
Siraj Munir, Alessandro Aldini
Large Language Models (LLMs) are revolutionizing the landscape of Generative Artificial Intelligence (GenAI), with innovative LLM-backed solutions emerging rapidly. However, when a…