Image de couverture de livre

Policies for Fair Exchanges of Resources

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ceragioli, Lorenzo, Degano, Pierpaolo, Galletta, Letterio, Viganò, Luca
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Logic for Policy Based Resource Exchanges in Multiagent Systems
par: Ceragioli, Lorenzo, et autres
Publié: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
par: Ceragioli, Leonardo, et autres
Publié: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
par: Ceragioli, Leonardo, et autres
Publié: (2025)

A Coalgebraic Model of Quantum Bisimulation
par: Ceragioli, Lorenzo, et autres
Publié: (2025)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
par: Buda, Alessandro G., et autres
Publié: (2026)

Arboreal Categories: An Axiomatic Theory of Resources
par: Abramsky, Samson, et autres
Publié: (2021)

Trustworthiness Preservation by Copies of Machine Learning Systems
par: Ceragioli, Leonardo, et autres
Publié: (2025)

A Unified Framework and Comparative Study of Decentralized Finance Derivatives Protocols
par: Pennella, Luca, et autres
Publié: (2025)

Coverage Types for Resource-Based Policies
par: Passarelli, Angelo, et autres
Publié: (2025)

Existential and positive games: a comonadic and axiomatic view
par: Abramsky, Samson, et autres
Publié: (2025)

Fairness and promptness in Muller formulas
par: Busatto-Gaston, Damien, et autres
Publié: (2022)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
par: Mannucci, Mirco A., et autres
Publié: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
par: Mannucci, Mirco A., et autres
Publié: (2026)

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
par: Ceragioli, Lorenzo, et autres
Publié: (2024)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
par: Spronck, Myrthe, et autres
Publié: (2024)

On the Axioms of Arboreal Categories
par: Jakl, Tomáš, et autres
Publié: (2026)

Resource approximation for the $λμ$-calculus
par: Barbarossa, Davide
Publié: (2024)

Parametric Iteration in Resource Theories
par: Di Giorgio, Alessandro, et autres
Publié: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
par: Joyce, Johnny
Publié: (2025)

Strategies as Resource Terms, and their Categorical Semantics
par: Blondeau-Patissier, Lison, et autres
Publié: (2023)

Inferentialist Resource Semantics
par: Gheorghiu, Alexander V., et autres
Publié: (2024)

Effect Algebras as Omega-categories
par: Perticone, Lorenzo, et autres
Publié: (2023)

Declassification Policy for Program Complexity Analysis
par: Hainry, Emmanuel, et autres
Publié: (2024)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
par: Ceragioli, Lorenzo, et autres
Publié: (2026)

Finitely accessible arboreal adjunctions and Hintikka formulae
par: Reggio, Luca, et autres
Publié: (2023)

A Performance Verification Methodology for Resource Allocation Heuristics
par: Goel, Saksham, et autres
Publié: (2023)

Restricted Chase Termination: You Want More than Fairness
par: Carral, David, et autres
Publié: (2025)

Fair Asynchronous Session Subtyping
par: Bravetti, Mario, et autres
Publié: (2021)

Dynamic Epistemic Logic of Resource Bounded Information Mining Agents
par: Dolgorukov, Vitaliy, et autres
Publié: (2024)

Resource-Aware Quantum Programming with General Recursion and Quantum Control
par: Chardonnet, Kostia, et autres
Publié: (2025)

Policies Grow on Trees: Model Checking Families of MDPs
par: Andriushchenko, Roman, et autres
Publié: (2024)

Systematic Design of Separation Logics
par: Bruni, Roberto, et autres
Publié: (2026)

A General Automata Model for First-Order Temporal Logics (Extended Version)
par: Geatti, Luca, et autres
Publié: (2024)

On the role of connectivity in Linear Logic proofs
par: Di Donna, Raffaele, et autres
Publié: (2025)

The QBF Gallery 2023
par: Heisinger, Simone, et autres
Publié: (2026)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Linear Realisability over nets: multiplicatives (long version)
par: Ragot, Adrien, et autres
Publié: (2024)

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
par: Aceto, Luca, et autres
Publié: (2024)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
par: Aceto, Luca, et autres
Publié: (2025)