26 citations · 131 across the 26 of their papers we have counts for
3 papers · 1 filter
Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory
Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano +3
Categorization of business processes is an important part of auditing. Large amounts of transnational data in auditing can be represented as transactions between financial accounts…
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…
Modal reduction principles across relational semantics
Willem Conradie, Andrea De Domenico, Krishna Manoorkar +4
The present paper establishes systematic connections among the first-order correspondents of Sahlqvist modal reduction principles in various relational semantic settings which incl…