Progic 2017: The 8th Workshop on Combining Logic and Probability
print


Breadcrumb Navigation


Content

Program

Day 1 (29 March 2017)

TimeEvent
09:15 - 09:30 Opening
09:30 - 10:45 Richard Bradley: Three Grades of Uncertainty: Decisions and Revisions
10:45 - 11:00 Coffee Break
11:00 - 11:45 Jon Williamson: Expansion and Revision in Objective Bayesian Inductive Logic
11:45 - 12:30 H. Orri Stefánsson & Katie Steele: Belief Revision for Growing Awareness
12:30 - 14:00 Lunch Break
14:00 - 14:45 Eric Raidl: Ranked Severe Uncertainty and its Revision
14:45 - 15:30 Gustavo Cevolani: A New Way Out of the Lottery Paradox
15:30 - 15:45 Coffee Break
15:45 - 16:30 John R. Welch: Degrees of Credence without Bayes' Theorem

Day 2 (30 March 2017)

TimeEvent
09:30 - 10:45 Gert DeCooman: Predictive Inference and Desirability
10:45 - 11:00 Coffee Break
11:00 - 11:45 Alessio Benavoli, Almundena Colacito, Alessandro Facchini & Marco Zaffalon: Accepting and Rejecting Gambles: A Logical Point of View
11:45 - 12:30 Jason Konek: On the Alethic Foundations of Imprecise Bayesianism: A Defense of IP Scoring Rules
12:30 - 14:00 Lunch Break
14:00 - 15:30 Fabio Cozman: The Finite Model Theory of Bayesian Networks
15:30 - 15:45 Coffee Break
15:45 - 16:30 Christoph Jansen & Georg Schollmeyer: Concepts for Decision Making With Partial Cardinal and Partial Ordinal Preferences
16:30 - 17:15 Jan-Willem Romeijn: Stein's Paradox and Group Rationality
19:00 Conference Dinner (Osterwaldgarten)

Day 3 (31 March 2017)

TimeEvent
09:30 - 10:45 Gregory Wheeler: Mispriced Gambles: What Peers Learn when they Disagree
10:45 - 11:00 Coffee Break
11:00 - 11:45 Niki Pfeifer & Giuseppe Sanfilippo: Coherent Nested Conditional Syllogisms Under Uncertainty
11:45 - 12:30 Matthias Unterhuber: Convergence Results for Probabilistic Logics and Connexive Principles
12:30 - 14:00 Lunch Break
14:00 - 14:45 Christian Wallmann: Bad News: Bayes' Theorem and Chance-Credence Norms are Incompatible
14:45 - 15:30 Rafal Urbaniak: Probabilistic Explication of the Notion of Narration as Used in Judiciary Contexts
15:30 - 15:45 Coffee Break