Javier Andrés Pinto

• Temporal reasoning in the situation calculus