2 citations · 2 across the 4 of their papers we have counts for
4 papers
Normative implications
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +4
We continue to develop a research line initiated in \cite{wollic22}, studying I/O logic from an algebraic approach based on subordination algebras. We introduce the classes of slan…
A Meta-Learning Algorithm for Interrogative Agendas
Erman Acar, Andrea De Domenico, Krishna Manoorkar +1
Explainability is a key challenge and a major research theme in AI research for developing intelligent systems that are capable of working with humans more effectively. An obvious…
Unified inverse correspondence for DLE-Logics
Willem Conradie, Andrea De Domenico, Giuseppe Greco +3
By exploiting the algebraic and order theoretic mechanisms behind Sahlqvist correspondence, the theory of unified correspondence provides powerful tools for correspondence and cano…
On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework
Domenico Cantone, Andrea De Domenico, Pietro Maugeri
The Satisfiability Modulo Theories (SMT) issue concerns the satisfiability of formulae from multiple background theories, usually expressed in the language of first-order predicate…