Mattia Panettiere
Orcid: 0000-0002-9218-5449
According to our database1,
Mattia Panettiere
authored at least 15 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
Reconciling transparency, low <i>Δ</i>0-complexity and axiomatic weakness in undecidability proofs.
J. Log. Comput., June, 2023
CoRR, 2023
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023
Proceedings of the Logic and Its Applications - 10th Indian Conference, 2023
2022
Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory.
CoRR, 2022
Proceedings of the Logic, Language, Information, and Computation, 2022
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
2021
Proceedings of the 36th Italian Conference on Computational Logic, 2021
2020
Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020