Artificial Intelligence - Special issue on knowledge representation
Combining qualitative and quantitative constraints in temporal reasoning
Artificial Intelligence
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Model-based programming of fault-aware systems
AI Magazine
Bridging the gap between planning and scheduling
The Knowledge Engineering Review
Semantic Information Processing
Semantic Information Processing
Adding time and intervals to procedural and hierarchical control specifications
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Reasoning on interval and point-based disjunctive metric constraints in temporal contexts
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
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.