Alessandra Palmigiano

View Scopus Profile

prof. dr. Alessandra Palmigiano

 https://orcid.org/0000-0001-9656-7527
Filter
Conference contribution

Search results

  • 2024

    Correspondence Theory on Vector Spaces

    Palmigiano, A., Panettiere, M. & Switrayni, N. W., 2024, Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings. Metcalfe, G., Studer, T. & de Queiroz, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 140-156 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14672 LNCS)(WoLLIC: International Workshop on Logic, Language, Information, and Computation; vol. 2024).

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

  • 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

    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
    5 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
    10 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
    57 Downloads (Pure)
  • 2020

    Modelling competing theories

    Conradie, W., Craig, A., Palmigiano, A. & Wijnberg, N., 2020, Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019. Novak, V., Marik, V., Stepnicka, M., Navara, M. & Hurtik, P. (eds.). Atlantis Press, p. 721-739 19 p.

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

    Open Access
    File
    50 Downloads (Pure)
  • 2019

    Modelling Informational Entropy

    Conradie, W., Craig, A., Palmigiano, A. & Wijnberg, N. M., 1 Jan 2019, Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Springer Verlag, p. 140-160 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11541 LNCS).

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

  • 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

  • Non Normal Logics: Semantic Analysis and Proof Theory

    Chen, J., Greco, G., Palmigiano, A. & Tzimoulis, A., 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (eds.). Springer Verlag, p. 99-118 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11541 LNCS).

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

    Open Access
    File
    48 Downloads (Pure)
  • 2018

    Software Tool Support for Modular Reasoning in Modal Logics of Actions

    Balco, S., Frittella, S., Greco, G., Kurz, A. & Palmigiano, A., 1 Jan 2018, Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Avigad, J. & Mahboubi, A. (eds.). Springer Verlag, p. 48-67 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10895 LNCS).

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

  • 2017

    Constructive canonicity for lattice-based fixed point logics

    Conradie, W., Craig, A., Palmigiano, A. & Zhao, Z., 1 Jan 2017, Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, Proceedings. Kennedy, J. & de Queiroz, R. J. G. B. (eds.). Springer Verlag, p. 92-109 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10388 LNCS).

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

  • Lattice logic properly displayed

    Greco, G. & Palmigiano, A., 1 Jan 2017, Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, Proceedings. Kennedy, J. & de Queiroz, R. J. G. B. (eds.). Springer Verlag, p. 153-169 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10388 LNCS).

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

  • Multi-type display calculus for semi de morgan logic

    Greco, G., Liang, F., Moshier, M. A. & Palmigiano, A., 1 Jan 2017, Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, Proceedings. Kennedy, J. & de Queiroz, R. J. G. B. (eds.). Springer Verlag, p. 199-215 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10388 LNCS).

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

  • 2016

    A multi-type calculus for inquisitive logic

    Frittella, S., Greco, G., Palmigiano, A. & Yang, F., 1 Jan 2016, Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer Verlag, p. 215-233 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9803 LNCS).

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

  • Categories: How I learned to stop worrying and love two sorts

    Conradie, W., Frittella, S., Palmigiano, A., Piazzai, M., Tzimoulis, A. & Wijnberg, N. M., 1 Jan 2016, Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer Verlag, p. 145-164 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9803 LNCS).

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

  • Proof systems for the logics for social behaviour

    Palmigiano, A., 1 Jan 2016, Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer Verlag, p. 12-13 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9803 LNCS).

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

  • Sahlqvist correspondence via duality and its applications

    Palmigiano, A., 1 Jan 2016, Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer Verlag, p. 14-15 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9803 LNCS).

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

  • 2015

    An abstract algebraic logic view on judgment aggregation

    Esteban, M., Palmigiano, A. & Zhao, Z., 1 Jan 2015, Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings. Wang, W-F., van der Hoek, W. & Holliday, W. H. (eds.). Springer Verlag, p. 77-89 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9394).

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

  • Generalized ultraproduct and Kirman-Sondermann correspondence for vote abstention

    Bedrosian, G., Palmigiano, A. & Zhao, Z., 1 Jan 2015, Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings. Wang, W-F., van der Hoek, W. & Holliday, W. H. (eds.). Springer Verlag, p. 27-39 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9394).

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

  • Probabilistic epistemic updates on algebras

    Conradie, W., Frittella, S., Palmigiano, A. & Tzimoulis, A., 1 Jan 2015, Logic, Rationality, and Interaction - 5th International Workshop, LORI 2015, Proceedings. Wang, W-F., van der Hoek, W. & Holliday, W. H. (eds.). Springer Verlag, p. 64-76 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9394).

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

  • 2013

    Dynamic epistemic logic displayed

    Greco, G., Kurz, A. & Palmigiano, A., 30 Oct 2013, Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Proceedings. p. 135-148 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8196 LNCS).

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

  • 2008

    Proof systems for the coalgebraic cover modality

    Bílková, M., Palmigiano, A. & Venema, Y., 1 Dec 2008, Advances in Modal Logic 2008. p. 1-21 21 p. (Advances in Modal Logic 2006; vol. 7).

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

  • 2007

    Nabla algebras and chu spaces

    Palmigiano, A. & Venema, Y., 1 Dec 2007, Algebra and Coalgebra in Computer Science - Second International Conference, CALCO 2007, Proceedings. p. 394-408 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4624 LNCS).

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