research
∙
07/27/2017
An Epistemic Foundation for Authentication Logics (Extended Abstract)
While there have been many attempts, going back to BAN logic, to base re...
share
research
∙
08/07/2014
A Logic for Reasoning about Upper Probabilities
We present a propositional logic to reason about the uncertainty of even...
research
∙
07/27/2014
Evidence with Uncertain Likelihoods
An agent often has a number of hypotheses, and must choose among them ba...
research
∙
07/27/2014
A Logic for Reasoning about Evidence
We introduce a logic for reasoning about evidence, that essentially view...
research
∙
07/27/2014