5 papers · 1 filter
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…
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…