Follow
Krishna Balajirao Manoorkar
Krishna Balajirao Manoorkar
Ph.D. candidate, VU Amsterdam
Verified email at vu.nl
Title
Cited by
Cited by
Year
Rough concepts
W Conradie, S Frittella, K Manoorkar, S Nazari, A Palmigiano, A Tzimoulis, ...
Information Sciences 561, 371-413, 2021
332021
Toward a Dempster-Shafer theory of concepts
S Frittella, K Manoorkar, A Palmigiano, A Tzimoulis, N Wijnberg
International Journal of Approximate Reasoning 125, 14-25, 2020
302020
Logics for rough concept analysis
G Greco, P Jipsen, K Manoorkar, A Palmigiano, A Tzimoulis
Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India …, 2019
252019
Proper multi-type display calculi for rough algebras
G Greco, F Liang, K Manoorkar, A Palmigiano
Electronic Notes in Theoretical Computer Science 344, 101-118, 2019
162019
Modal reduction principles across relational semantics
W Conradie, A De Domenico, K Manoorkar, A Palmigiano, M Panettiere, ...
Fuzzy Sets and Systems 481, 108892, 2024
92024
Labelled calculi for the logics of rough concepts
I van der Berg, A De Domenico, G Greco, KB Manoorkar, A Palmigiano, ...
Indian Conference on Logic and Its Applications, 172-188, 2023
42023
Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory
M Bı́lková, S Frittella, D Kozhemiachenko, O Majer, K Manoorkar
International Symposium on Imprecise Probability: Theories and Applications …, 2023
32023
A meta-learning algorithm for interrogative agendas
E Acar, A De Domenico, K Manoorkar, M Panettiere
arXiv preprint arXiv:2301.01837, 2023
32023
Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory
M Boersma, K Manoorkar, A Palmigiano, M Panettiere, A Tzimoulis, ...
arXiv preprint arXiv:2210.17330, 2022
32022
Outlier detection using flexible categorization and interrogative agendas
M Boersma, K Manoorkar, A Palmigiano, M Panettiere, A Tzimoulis, ...
Decision Support Systems 180, 114196, 2024
22024
Non-distributive description logic
I van der Berg, A De Domenico, G Greco, KB Manoorkar, A Palmigiano, ...
International Conference on Automated Reasoning with Analytic Tableaux and …, 2023
22023
Subordination algebras as semantic environment of input/output logic
A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ...
International Workshop on Logic, Language, Information, and Computation, 326-343, 2022
22022
Obligations and permissions, algebraically
A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ...
arXiv preprint arXiv:2403.03148, 2024
12024
Game semantics for lattice-based modal {\mu}-calculus
Y Ding, K Manoorkar, M Panettiere, A Tzimoulis, R Wang
arXiv preprint arXiv:2310.13944, 2023
12023
Labelled calculi for lattice-based modal logics
I van der Berg, A De Domenico, G Greco, KB Manoorkar, A Palmigiano, ...
Indian Conference on Logic and Its Applications, 23-47, 2023
12023
Polynomial-time checking of generalized Sahlqvist syntactic shape
KB Manoorkar, A Palmigiano, M Panettiere
Theoretical Computer Science, 114875, 2024
2024
Defeasible Reasoning on Concepts
Y Ding, K Manoorkar, NW Switrayni, R Wang
arXiv preprint arXiv:2409.04887, 2024
2024
Query answering in lattice-based description logic
K Manoorkar, R Wang
arXiv preprint arXiv:2409.02289, 2024
2024
Modal reduction principles: a parametric shift to graphs
W Conradie, K Manoorkar, A Palmigiano, M Panettiere
Journal of Applied Non-Classical Logics 34 (2-3), 174-222, 2024
2024
Description Logic for Rough Concepts
KB Manoorkar, A De Domenico, A Palmigiano
International Joint Conference on Rough Sets, 67-89, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20