Normative Logics of Algorithmic Accountability.

Published in: FAccT (2022)

Keyphrases

expressive power
modal logic
inference rules
multi agent systems
classical logic
data sets
artificial intelligence
decision making
website
multiscale
decision procedures
proof theory
propositional calculus
coalition logic