A Logic for Specifying Metric Temporal Constraints for Golog Programs.
Till HofmannGerhard LakemeyerPublished in: CogRob@KR (2018)
Keyphrases
- temporal constraints
- agent programming
- temporal reasoning
- dynamic logic
- situation calculus
- simple temporal
- constraint propagation
- temporal information
- modal logic
- resource constraints
- decision theoretic
- temporal constraint networks
- workflow systems
- logic programming
- consistency checking
- constraint satisfaction problems
- functional dependencies
- temporal aspects
- temporal knowledge
- qualitative and quantitative
- reasoning tasks
- operational semantics
- temporal planning
- np complete
- objective function