Krishna Manoorkar

According to our database, Krishna Manoorkar authored at least 26 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Modal reduction principles: a parametric shift to graphs.

Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

J. Appl. Non Class. Logics, July, 2024

Polynomial-time checking of generalized Sahlqvist syntactic shape.

Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Theor. Comput. Sci., 2024

Modal reduction principles across relational semantics.

Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis

Fuzzy Sets Syst., 2024

Outlier detection using flexible categorization and interrogative agendas.

Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg

Decis. Support Syst., 2024

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space.

Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang

CoRR, 2024

Defeasible Reasoning on Concepts.

Yiwen Ding, Krishna Manoorkar, Ni Wayan Switrayni, Ruoding Wang

CoRR, 2024

Query answering in lattice-based description logic.

Krishna Manoorkar, Ruoding Wang

CoRR, 2024

Flexible categorization using formal concept analysis and Dempster-Shafer theory.

Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg

CoRR, 2024

Obligations and permissions on selfextensional logics.

Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang

CoRR, 2024

Description Logic for Rough Concepts.

Krishna Manoorkar, Andrea De Domenico, Alessandra Palmigiano

Proceedings of the Rough Sets - International Joint Conference, 2024

KLM-style Defeasible Reasoning on Concepts.

Fei Liang, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis

Proceedings of the 12th International Workshop "What can FCA do for Artificial Intelligence? co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024), 2024

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic.

Yifeng Ding, Krishna Manoorkar, Mattia Panettiere, Ruoding Wang

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Outlier detection using flexible categorisation and interrogative agendas.

Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg

CoRR, 2023

Causal Kripke Models.

Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang, Xiaolong Wang

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

A Meta-Learning Algorithm for Interrogative Agendas.

Erman Acar, Andrea De Domenico, Krishna Manoorkar, Mattia Panettiere

CoRR, 2023

Non-distributive Description Logic.

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Décrire et quantifier la contradiction entre des éléments de preuve via la logique de Belnap-Dunn et la théorie de Dempster-Shafer.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar

Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory.

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar

Proceedings of the International Symposium on Imprecise Probability: Theories and Applications, 2023

Labelled Calculi for the Logics of Rough Concepts.

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023

Labelled Calculi for Lattice-Based Modal Logics.

Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023

2022

Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory.

Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg

CoRR, 2022

Subordination Algebras as Semantic Environment of Input/Output Logic.

Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang

Proceedings of the Logic, Language, Information, and Computation, 2022

2021

Rough concepts.

Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg

Inf. Sci., 2021

2020

Toward a Dempster-Shafer theory of concepts.

Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg

Int. J. Approx. Reason., 2020

2019

Logics for Rough Concept Analysis.

Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2018

Proper Multi-Type Display Calculi for Rough Algebras.

Giuseppe Greco, Fei Liang, Krishna Manoorkar, Alessandra Palmigiano

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018