A Logic for Specifying Metric Temporal Constraints for Golog Programs

Hofmann, Till; Lakemeyer, Gerhard

Tempe, AZ, USA (2018)
Contribution to a conference proceedings

In: CogRob 2018, 11th Cognitive Robotics Workshop : proceedings of the 11th Cognitive Robotics Workshop (CogRob-18), held in conjunction with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR-2018) : Tempe, Arizona, USA, October 27, 2018
Page(s)/Article-Nr.: 36-46

Institutions

• UnRAVeL Research Training Group [080060]
• Department of Computer Science [120000]
• Computer Science 5 (Knowledge-Based Systems Group) [121920]