Krishna Balajirao Manoorkar

View Scopus Profile

Krishna Balajirao Manoorkar

 https://orcid.org/0000-0003-3664-7757
  • 7 Conference contribution
  • 7 Article
  • 3 Preprint
Filter
Conference contribution

Search results

  • 2024

    Description Logic for Rough Concepts

    Manoorkar, K. B., De Domenico, A. & Palmigiano, A., 2024, Rough Sets: International Joint Conference, IJCRS 2024, Halifax, NS, Canada, May 17–20, 2024, Proceedings, Part I. Hu, M., Lingras, P., Cornelis, C., Zhang, Y., Ślęzak, D. & Yao, J. (eds.). Springer Science and Business Media Deutschland GmbH, Vol. 1. p. 67-89 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14839 LNAI).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

  • 2023

    Causal Kripke Models

    Ding, Y., Manoorkar, K., Tzimoulis, A., Wang, R. & Wang, X., 2023, EPTCS 379 Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge Oxford, United Kingdom, 28-30th June 2023. Verbruggen, R. (ed.). p. 185-200 16 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 379).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

    Open Access

  • Labelled Calculi for Lattice-Based Modal Logics

    van der Berg, I., De Domenico, A., Greco, G., Manoorkar, K. B., Palmigiano, A. & Panettiere, M., 2023, Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings. Banerjee, M. & Sreejith, A. V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 23-47 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13963 LNCS).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    8 Downloads (Pure)

  • Labelled Calculi for the Logics of Rough Concepts

    van der Berg, I., De Domenico, A., Greco, G., Manoorkar, K. B., Palmigiano, A. & Panettiere, M., 2023, Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings. Banerjee, M. & Sreejith, A. V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 172-188 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13963 LNCS).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    11 Downloads (Pure)

  • Non-distributive Description Logic

    van der Berg, I., De Domenico, A., Greco, G., Manoorkar, K. B., Palmigiano, A. & Panettiere, M., 2023, Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Proceedings. Ramanayake, R. & Urban, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 49-69 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14278 LNAI).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
  • 2022

    Subordination Algebras as Semantic Environment of Input/Output Logic

    De Domenico, A., Farjami, A., Manoorkar, K., Palmigiano, A., Panettiere, M. & Wang, X., 2022, Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings. Ciabattoni, A., Pimentel, E. & de Queiroz, R. J. G. B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 326-343 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13468 LNCS).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    60 Downloads (Pure)
  • 2019

    Logics for rough concept analysis

    Greco, G., Jipsen, P., Manoorkar, K., Palmigiano, A. & Tzimoulis, A., 2019, Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. Manuel, A. & Khan, M. A. (eds.). Springer Verlag, p. 144-159 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11600 LNCS).

    Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review