Title: Algorithmic decision theory
Subjects: Computer algorithms, Congresses, Computer science, Mathematics, Artificial intelligence, Decision making, Automatic theorem proving, Decision making, data processing