7 papers
Knowledge on a Budget
Ondrej Majer, Krishna Manoorkar, Wolfgang Poiger +1
In various computational systems, accessing information incurs time, memory or energy costs. However, standard epistemic logics usually model the acquisition of evidence as a cost-…
Questions as cognitive filters
Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano +2
In this paper, we develop a logico-algebraic framework for modeling decision-making through deliberation in multi-agent settings. The central concept in this framework is that of i…
Fuzzy Lattice-based Description Logic
Yiwen Ding, Krishna Manoorkar
Recently, description logic LE-ALC was introduced for reasoning in the semantic environment of enriched formal contexts, and a polynomial-time tableaux algorithm was developed to c…
Query Answering in Lattice-based Description Logic
Krishna Manoorkar, Ruoding Wang
Recently, the description logic LE-ALC was introduced for reasoning in the semantic environment of the enriched formal contexts, and a tableaux algorithm was developed for checking…
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…
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…