Follow
Krishna Balajirao Manoorkar
Krishna Balajirao Manoorkar
Ph.D. candidate, VU Amsterdam
Verified email at vu.nl
Title
Cited by
Cited by
Year
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
Rough concepts
W Conradie, S Frittella, K Manoorkar, S Nazari, A Palmigiano, A Tzimoulis, ...
Information Sciences 561, 371-413, 2021
272021
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
182019
Modal reduction principles across relational semantics
W Conradie, A De Domenico, K Manoorkar, A Palmigiano, M Panettiere, ...
Fuzzy Sets and Systems, 108892, 2024
72024
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
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
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
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
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
Modal reduction principles: a parametric shift to graphs
W Conradie, K Manoorkar, A Palmigiano, M Panettiere
Journal of Applied Non-Classical Logics, 1-49, 2024
2024
Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
Y Ding, K Manoorkar, M Panettiere, R Wang
arXiv preprint arXiv:2404.05574, 2024
2024
Obligations and permissions, algebraically
A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ...
arXiv preprint arXiv:2403.03148, 2024
2024
Outlier detection using flexible categorisation and interrogative agendas
M Boersma, K Manoorkar, A Palmigiano, M Panettiere, A Tzimoulis, ...
Decision Support Systems, 114196, 2024
2024
Obligations and permissions on selfextensional logics
A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ...
arXiv preprint arXiv:2402.07336, 2024
2024
Flexible categorization using formal concept analysis and Dempster-Shafer theory
M Boersma, K Manoorkar, A Palmigiano, M Panettiere, A Tzimoulis, ...
arXiv preprint arXiv:2312.12010, 2023
2023
Game semantics for non-distributive modal µ-calculus
Y Ding, K Manoorkar
arXiv preprint arXiv:2310.13944, 2023
2023
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
2023
The system can't perform the operation now. Try again later.
Articles 1–20