Acquiring and explaining norms for AI systems
Dauer: 48 Monate, Fördersumme: € 594.956
Training and Guiding AI Agents with Ethical Rules
Dauer: 48 Monate, Fördersumme: € 799.570
Reasoning Tools for Deontic logic and Applications to Indian Sacred Texts
Dauer: 66 Monate, Fördersumme: € 628.200
APALACHE: Abstraction-based Parameterized TLA Checker
Dauer: 48 Monate, Fördersumme: € 539.000