Pages that link to "Item:Q2424818"
From MaRDI portal
The following pages link to A temporal logic programming approach to planning (Q2424818):
Displaying 10 items.
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- On the computational complexity of temporal projection, planning, and plan validation (Q1321058) (← links)
- TALplanner: A temporal logic based forward chaining planner (Q1601878) (← links)
- Using temporal logics to express search control knowledge for planning (Q1978242) (← links)
- Handling fuzzy temporal constraints in a planning environment (Q2468753) (← links)
- Planning temporal events using point-interval logic (Q2473196) (← links)
- Temporal logic motion planning using POMDPs with parity objectives (Q2988944) (← links)
- (Q4247687) (← links)
- Object-oriented constraint logic programming for timetable planning (Q4363405) (← links)
- Planning as tabled logic programming (Q4592996) (← links)