Buchumschlag

Data quality dimensions for fair AI

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Quaresmini, Camilla, Primiero, Giuseppe
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Artificial Intelligence Logic in Computer Science F.3.0
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Ordinal measures of the set of finite multisets
von: Vialard, Isa
Veröffentlicht: (2023)

On the cartesian product of well-orderings
von: Vialard, Isa
Veröffentlicht: (2022)

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
von: Galmiche, Didier, et al.
Veröffentlicht: (2024)

The syntactic side of autonomous categories enriched over generalised metric spaces
von: Dahlqvist, Fredrik, et al.
Veröffentlicht: (2022)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
von: Perháč, Ján, et al.
Veröffentlicht: (2025)

A Complete V-Equational System for Graded lambda-Calculus
von: Dahlqvist, Fredrik, et al.
Veröffentlicht: (2023)

Algebraic Proof Theory for Infinitary Action Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Different Theories of Parts
von: Pietruszczak, Andrzej
Veröffentlicht: (2024)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
von: Ceragioli, Leonardo, et al.
Veröffentlicht: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
von: Ceragioli, Leonardo, et al.
Veröffentlicht: (2025)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
von: Buda, Alessandro G., et al.
Veröffentlicht: (2026)

Proof-Carrying Neuro-Symbolic Code
von: Komendantskaya, Ekaterina
Veröffentlicht: (2025)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
von: D'Asaro, Fabio Aurelio, et al.
Veröffentlicht: (2022)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
von: Piedeleu, Robin, et al.
Veröffentlicht: (2024)

A Note on the NP-Hardness of PARTITION Via First-Order Projections
von: Iturralde, Paúl Risco
Veröffentlicht: (2025)

Constructibility and the P versus NP problem
von: Hole, Arne
Veröffentlicht: (2024)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
von: McCann, Alan L.
Veröffentlicht: (2026)

Expressive Power of Graph Transformers via Logic
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2025)

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2024)

Graph neural networks and MSO
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2025)

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2026)

Ranking Functions for Linear-Constraint Loops
von: Ben-Amram, Amir M., et al.
Veröffentlicht: (2012)

Domain size asymptotics for Markov logic networks
von: Koponen, Vera
Veröffentlicht: (2025)

Bilateralism with incompatible proofs and refutations
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
von: Artemov, Sergei
Veröffentlicht: (2024)

Non-Compact Proofs
von: Artemov, Sergei
Veröffentlicht: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
von: Artemov, Sergei
Veröffentlicht: (2025)

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
von: Quaresma, Pedro, et al.
Veröffentlicht: (2024)

The Luna Bound Propagator for Formal Analysis of Neural Networks
von: LeCates, Henry, et al.
Veröffentlicht: (2026)

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
von: Soeteman, Arie, et al.
Veröffentlicht: (2025)

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
von: Kuang, Qipeng, et al.
Veröffentlicht: (2025)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
von: McCann, Alan L.
Veröffentlicht: (2026)

The Significance of Symbolic Logic for Scientific Education
von: Platzer, André
Veröffentlicht: (2024)

Adversarial Barrier in Uniform Class Separation
von: Rosko, Milan
Veröffentlicht: (2025)

Universal Algebra in UniMath
von: Amato, Gianluca, et al.
Veröffentlicht: (2020)

Lower Bounds on Inverse Cellular Automata via Proof Complexity
von: Kapytka, Maryia
Veröffentlicht: (2026)

A Theory for Probabilistic Polynomial-Time Reasoning
von: Chen, Lijie, et al.
Veröffentlicht: (2026)

The Fractal Logic of Phi-adic Recursion
von: Rosko, Milan
Veröffentlicht: (2025)

Loops, Inverse Limits and Non-Determinism
von: Brattka, Vasco
Veröffentlicht: (2025)

Cogent argument extensions are weakly admissible but not vice versa
von: Bodanza, Gustavo
Veröffentlicht: (2025)