Proper Multi-Type Display Calculi for Rough Algebras. - Giuseppe Greco 001; Fei Liang; Krishna Manoorkar; Alessandra Palmigiano (LSFA, 2018)

Logics for Rough Concept Analysis. - Giuseppe Greco 001; Peter Jipsen; Krishna Manoorkar; Alessandra Palmigiano; Apostolos Tzimoulis (ICLA, 2019)

Toward a Dempster-Shafer theory of concepts. - Sabine Frittella; Krishna Manoorkar; Alessandra Palmigiano; Apostolos Tzimoulis; Nachoem Wijnberg (Int. J. Approx. Reason., 2020)

Rough concepts. - Willem Conradie; Sabine Frittella; Krishna Manoorkar; Sajad Nazari; Alessandra Palmigiano; Apostolos Tzimoulis; Nachoem M. Wijnberg (Inf. Sci., 2021)

Subordination Algebras as Semantic Environment of Input/Output Logic. - Andrea De Domenico; Ali Farjami; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Xiaolong Wang (WoLLIC, 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)

Labelled Calculi for Lattice-Based Modal Logics. - Ineke van der Berg; Andrea De Domenico; Giuseppe Greco 001; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (ICLA, 2023)

Labelled Calculi for the Logics of Rough Concepts. - Ineke van der Berg; Andrea De Domenico; Giuseppe Greco 001; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (ICLA, 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 (ISIPTA, 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 (JIAF, 2023)

Non-distributive Description Logic. - Ineke van der Berg; Andrea De Domenico; Giuseppe Greco 001; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (TABLEAUX, 2023)

A Meta-Learning Algorithm for Interrogative Agendas. - Erman Acar; Andrea De Domenico; Krishna Manoorkar; Mattia Panettiere (CoRR, 2023)

Causal Kripke Models. - Yiwen Ding; Krishna Manoorkar; Apostolos Tzimoulis; Ruoding Wang; Xiaolong Wang (TARK, 2023)

Outlier detection using flexible categorisation and interrogative agendas. - Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg (CoRR, 2023)

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic. - Yifeng Ding; Krishna Manoorkar; Mattia Panettiere; Ruoding Wang (AiML, 2024)

KLM-style Defeasible Reasoning on Concepts. - Fei Liang; Krishna Manoorkar; Alessandra Palmigiano; Apostolos Tzimoulis (FCA4AI@ECAI, 2024)

Description Logic for Rough Concepts. - Krishna Manoorkar; Andrea De Domenico; Alessandra Palmigiano (IJCRS (1), 2024)

Obligations and permissions on selfextensional logics. - Andrea De Domenico; Ali Farjami; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Xiaolong Wang (CoRR, 2024)

Query answering in lattice-based description logic. - Krishna Manoorkar; Ruoding Wang (CoRR, 2024)

Defeasible Reasoning on Concepts. - Yiwen Ding; Krishna Manoorkar; Ni Wayan Switrayni; Ruoding Wang (CoRR, 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)

Outlier detection using flexible categorization and interrogative agendas. - Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg (Decis. Support Syst., 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)

Polynomial-time checking of generalized Sahlqvist syntactic shape. - Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (Theor. Comput. Sci., 2024)

Modal reduction principles: a parametric shift to graphs. - Willem Conradie; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere (J. Appl. Non Class. Logics, 2024)

Monotone Modal Logic Beyond Distributivity. - Yiwen Ding; Krishna Manoorkar; Alessandra Palmigiano; Ruoding Wang (ICLA, 2025)

Flexible categorization using formal concept analysis and Dempster-Shafer theory. - Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg (Int. J. Approx. Reason., 2025)

Fuzzy Lattice-based Description Logic. - Yiwen Ding; Krishna Manoorkar (CoRR, 2025)

Questions as cognitive filters. - Willem Conradie; Krishna Manoorkar; Alessandra Palmigiano; Apostolos Tzimoulis; Nachoem Wijnberg (CoRR, 2025)