Logic, Probability, and Games

Founded 2014 Seminar Number 765 The seminar is concerned with applying formal methods to fundamental issues, with an emphasis on probabilistic reasoning, decision theory, and games. In this context “logic” is broadly interpreted as covering applications that involve formal representations. The topics of interest have been researched within a very broad spectrum of different disciplines, […]

Read More