Joshua Sack | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Bryan Renne
4 publications
Simon Kramer
1 publication
Audrey Yap
1 publication

research

∙ 11/23/2014

Logics of Temporal-Epistemic Actions

We present Dynamic Epistemic Temporal Logic, a framework for reasoning a...

0 Bryan Renne, et al. ∙

research

∙ 09/10/2012

Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)

We propose parametric constructive Kripke-semantics for multi-agent KD45...

0 Simon Kramer, et al. ∙