---
title: "Representing Flexible Temporal Behaviors in the Situation Calculus"
authors:
  - "Alberto Finzi"
  - "Fiora Pirri"
doi: ""
url: "https://ijcai.org/proceedings/2005/209"
pdf: "https://ijcai.org/proceedings/2005/0209.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "436-440"
track: ""
keywords:
---

# Representing Flexible Temporal Behaviors in the Situation Calculus

Alberto Finzi, Fiora Pirri

*Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence*, pages 436-440.

## Abstract

In this paper we present an approach to representing and managing temporally-flexible behaviors in the Situation Calculus based on a model of time and concurrent situations. We define a new hybrid framework combining temporal constraint reasoning and reasoning about actions. We show that the Constraint Based Interval Planning approach can be imported into the Situation Calculus by defining a temporal and concurrent extension of the basic action theory. Finally, we provide a version of the Golog interpreter suitable for managing flexible plans on multiple timelines.