{"type":"ScholarlyArticle","title":"Representing Flexible Temporal Behaviors in the Situation Calculus","authors":[{"name":"Alberto Finzi","slug":"alberto-finzi","given":"Alberto","family":"Finzi","affiliation":""},{"name":"Fiora Pirri","slug":"fiora-pirri","given":"Fiora","family":"Pirri","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2005/209","pdf":"https://ijcai.org/proceedings/2005/0209.pdf","markdown":"https://ijcai.org/proceedings/2005/209.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/209","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":209,"pages":{"first":436,"last":440},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}