Programs as Actual Causes: A Building Block for Accountability
Cryptography and Security
2015-05-07 v2
Abstract
An updated version of this paper is available at http://arxiv.org/abs/1505.01131
Cite
@article{arxiv.1501.00747,
title = {Programs as Actual Causes: A Building Block for Accountability},
author = {Anupam Datta and Deepak Garg and Dilsun Kaynar and Divya Sharma and Arunesh Sinha},
journal= {arXiv preprint arXiv:1501.00747},
year = {2015}
}
Comments
This submission has been updated and is available at http://arxiv.org/abs/1505.01131
Related papers
View all related →
Cryptography and Security · Computer Science
Program Actions as Actual Causes: A Building Block for Accountability
Anupam Datta, Deepak Garg, Dilsun Kaynar, Divya Sharma +1
2015-05-06
Computers and Society · Computer Science
Towards a Unified Model of Accountability Infrastructures
Severin Kacianka, Florian Kelbert, Alexander Pretschner
2016-08-30
Databases · Computer Science
The Causality/Repair Connection in Databases: Causality-Programs
Leopoldo Bertossi
2017-06-27
Artificial Intelligence · Computer Science
Causes and Explanations: A Structural-Model Approach, Part I: Causes
Joseph Y. Halpern, Judea Pearl
2007-05-23
Software Engineering · Computer Science
Designing Accountable Systems
Severin Kacianka, Alexander Pretschner
2021-04-30
Artificial Intelligence · Computer Science
Causes and Explanations: A Structural-Model Approach --- Part 1: Causes
Joseph Y. Halpern, Judea Pearl
2013-01-14
Logic in Computer Science · Computer Science
From Verification to Causality-based Explications
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch +3
2021-05-21
Software Engineering · Computer Science
Understanding and Formalizing Accountability for Cyber-Physical Systems
Severin Kacianka, Alexander Pretschner
2018-10-24
Software Engineering · Computer Science
Accountability of Robust and Reliable AI-Enabled Systems: A Preliminary Study and Roadmap
Filippo Scaramuzza, Damian A. Tamburri, Willem-Jan van den Heuvel
2025-06-23
Information Retrieval · Computer Science
Improving Accountability in Recommender Systems Research Through Reproducibility
Alejandro Bellogín, Alan Said
2021-02-02
Artificial Intelligence · Computer Science
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
Michael Gelfond, Jorge Fandinno, Evgenii Balai
2023-06-07
General Relativity and Quantum Cosmology · Physics
From time to causality
E. Minguzzi
2009-09-14
Software Engineering · Computer Science
Expressing Accountability Patterns using Structural Causal Models
Severin Kacianka, Amjad Ibrahim, Alexander Pretschner
2020-05-18
Artificial Intelligence · Computer Science
Reasoning about Counterfactuals and Explanations: Problems, Results and Directions
Leopoldo Bertossi
2021-08-26
Software Engineering · Computer Science
Causality and Responsibility for Formal Verification and Beyond
Hana Chockler
2016-08-30
Artificial Intelligence · Computer Science
Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for Classification
Leopoldo Bertossi, Gabriela Reyes
2021-09-03
Multiagent Systems · Computer Science
Inferring Causality in Agent-Based Simulations - Literature Review
George Hassan-Coring
2019-01-16
Software Engineering · Computer Science
Some Aspects of a Software Reliability Problem
Anton Petrov, Elena Popova, Alexander Petrov
2020-03-06
Software Engineering · Computer Science
Accountability in Open Source Software Ecosystems: Workshop Report
Nandini Sharma, Thomas Bock, Rich Bowen, Sayeed Choudhury +20
2026-02-05
Machine Learning · Computer Science
An ASP-Based Approach to Counterfactual Explanations for Classification
Leopoldo Bertossi
2020-06-17
Computers and Society · Computer Science
Reviewable Automated Decision-Making: A Framework for Accountable Algorithmic Systems
Jennifer Cobbe, Michelle Seng Ah Lee, Jatinder Singh
2021-02-11
Logic in Computer Science · Computer Science
Axiomatic Synthesis of Computer Programs and Computability Theorems
Charlie Volkstorf
2007-05-23
Human-Computer Interaction · Computer Science
Push and Pushback in Contesting AI: Demands for and Resistance to Accountability
Yulu Pi, Lucas Lichner, Jae Woo Lee, Sijia Xiao +2
2026-05-12
Adaptation and Self-Organizing Systems · Physics
A synthesis and a practical approach to complex systems
Nicolas Brodu
2008-03-05
Logic in Computer Science · Computer Science
Answer-Set Programs for Repair Updates and Counterfactual Interventions
Leopoldo Bertossi
2022-09-27