Sabine Frittella

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 36

Top Topics

Belief Functions

Dempster Shafer

Top Venues

J. Log. Comput.

Int. J. Approx. Reason.

Publications

Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari
Reasoning with belief functions over Belnap-Dunn logic. Ann. Pure Appl. Log. 175 (9) (2024)
Nicolas Anciaux, Sabine Frittella, Baptiste Joffroy, Benjamin Nguyen, Guillaume Scerri
A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent. EDBT (2024)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
Two-Layered Logics for Paraconsistent Probabilities. WoLLIC (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
Qualitative reasoning in a two-layered framework. Int. J. Approx. Reason. 154 (2023)
Sabine Frittella, Daniil Kozhemiachenko, Bart Verheij
Presumptive Reasoning in a Paraconsistent Setting. TARK (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Non-standard Modalities in Paraconsistent Gödel Logic. JELIA (2023)
Nicolas Anciaux, Sabine Frittella, Baptiste Joffroy, Benjamin Nguyen
Demo: Data Minimization and Informed Consent in Administrative Forms. CCS (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar
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 (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Paraconsistent Gödel modal logic on bi-relational frames. CoRR (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar
Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory. ISIPTA (2023)
Siva Anantharaman, Sabine Frittella, Benjamin Nguyen
Privacy Analysis with a Distributed Transition System and a Data-Wise Metric. PSD (2022)
Sabine Frittella, Ondrej Majer, Sajad Nazari
Mise à jour des fonctions de croyances sur la logique de Belnap-Dunn. LFA (2022)
Sabine Frittella, Ondrej Majer, Sajad Nazari
Updating belief functions over Belnap-Dunn logic. CoRR (2022)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari
Fonctions de croyances interprétées sur la logique de Belnap-Dunn. JIAF (2022)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Paraconsistent Gödel Modal Logic. IJCAR (2022)
Sabine Frittella, Ondrej Majer, Sajad Nazari
Toward Updating Belief Functions over Belnap-Dunn Logic. BELIEF (2022)
Siva Anantharaman, Sabine Frittella, Benjamin Nguyen
Distributed Transition Systems with Tags for Privacy Analysis. CoRR (2022)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Constraint Tableaux for Two-Dimensional Fuzzy Logics. TABLEAUX (2021)
Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg
Rough concepts. Inf. Sci. 561 (2021)
Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari
Belief Based on Inconsistent Information. DaLí (2020)
Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg
Toward a Dempster-Shafer theory of concepts. Int. J. Approx. Reason. 125 (2020)
Marta Bílková, Sabine Frittella, Ondrej Majer, Sajad Nazari
How to reason with inconsistent probabilistic information? CoRR (2020)
Sabine Frittella, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg
Toward a Dempster-Shafer theory of concepts. CoRR (2019)
Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg
Rough concepts. CoRR (2019)
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg
Probabilistic Epistemic Updates on Algebras. ACM Trans. Comput. Log. 20 (4) (2019)
Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Software Tool Support for Modular Reasoning in Modal Logics of Actions. ITP (2018)
Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale
Dual characterizations for finite lattices via correspondence theory for monotone modal logic. J. Log. Comput. 27 (3) (2017)
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg
Toward an Epistemic-Logical Theory of Categorization. TARK (2017)
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg
Categories: How I Learned to Stop Worrying and Love Two Sorts. WoLLIC (2016)
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic
A proof-theoretic semantic analysis of dynamic epistemic logic. J. Log. Comput. 26 (6) (2016)
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Multi-type display calculus for propositional dynamic logic. J. Log. Comput. 26 (6) (2016)
Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic
Multi-type display calculus for dynamic epistemic logic. J. Log. Comput. 26 (6) (2016)
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang
Structural Multi-type Sequent Calculus for Inquisitive Logic. CoRR (2016)
Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano
Tool support for reasoning in display calculi. CoRR (2016)
Zeinab Bakhtiari, Hans van Ditmarsch, Sabine Frittella
Algebraic semantics of refinement modal logic. Advances in Modal Logic (2016)
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang
A Multi-type Calculus for Inquisitive Logic. WoLLIC (2016)
Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Apostolos Tzimoulis
Probabilistic Epistemic Updates on Algebras. LORI (2015)
Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale
Dual characterizations for finite lattices via correspondence theory for monotone modal logic. CoRR (2014)
Sabine Frittella, Luigi Santocanale
Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$. RAMiCS (2014)