Mattia Panettiere

According to our database, Mattia Panettiere authored at least 22 papers between 2020 and 2024.

Collaborative distances:

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

2024

Modal reduction principles: a parametric shift to graphs.

Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

J. Appl. Non Class. Logics, July, 2024

Polynomial-time checking of generalized Sahlqvist syntactic shape.

Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere

Theor. Comput. Sci., 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

Outlier detection using flexible categorization and interrogative agendas.

Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg

Decis. Support Syst., 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

Flexible categorization using formal concept analysis and Dempster-Shafer theory.

Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg

CoRR, 2024

Obligations and permissions on selfextensional logics.

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

CoRR, 2024

Correspondence Theory on Vector Spaces.

Alessandra Palmigiano, Mattia Panettiere, Ni Wayan Switrayni

Proceedings of the Logic, Language, Information, and Computation, 2024

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic.

Yifeng Ding, Krishna Manoorkar, Mattia Panettiere, Ruoding Wang

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Reconciling transparency, low <i>Δ</i>0-complexity and axiomatic weakness in undecidability proofs.

Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere

J. Log. Comput., June, 2023

Outlier detection using flexible categorisation and interrogative agendas.

Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg

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

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

Unified inverse correspondence for DLE-Logics.

Willem Conradie, Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Mattia Panettiere, 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

Graded modal logic with a single modality.

Mattia Panettiere, Apostolos Tzimoulis

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

Modal inverse correspondence via ALBA.

Willem Conradie, Mattia Panettiere

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Very Weak, Essentially Undecidabile Set Theories.

Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere

Proceedings of the 36th Italian Conference on Computational Logic, 2021

2020

From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory.

Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020