Program Actions as Actual Causes: A Building Block for Accountability.
Anupam DattaDeepak GargDilsun Kirli KaynarDivya SharmaArunesh SinhaPublished in: CSF (2015)
Keyphrases
- building blocks
- decision theoretic
- back end
- action selection
- relational databases
- multiple agents
- artificial intelligence
- website
- case study
- static analysis
- database
- computer programs
- situation calculus
- software components
- human actions
- dynamic programming
- spatio temporal
- genetic algorithm
- information retrieval
- databases