Krishna Manoorkar

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

Collaborative distances:

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

2024

Obligations and permissions on selfextensional logics.

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

CoRR, 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

Modal reduction principles across relational semantics.

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

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