Sabine Frittella

Orcid: 0000-0003-4736-8614

According to our database1, Sabine Frittella authored at least 36 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Reasoning with belief functions over Belnap-Dunn logic.
Ann. Pure Appl. Log., 2024

A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent.
Proceedings of the Proceedings 27th International Conference on Extending Database Technology, 2024

2023
Qualitative reasoning in a two-layered framework.
Int. J. Approx. Reason., March, 2023

Presumptive Reasoning in a Paraconsistent Setting.
Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

Paraconsistent Gödel modal logic on bi-relational frames.
CoRR, 2023

Two-Layered Logics for Paraconsistent Probabilities.
Proceedings of the Logic, Language, Information, and Computation, 2023

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.
Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

Non-standard Modalities in Paraconsistent Gödel Logic.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory.
Proceedings of the International Symposium on Imprecise Probability: Theories and Applications, 2023

Demo: Data Minimization and Informed Consent in Administrative Forms.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022
Updating belief functions over Belnap-Dunn logic.
CoRR, 2022

Distributed Transition Systems with Tags for Privacy Analysis.
CoRR, 2022

Privacy Analysis with a Distributed Transition System and a Data-Wise Metric.
Proceedings of the Privacy in Statistical Databases - International Conference, 2022

Mise à jour des fonctions de croyances sur la logique de Belnap-Dunn.
Proceedings of the Rencontres francophones sur la Logique Floue et ses Applications, 2022

Fonctions de croyances interprétées sur la logique de Belnap-Dunn.
Proceedings of the 16èmes Journées d'Intelligence Artificielle Fondamentale, 2022

Paraconsistent Gödel Modal Logic.
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

Toward Updating Belief Functions over Belnap-Dunn Logic.
Proceedings of the Belief Functions: Theory and Applications, 2022

2021
Rough concepts.
Inf. Sci., 2021

Constraint Tableaux for Two-Dimensional Fuzzy Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2020
Toward a Dempster-Shafer theory of concepts.
Int. J. Approx. Reason., 2020

How to reason with inconsistent probabilistic information?
CoRR, 2020

Belief Based on Inconsistent Information.
Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2019
Probabilistic Epistemic Updates on Algebras.
ACM Trans. Comput. Log., 2019

2018
Software Tool Support for Modular Reasoning in Modal Logics of Actions.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017
Dual characterizations for finite lattices via correspondence theory for monotone modal logic.
J. Log. Comput., 2017

Toward an Epistemic-Logical Theory of Categorization.
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

2016
Multi-type display calculus for dynamic epistemic logic.
J. Log. Comput., 2016

A proof-theoretic semantic analysis of dynamic epistemic logic.
J. Log. Comput., 2016

Multi-type display calculus for propositional dynamic logic.
J. Log. Comput., 2016

Structural Multi-type Sequent Calculus for Inquisitive Logic.
CoRR, 2016

Tool support for reasoning in display calculi.
CoRR, 2016

A Multi-type Calculus for Inquisitive Logic.
Proceedings of the Logic, Language, Information, and Computation, 2016

Categories: How I Learned to Stop Worrying and Love Two Sorts.
Proceedings of the Logic, Language, Information, and Computation, 2016

Algebraic semantics of refinement modal logic.
Proceedings of the Advances in Modal Logic 11, 2016

2015
Probabilistic Epistemic Updates on Algebras.
Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

2014
Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014


  Loading...