Algorithmic decision theory first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings - ADT 2009 (2009 : Venice, Italy); Rossi, Francesca; Tsoukias, Alexis; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009)
Keywords: Automatic theorem proving -- Congresses; Decision making -- Data processing -- Congresses; Artificial intelligence -- Congresses; Mathematical Logic and Formal Languages; Computer Science; Probability and Statistics in Computer Science; Discrete Mathematics in Computer Science; Math Applications in Computer Science; Special Purpose and Application-Based Systems; Symbolic and Algebraic Manipulation