Alessandra Palmigiano

2024

Polynomial-time checking of generalized Sahlqvist syntactic shape

Manoorkar, K. B., Palmigiano, A. & Panettiere, M., 21 Dec 2024, In: Theoretical Computer Science. 1021, p. 1-17 17 p., 114875.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

Outlier detection using flexible categorization and interrogative agendas

Boersma, M., Manoorkar, K., Palmigiano, A., Panettiere, M., Tzimoulis, A. & Wijnberg, N., May 2024, In: Decision Support Systems. 180, 114196.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

Modal reduction principles across relational semantics

Conradie, W., De Domenico, A., Manoorkar, K., Palmigiano, A., Panettiere, M., Pinto Prieto, D. & Tzimoulis, A., 1 Apr 2024, In: Fuzzy Sets and Systems. 481, p. 1-49 49 p., 108892.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

Algebraic Proof Theory for LE-logics

Greco, G., Jipsen, P., Liang, F., Palmigiano, A. & Tzimoulis, A., Jan 2024, In: ACM Transactions on Computational Logic. 25, 1, p. 1-37 37 p., 6.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

File

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

Modal reduction principles: a parametric shift to graphs

Conradie, W., Manoorkar, K., Palmigiano, A. & Panettiere, M., 2024, In: Journal of Applied Non-Classical Logics. 34, 2-3, p. 174-222 49 p.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

2023

Rechtsbeginselen als beoordelingskader voor de open norm van verwijtbaar handelen als redelijke grond bij de ontbinding van de arbeidsovereenkomst

Meijer, D., Eleveld, A., Palmigiano, A., Turunc, E., de Heer, L. & Zweipfenning, C., Oct 2023, In: Arbeidsrechtelijke annotaties. 22, 3, p. 27-49 23 p.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

File

51 Downloads (Pure)

Linear Logic Properly Displayed

Greco, G. & Palmigiano, A., Apr 2023, In: ACM Transactions on Computational Logic. 24, 2, p. 1-56 56 p., 3570919.

Research output: Contribution to Journal › Article › 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

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)

Multi-type Calculi and Structural Control

Palmigiano, A., 2023, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 381, p. 2-3 2 p.

Research output: Contribution to Journal › Meeting Abstract › Academic

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

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

Boersma, M., Manoorkar, K., Palmigiano, A., Panettiere, M., Tzimoulis, A. & Wijnberg, N., 31 Oct 2022, arXiv.org.

Research output: Working paper / Preprint › Preprint › Professional

Open Access

File

35 Downloads (Pure)

Syntactic Completeness of Proper Display Calculi

Chen, J., Greco, G., Palmigiano, A. & Tzimoulis, A., Oct 2022, In: ACM Transactions on Computational Logic. 23, 4, p. 1-46 46 p., 23.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

File

63 Downloads (Pure)

Non-normal modal logics and conditional logics: Semantic analysis and proof theory

Chen, J., Greco, G., Palmigiano, A. & Tzimoulis, A., Sept 2022, In: Information and Computation. 287, p. 1-27 27 p., 104756.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

File

106 Downloads (Pure)

Unified inverse correspondence for DLE-Logics

Conradie, W., Domenico, A. D., Greco, G., Palmigiano, A., Panettiere, M. & Tzimoulis, A., 17 Mar 2022, arXiv.org.

Research output: Working paper / Preprint › Preprint › Professional

Open Access

File

23 Downloads (Pure)

Modal reduction principles across relational semantics

Conradie, W., Domenico, A. D., Manoorkar, K., Palmigiano, A., Panettiere, M., Prieto, D. P. & Tzimoulis, A., 2 Feb 2022, arXiv.org.

Research output: Working paper / Preprint › Preprint › Professional

Open Access

File

47 Downloads (Pure)

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)

2021

Slanted Canonicity of Analytic Inductive Inequalities

De Rudder, L. & Palmigiano, A., Jul 2021, In: ACM Transactions on Computational Logic. 22, 3, p. 1-41 41 p., 18.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

File

60 Downloads (Pure)

Rough concepts

Conradie, W., Frittella, S., Manoorkar, K., Nazari, S., Palmigiano, A., Tzimoulis, A. & Wijnberg, N. M., Jun 2021, In: Information Sciences. 561, p. 371-413 43 p.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

File

100 Downloads (Pure)

Modelling socio-political competition

Conradie, W., Palmigiano, A., Robinson, C., Tzimoulis, A. & Wijnberg, N., 1 Mar 2021, In: Fuzzy Sets and Systems. 407, p. 115-141 27 p.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

File

150 Downloads (Pure)

Semi De Morgan Logic Properly Displayed

Greco, G., Liang, F., Moshier, M. A. & Palmigiano, A., Feb 2021, In: Studia logica. 109, 1, p. 1-45 45 p.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

File

171 Downloads (Pure)

2020

Toward a Dempster-Shafer theory of concepts

