26 citations · 131 across the 26 of their papers we have counts for
3 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…