Vol-2324⫷ Vol-2325 ⫸Vol-2326
urn:nbn:de:0074-2325-0


Vol-2325/paper-06⫷Vol-2325/paper-07

A Logic for Specifying Metric Temporal Constraints for Golog Programs