Frittella, S., Manoorkar, K., Palmigiano, A., Tzimoulis, A. & Wijnberg, N., Oct 2020, In: International Journal of Approximate Reasoning. 125, p. 14-25 12 p.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

Vector spaces as kripke frames

Greco, G., Liang, F., Moortgat, M., Palmigiano, A. & Tzimoulis, A., Sept 2020, In: Journal of applied logistics. 7, 5, p. 853-873 21 p.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

File

26 Downloads (Pure)

Constructive canonicity of inductive inequalities

Conradie, W. & Palmigiano, A., 5 Aug 2020, In: Logical Methods in Computer Science. 16, 3, p. 8:1-8:39 39 p., 8.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

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

Residuation algebras with functional duals

Fussner, W. & Palmigiano, A., Dec 2019, In: Algebra Universalis. 80, 4, p. 1-10 10 p., 40.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

File

157 Downloads (Pure)

Algorithmic correspondence and canonicity for non-distributive logics

Conradie, W. & Palmigiano, A., 1 Sept 2019, In: Annals of Pure and Applied Logic. 170, 9, p. 923-974 52 p.

Research output: Contribution to Journal › Article › Academic › peer-review

Probabilistic epistemic updates on algebras

Conradie, W., Frittella, S., Palmigiano, A., Tzimoulis, A. & Wijnberg, N., Aug 2019, In: ACM Transactions on Computational Logic. 20, 4, p. 1-75 75 p., 24.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

File

267 Downloads (Pure)

Bilattice logic properly displayed

Greco, G., Liang, F., Palmigiano, A. & Rivieccio, U., 15 May 2019, In: Fuzzy Sets and Systems. 363, p. 138-155 18 p.

Research output: Contribution to Journal › Article › Academic › peer-review

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

Proper Multi-Type Display Calculi for Rough Algebras

Greco, G., Liang, F., Manoorkar, K. & Palmigiano, A., 1 Jan 2019, In: Electronic Notes in Theoretical Computer Science. 344, p. 101-118 18 p.

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

Sahlqvist Via Translation

Conradie, W., Palmigiano, A. & Zhao, Z., 1 Jan 2019, In: Logical Methods in Computer Science. 15, 1, p. 15:1-15:35

Research output: Contribution to Journal › Article › Academic › peer-review

Open Access

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

Logics for Social Behaviour: An Editorial

Palmigiano, A. & Pivato, M., 1 Oct 2018, In: Studia logica. 106, 5, p. 889-891 3 p.

Research output: Contribution to Journal › Editorial › Academic › peer-review

Open Access

Unified correspondence as a proof-theoretic tool

Greco, G., Ma, M., Palmigiano, A., Tzimoulis, A. & Zhao, Z., 1 Oct 2018, In: Journal of Logic and Computation. 28, 7, p. 1367-1442 76 p.

Research output: Contribution to Journal › Article › Academic › peer-review

THE LOGIC OF RESOURCES AND CAPABILITIES

Bílková, M., Greco, G., Palmigiano, A., Tzimoulis, A. & Wijnberg, N., 1 Jun 2018, In: Review of Symbolic Logic. 11, 2, p. 371-410 40 p.

Research output: Contribution to Journal › Review article › Academic › peer-review

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

Algebraic modal correspondence: Sahlqvist and beyond

Conradie, W., Palmigiano, A. & Sourabh, S., 1 Oct 2017, In: Journal of Logical and Algebraic Methods in Programming. 91, p. 60-84 25 p.

Research output: Contribution to Journal › Article › Academic › peer-review

Toward an epistemic-logical theory of categorization

Conradie, W., Frittella, S., Palmigiano, A., Piazzai, M., Tzimoulis, A. & Wijnberg, N. M., 25 Jul 2017, p. 167-186. 20 p.

Research output: Contribution to Conference › Paper › Academic

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

Dual characterizations for finite lattices via correspondence theory for monotone modal logic

Frittella, S., Palmigiano, A. & Santocanale, L., 1 Jan 2017, In: Journal of Logic and Computation. 27, 3, p. 639-678 40 p.

Research output: Contribution to Journal › Article › Academic › peer-review

Editorial

Conradie, W. & Palmigiano, A., 1 Jan 2017, In: Journal of Logic and Computation. 27, 3, p. 607-608 2 p.

Research output: Contribution to Journal › Editorial › Academic › peer-review

Jónsson-style canonicity for ALBA-inequalities

Palmigiano, A., Sourabh, S. & Zhao, Z., 1 Jan 2017, In: Journal of Logic and Computation. 27, 3, p. 817-865 49 p.

Research output: Contribution to Journal › Article › 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

Sahlqvist theory for impossible worlds

Palmigiano, A., Sourabh, S. & Zhao, Z., 1 Jan 2017, In: Journal of Logic and Computation. 27, 3, p. 775-816 42 p.

Research output: Contribution to Journal › Article › 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

prof. dr. Alessandra Palmigiano

Research output

Search results