Representing Flexible Temporal Behaviors in the Situation Calculus

  title={Representing Flexible Temporal Behaviors in the Situation Calculus},
  author={Alberto Finzi and Fiora Pirri},
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… CONTINUE READING
Highly Cited
This paper has 36 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 19 extracted citations

Similar Papers

Loading similar papers…