Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

22 résultats
Page :
triés par

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

 Siva Anantharaman , Sabine Frittella , Benjamin Nguyen
Privacy in Statistical Databases (PSD), Sep 2022, PARIS, France. pp.15--30
Communication dans un congrès hal-03767722v1
Image document

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

 Sabine Frittella , Alessandra Palmigiano , Luigi Santocanale
Journal of Logic and Computation, 2016, J Logic Computation 2016, ⟨10.1093/logcom/exw011⟩
Article dans une revue hal-01054715v1
Image document

Toward a Dempster-Shafer theory of concepts

 Sabine Frittella , Krishna Manoorkar , Alessandra Palmigiano , Apostolos Tzimoulis , Nachoem M. Wijnberg
International Journal of Approximate Reasoning, 2020, 125, pp.14-25. ⟨10.1016/j.ijar.2020.05.004⟩
Article dans une revue hal-02504595v1

Multi-type Sequent Calculi

 Sabine Frittella , Giuseppe Greco , Alexander Kurz , Alessandra Palmigiano , Vlasta Sikimic
Trends in Logic XIII, Jul 2014, Lodz, Poland
Communication dans un congrès hal-01509401v1
Image document

Multi-type display calculus for dynamic epistemic logic

 Sabine Frittella , Giuseppe Greco , Alexander Kurz , Alessandra Palmigiano , Vlasta Sikimic
Journal of Logic and Computation, 2016, 26 (6), pp.2017-2065. ⟨10.1093/logcom/exu068⟩
Article dans une revue hal-01509398v1

Constraint Tableaux for Two-Dimensional Fuzzy Logics

 Marta Bílková , Sabine Frittella , Daniil Kozhemiachenko
TABLEAUX 2021: 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2021, Birmingham, United Kingdom. pp.20-37, ⟨10.1007/978-3-030-86059-2_2⟩
Communication dans un congrès hal-03626661v1

Rough concepts

 Willem Conradie , Sabine Frittella , Krishna Manoorkar , Sajad Nazari , Alessandra Palmigiano , et al.
2020
Pré-publication, Document de travail hal-02504608v1

Software Tool Support for Modular Reasoning in Modal Logics of Actions

 Samuel Balco , Sabine Frittella , Giuseppe Greco , Alexander Kurz , Alessandra Palmigiano
9th International Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom
Communication dans un congrès hal-01836507v1

A Multi-type Calculus for Inquisitive Logic

 Sabine Frittella , Giuseppe Greco , Alessandra Palmigiano , Fan Yang
Logic, Language, Information, and Computation. WoLLIC 2016, Aug 2016, Mexico, Mexico. ⟨10.1007/978-3-662-52921-8_14⟩
Communication dans un congrès hal-01509413v1

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

 Willem Conradie , Sabine Frittella , Alessandra Palmigiano , Michele Piazzai , Apostolos Tzimoulis , et al.
Logic, Language, Information, and Computation. WoLLIC 2016, Aug 2016, Mexico, Mexico. ⟨10.1007/978-3-662-52921-8_10⟩
Communication dans un congrès hal-01509409v1
Image document

Algebraic Semantics of Refinement Modal Logic

 Zeinab Bakhtiari , Hans van Ditmarsch , Sabine Frittella
Advances in Modal Logic, Aug 2016, Budapest, Hungary
Communication dans un congrès hal-01301276v1

Multi-type display calculus for propositional dynamic logic

 Sabine Frittella , Giuseppe Greco , Alexander Kurz , Alessandra Palmigiano
Journal of Logic and Computation, 2016, J Logic Computation 2016, 26 (6), ⟨10.1093/logcom/exu064⟩
Article dans une revue hal-01509392v1
Image document

Distributed Transition Systems with Tags for Privacy Analysis

 Siva Anantharaman , Sabine Frittella , Benjamin Nguyen
2022
Pré-publication, Document de travail hal-03623522v3

Tool support for reasoning in display calculi

 Sam Balco , Sabine Frittella , Giuseppe Greco , Alexander Kurz , Alessandra Palmigiano
2016
Pré-publication, Document de travail hal-01509342v1

A proof-theoretic semantic analysis of dynamic epistemic logic

 Sabine Frittella , Giuseppe Greco , Alexander Kurz , Alessandra Palmigiano , Vlasta Sikimic
Journal of Logic and Computation, 2016, J Logic Computation 2016, 26 (6), ⟨10.1093/logcom/exu063⟩
Article dans une revue hal-01509388v1

Paraconsistent Gödel Modal Logic

 Marta Bílková , Sabine Frittella , Daniil Kozhemiachenko
Automated Reasoning, 13385, Springer International Publishing, pp.429-448, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-10769-6_26⟩
Chapitre d'ouvrage hal-03825253v1
Image document

Matthew Effects via Team Semantics

 Sabine Frittella , Giuseppe M Greco , Michele Piazzai , Nachoem M Wijnberg , Fan M Yang
2017
Pré-publication, Document de travail hal-01509419v1

Toward an Epistemic-Logical Theory of Categorization

 Willem Conradie , Sabine Frittella , Alessandra Palmigiano , Apostolos Tzimoulis , Nachoem Wijnberg
TARK 2017 Sixteenth conference on Theoretical Aspects of Rationality and Knowledge, Jul 2017, Liverpool, United Kingdom. pp.167 - 186, ⟨10.4204/EPTCS.251.12⟩
Communication dans un congrès hal-01509416v1

Belief Based on Inconsistent Information

 Marta Bílková , Sabine Frittella , Ondrej Majer , Sajad Nazari
Dynamic Logic: New Trends and Applications, Mar 2022, Prague, Czech Republic. pp.68-86, ⟨10.1007/978-3-030-65840-3_5⟩
Communication dans un congrès hal-03115256v1

Probabilistic Epistemic Updates on Algebras

 Willem Conradie , Sabine Frittella , Alessandra Palmigiano , Apostolos Tzimoulis
LORI V, Oct 2015, Taipei, Taiwan. ⟨10.1007/978-3-662-48561-3_6⟩
Communication dans un congrès hal-01509403v1

Probabilistic Epistemic Updates on Algebras

 Willem Conradie , Sabine Frittella , Alessandra Palmigiano , Apostolos Tzimoulis , Nachoem Wijnberg
ACM Transactions on Computational Logic, 2019, 20 (4), pp.1-75. ⟨10.1145/3341725⟩
Article dans une revue hal-02973836v1

Fixed-point theory in the varieties D_n

 Sabine Frittella , Luigi Santocanale
RAMICS, Apr 2014, Marienstatt im Westerwald, Germany. pp.446--462, ⟨10.1007/978-3-319-06251-8_27⟩
Communication dans un congrès hal-01260836v1
Page :