Sabine Frittella

48 papers A* 1A 1B 8C 5Journal 25Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis. Trans. Data Priv. Siva Anantharaman, Sabine Frittella, Benjamin Nguyen
2025	J	`jnl`	Crisp Bi-Gödel Modal Logic and Its Paraconsistent Expansion. Log. J. IGPL Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2025	J	`jnl`	Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis. CoRR Siva Anantharaman, Sabine Frittella, Benjamin Nguyen
2025	J	`jnl`	Filter-induced entailment relations in paraconsistent Gödel logics. Fuzzy Sets Syst. Sabine Frittella, Daniil Kozhemiachenko
2025	J	`jnl`	Fuzzy bi-Gödel modal logic and its paraconsistent relatives. J. Log. Comput. Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2025	J	`jnl`	Two-layered logics for probabilities and belief functions over Belnap-Dunn logic. Math. Struct. Comput. Sci. Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
2025	J	`jnl`	Vers une modélisation de la confiance dans le renseignement sur les menaces cyber. CoRR Laurent Bobelin, Sabine Frittella, Mariam Wehbe
2024	B	`conf`	A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent. EDBT Nicolas Anciaux, Sabine Frittella, Baptiste Joffroy, Benjamin Nguyen, Guillaume Scerri
2024	B	`conf`	Pivotal Rules Consequence in Action Model Logic. SEFM Valentin Cassano, Sabine Frittella
2024	J	`jnl`	Reasoning with belief functions over Belnap-Dunn logic. Ann. Pure Appl. Log. Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari
2024	—	`conf`	Towards a Logical Framework for Reasoning with Stereotypes. SUM Florence Dupin de Saint-Cyr, Francis Faux, Sabine Frittella
2023	A*	`conf`	Demo: Data Minimization and Informed Consent in Administrative Forms. CCS Nicolas Anciaux, Sabine Frittella, Baptiste Joffroy, Benjamin Nguyen
2023	—	`conf`	Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory. ISIPTA Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar
2023	—	`conf`	Décrire et quantifier la contradiction entre des éléments de preuve via la logique de Belnap-Dunn et la théorie de Dempster-Shafer. JIAF Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar
2023	B	`conf`	Non-standard Modalities in Paraconsistent Gödel Logic. JELIA Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2023	J	`jnl`	Paraconsistent Gödel modal logic on bi-relational frames. CoRR Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2023	B	`conf`	Presumptive Reasoning in a Paraconsistent Setting. TARK Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij
2023	J	`jnl`	Qualitative reasoning in a two-layered framework. Int. J. Approx. Reason. Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
2023	C	`conf`	Two-Layered Logics for Paraconsistent Probabilities. WoLLIC Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
2022	J	`jnl`	Distributed Transition Systems with Tags for Privacy Analysis. CoRR Siva Anantharaman, Sabine Frittella, Benjamin Nguyen
2022	—	`conf`	Fonctions de croyances interprétées sur la logique de Belnap-Dunn. JIAF Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari
2022	—	`conf`	Mise à jour des fonctions de croyances sur la logique de Belnap-Dunn. LFA Sabine Frittella, Ondrej Majer, Sajad Nazari
2022	A	`conf`	Paraconsistent Gödel Modal Logic. IJCAR Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2022	C	`conf`	Privacy Analysis with a Distributed Transition System and a Data-Wise Metric. PSD Siva Anantharaman, Sabine Frittella, Benjamin Nguyen
2022	—	`conf`	Toward Updating Belief Functions over Belnap-Dunn Logic. BELIEF Sabine Frittella, Ondrej Majer, Sajad Nazari
2022	J	`jnl`	Updating belief functions over Belnap-Dunn logic. CoRR Sabine Frittella, Ondrej Majer, Sajad Nazari
2021	B	`conf`	Constraint Tableaux for Two-Dimensional Fuzzy Logics. TABLEAUX Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
2021	J	`jnl`	Rough concepts. Inf. Sci. Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg
2020	—	`conf`	Belief Based on Inconsistent Information. DaLí Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari
2020	J	`jnl`	How to reason with inconsistent probabilistic information? CoRR Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari
2020	J	`jnl`	Toward a Dempster-Shafer theory of concepts. Int. J. Approx. Reason. Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg
2019	J	`jnl`	Probabilistic Epistemic Updates on Algebras. ACM Trans. Comput. Log. Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg
2019	J	`jnl`	Rough concepts. CoRR Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg
2019	J	`jnl`	Toward a Dempster-Shafer theory of concepts. CoRR Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg
2018	B	`conf`	Software Tool Support for Modular Reasoning in Modal Logics of Actions. ITP Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
2017	J	`jnl`	Dual characterizations for finite lattices via correspondence theory for monotone modal logic. J. Log. Comput. Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale
2017	B	`conf`	Toward an Epistemic-Logical Theory of Categorization. TARK Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg
2016	C	`conf`	A Multi-type Calculus for Inquisitive Logic. WoLLIC Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang
2016	J	`jnl`	A proof-theoretic semantic analysis of dynamic epistemic logic. J. Log. Comput. Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic
2016	B	`conf`	Algebraic semantics of refinement modal logic. Advances in Modal Logic Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella
2016	C	`conf`	Categories: How I Learned to Stop Worrying and Love Two Sorts. WoLLIC Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg
2016	J	`jnl`	Multi-type display calculus for dynamic epistemic logic. J. Log. Comput. Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic
2016	J	`jnl`	Multi-type display calculus for propositional dynamic logic. J. Log. Comput. Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
2016	J	`jnl`	Structural Multi-type Sequent Calculus for Inquisitive Logic. CoRR Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang
2016	J	`jnl`	Tool support for reasoning in display calculi. CoRR Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
2015	—	`conf`	Probabilistic Epistemic Updates on Algebras. LORI Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis
2014	J	`jnl`	Dual characterizations for finite lattices via correspondence theory for monotone modal logic. CoRR Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale
2014	C	`conf`	Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$. RAMiCS Sabine Frittella, Luigi Santocanale