Mattia Panettiere

27 papers B 4C 2Journal 16Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Unified inverse correspondence for LE-logics.
Ann. Pure Appl. Log.
Alessandra Palmigiano, Mattia Panettiere
2025 J jnl
Flexible categorization using formal concept analysis and Dempster-Shafer theory.
Int. J. Approx. Reason.
Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg
2025 — conf
Normative Implications.
DEON
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Xiaolong Wang
2024 C conf
Correspondence Theory on Vector Spaces.
WoLLIC
Alessandra Palmigiano, Mattia Panettiere, Ni Wayan Switrayni
2024 J jnl
Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space.
CoRR
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2024 J jnl
Flexible categorization using formal concept analysis and Dempster-Shafer theory.
CoRR
Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg
2024 J jnl
Modal reduction principles across relational semantics.
Fuzzy Sets Syst.
Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis
2024 J jnl
Modal reduction principles: a parametric shift to graphs.
J. Appl. Non Class. Logics
Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
2024 J jnl
Obligations and permissions on selfextensional logics.
CoRR
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2024 J jnl
Outlier detection using flexible categorization and interrogative agendas.
Decis. Support Syst.
Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg
2024 J jnl
Polynomial-time checking of generalized Sahlqvist syntactic shape.
Theor. Comput. Sci.
Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
2024 B conf
Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic.
AiML
Yifeng Ding, Krishna Manoorkar, Mattia Panettiere, Ruoding Wang
2023 J jnl
A Meta-Learning Algorithm for Interrogative Agendas.
CoRR
Erman Acar, Andrea De Domenico, Krishna Manoorkar, Mattia Panettiere
2023 — conf
Labelled Calculi for Lattice-Based Modal Logics.
ICLA
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
2023 — conf
Labelled Calculi for the Logics of Rough Concepts.
ICLA
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
2023 B conf
Non-distributive Description Logic.
TABLEAUX
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere
2023 J jnl
Outlier detection using flexible categorisation and interrogative agendas.
CoRR
Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg
2023 J jnl
Reconciling transparency, low
J. Log. Comput.
Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere
2022 J jnl
Flexible categorization for auditing using formal concept analysis and Dempster-Shafer theory.
CoRR
Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Nachoem Wijnberg
2022 B conf
Graded modal logic with a single modality.
AiML
Mattia Panettiere, Apostolos Tzimoulis
2022 B conf
Modal inverse correspondence via ALBA.
AiML
Willem Conradie, Mattia Panettiere
2022 J jnl
Modal reduction principles across relational semantics.
CoRR
Willem Conradie, Andrea De Domenico, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Daira Pinto Prieto, Apostolos Tzimoulis
2022 C conf
Subordination Algebras as Semantic Environment of Input/Output Logic.
WoLLIC
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2022 J jnl
Subordination Algebras as Semantic Environment of Input/Output Logic.
CoRR
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2022 J jnl
Unified inverse correspondence for DLE-Logics.
CoRR
Willem Conradie, Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis
2021 — conf
Very Weak, Essentially Undecidabile Set Theories.
CILC
Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere
2020 — conf
From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory.
ICTCS
Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere