26 citations · 62 across the 24 of their papers we have counts for
5 papers · 1 filter
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…
Causal Kripke Models
Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis +2
This work extends Halpern and Pearl's causal models for actual causality to a possible world semantics environment. Using this framework we introduce a logic of actual causality wi…
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…