Representing Flexible Temporal Behaviors in the Situation Calculus

@inproceedings{Finzi2005RepresentingFT,
  title={Representing Flexible Temporal Behaviors in the Situation Calculus},
  author={Alberto Finzi and Fiora Pirri},
  booktitle={IJCAI},
  year={2005}
}
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.

Citations

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

Similar Papers

Loading similar papers…