Pages that link to "Item:Q1383350"
From MaRDI portal
The following pages link to Planning for temporally extended goals. (Q1383350):
Displayed 14 items.
- Heuristic planning: A declarative approach based on strategies for action selection (Q814564) (← links)
- A heuristic search approach to planning with temporally extended preferences (Q835825) (← links)
- Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners (Q835826) (← links)
- Answer set based design of knowledge systems (Q854966) (← links)
- Tableau-based automata construction for dynamic linear time temporal logic (Q862830) (← links)
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- Planning control rules for reactive agents (Q1389598) (← links)
- Quantified computation tree logic (Q1603537) (← links)
- Using temporal logics to express search control knowledge for planning (Q1978242) (← links)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← links)
- Maintenance goals of agents in a dynamic environment: formulation and policy construction (Q2389664) (← links)
- GOAL Agents Instantiate Intention Logic (Q5900403) (← links)
- Evaluating new options in the context of existing plans (Q5941210) (← links)
- Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)