research
∙
07/11/2023
Sequential Language-based Decisions
In earlier work, we introduced the framework of language-based decisions...
share
research
∙
06/22/2021
Language-based Decisions
In Savage's classic decision-theoretic framework, actions are formally d...
research
∙
07/22/2019
Uncertainty About Evidence
We develop a logical framework for reasoning about knowledge and evidenc...
research
∙
03/22/2018
The Epistemology of Nondeterminism
This paper proposes new semantics for nondeterministic program execution...
research
∙
07/27/2017