Algorithmic Decision Theory Meets Logic : Invited Talk

Jérôme Lang (1)

1 LAMSADE - Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision

Algorithmic decision theory can be roughly defined as the design and study of languages and methods for expressing and solving various classes of decision problems, including: decision under uncertainty, sequential decision making, multicriteria decision making, collective decision making, and strategic interactions in distributed decision making.

Mots clés: knowledge representation; social choice

Domaines: Informatique [cs]

Jérôme Lang. Algorithmic Decision Theory Meets Logic : Invited Talk. 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015), Sep 2015, Lexington, KY, United States. pp.14-19, ⟨10.1007/978-3-319-23264-5⟩. ⟨hal-01498922⟩