Thomas Ågotnes

• Deontic Logic in Computer Science
• Dynamics, Uncertainty and Reasoning