A Situation-Calculus Based Theory of Justified Knowledge and Action

Open in new window