research
∙
01/04/2023
A Meta-Learning Algorithm for Interrogative Agendas
Explainability is a key challenge and a major research theme in AI resea...
share
research
∙
03/26/2022
Algorithmic correspondence and analytic rules
We introduce the algorithm MASSA which takes classical modal formulas in...
research
∙
03/17/2022
Unified inverse correspondence for DLE-Logics
By exploiting the algebraic and order theoretic mechanisms behind Sahlqv...
research
∙
02/02/2022
Modal reduction principles across relational semantics
The present paper establishes systematic connections among the first-ord...
research
∙
12/09/2021
Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae
As a contribution to quantitative set-theoretic inferencing, a translati...
research
∙
09/17/2021