Sabine Frittella

Florence Dupin de Saint-Cyr

Ann. Pure Appl. Log., 2024

Towards a Logical Framework for Reasoning with Stereotypes.

[BibT_eX]

[DOI]

Francis Faux

Proceedings of the Scalable Uncertainty Management - 16th International Conference, 2024

A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 27th International Conference on Extending Database Technology, 2024

2023

Qualitative reasoning in a two-layered framework.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., March, 2023

Presumptive Reasoning in a Paraconsistent Setting.

[BibT_eX]

[DOI]

Bart Verheij

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Two-Layered Logics for Paraconsistent Probabilities.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Krishna Manoorkar

Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

Non-standard Modalities in Paraconsistent Gödel Logic.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Krishna Manoorkar

Proceedings of the International Symposium on Imprecise Probability: Theories and Applications, 2023

Demo: Data Minimization and Informed Consent in Administrative Forms.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Updating belief functions over Belnap-Dunn logic.

[BibT_eX]

[DOI]

CoRR, 2022

Distributed Transition Systems with Tags for Privacy Analysis.

[BibT_eX]

[DOI]

Siva Anantharaman

Benjamin Nguyen

CoRR, 2022

Privacy Analysis with a Distributed Transition System and a Data-Wise Metric.

[BibT_eX]

[DOI]

Siva Anantharaman

Benjamin Nguyen

Proceedings of the Privacy in Statistical Databases - International Conference, 2022

Mise à jour des fonctions de croyances sur la logique de Belnap-Dunn.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the 16èmes Journées d'Intelligence Artificielle Fondamentale, 2022

Paraconsistent Gödel Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

Toward Updating Belief Functions over Belnap-Dunn Logic.

[BibT_eX]

[DOI]

Proceedings of the Belief Functions: Theory and Applications, 2022

2021

Rough concepts.

[BibT_eX]

[DOI]

Nachoem M. Wijnberg

Inf. Sci., 2021

Constraint Tableaux for Two-Dimensional Fuzzy Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2020

Toward a Dempster-Shafer theory of concepts.

[BibT_eX]

[DOI]

Krishna Manoorkar

Int. J. Approx. Reason., 2020

How to reason with inconsistent probabilistic information?

[BibT_eX]

[DOI]

CoRR, 2020

Belief Based on Inconsistent Information.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications, 2020

2019

Probabilistic Epistemic Updates on Algebras.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2019

2018

Software Tool Support for Modular Reasoning in Modal Logics of Actions.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Dual characterizations for finite lattices via correspondence theory for monotone modal logic.

[BibT_eX]

[DOI]

Luigi Santocanale

J. Log. Comput., 2017

Toward an Epistemic-Logical Theory of Categorization.

[BibT_eX]

[DOI]

Michele Piazzai

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

2016

Multi-type display calculus for dynamic epistemic logic.

[BibT_eX]

[DOI]

Alexander Kurz

Vlasta Sikimic

J. Log. Comput., 2016

A proof-theoretic semantic analysis of dynamic epistemic logic.

[BibT_eX]

[DOI]

Alexander Kurz

Vlasta Sikimic

J. Log. Comput., 2016

Multi-type display calculus for propositional dynamic logic.

[BibT_eX]

[DOI]

Alexander Kurz

J. Log. Comput., 2016

Structural Multi-type Sequent Calculus for Inquisitive Logic.

[BibT_eX]

[DOI]

Fan Yang

CoRR, 2016

Tool support for reasoning in display calculi.

[BibT_eX]

[DOI]

CoRR, 2016

A Multi-type Calculus for Inquisitive Logic.

[BibT_eX]

[DOI]

Fan Yang

Proceedings of the Logic, Language, Information, and Computation, 2016

Categories: How I Learned to Stop Worrying and Love Two Sorts.

[BibT_eX]

[DOI]

Michele Piazzai

Proceedings of the Logic, Language, Information, and Computation, 2016

Algebraic semantics of refinement modal logic.

[BibT_eX]

[DOI]

Zeinab Bakhtiari

Hans van Ditmarsch

Proceedings of the Advances in Modal Logic 11, 2016

2015

Probabilistic Epistemic Updates on Algebras.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

2014

Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$.

[BibT_eX]

[DOI]