Pages that link to "Item:Q1006453"
From MaRDI portal
The following pages link to Linear temporal logic as an executable semantics for planning languages (Q1006453):
Displayed 4 items.
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\) (Q288804) (← links)
- Experimental evaluation of pheromone models in ACOPlan (Q421472) (← links)
- A compiler for MSVL and its applications (Q1630985) (← links)
- A temporal logic programming approach to planning (Q2424818) (← links)