2 citations · 6 across the 18 of their papers we have counts for
18 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…
Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3
We further develop the algebraic approach to input/output logic initiated in \cite{wollic22}, where subordination algebras and a family of their generalizations were proposed as a…
Flexible categorization using formal concept analysis and Dempster-Shafer theory
Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano +3
The framework developed in the present paper provides a formal ground to generate and study explainable categorizations of sets of entities, based on the epistemic attitudes of ind…
Unified inverse correspondence for LE-logics
Alessandra Palmigiano, Mattia Panettiere
We generalize Kracht's theory of internal describability from classical modal logic to the family of all logics canonically associated with varieties of normal lattice expansions (…
Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
Yiwen Ding, Krishna Manoorkar, Mattia Panettiere +1
In this paper, we introduce the simulations and bisimulations on polarity-based semantics for non-distributive modal logic, which are natural generalizations of those notions on Kr…
Modal reduction principles: a parametric shift to graphs
Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano +1
Graph-based frames have been introduced as a logical framework which internalizes an inherent boundary to knowability. They also support the interpretation of lattice-based (modal)…
Obligations and permissions, algebraically
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3
We further develop the algebraic approach to input/output logic initiated in \cite{wollic22}, where subordination algebras and a family of their generalizations were proposed as a…
Obligations and permissions on selfextensional logics
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3
We further develop the abstract algebraic logic approach to input/output logic initiated in \cite{wollic22}, where the family of selfextensional logics was proposed as a general ba…
Labelled calculi for the logics of rough concepts
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco +3
We introduce sound and complete labelled sequent calculi for the basic normal non-distributive modal logic L and some of its axiomatic extensions, where the labels are atomic formu…
Labelled calculi for lattice-based modal logics
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco +3
We introduce labelled sequent calculi for the basic normal non-distributive modal logic L and 31 of its axiomatic extensions, where the labels are atomic formulas of a first order…
Outlier detection using flexible categorisation and interrogative agendas
Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano +3
Categorization is one of the basic tasks in machine learning and data analysis. Building on formal concept analysis (FCA), the starting point of the present work is that different…
Game semantics for lattice-based modal μ-calculus
Yiwen Ding, Krishna Manoorkar, Mattia Panettiere +2
In this paper, we generalize modal -calculus to the non-distributive (lattice-based) modal -calculus and formalize some scenarios regarding categorization using it. We also p…
Non-distributive description logic
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco +3
We define LE-ALC, a generalization of the description logic ALC based on the propositional logic of general (i.e. not necessarily distributive) lattices, and semantically interpret…
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…
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…
Subordination Algebras as Semantic Environment of Input/Output Logic
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3
We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic…
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…