Pages that link to "Item:Q1383350"
From MaRDI portal
The following pages link to Planning for temporally extended goals. (Q1383350):
Displaying 30 items.
- Bounded situation calculus action theories (Q286407) (← links)
- Decentralised LTL monitoring (Q346789) (← links)
- 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)
- The ins and outs of first-order runtime verification (Q888417) (← links)
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- Planning for conjunctive goals (Q1101262) (← links)
- The logical foundations of goal-regression planning in autonomous agents (Q1277699) (← 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)
- SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking (Q2046017) (← links)
- Incremental reasoning in probabilistic signal temporal logic (Q2300466) (← 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)
- Planning temporal events using point-interval logic (Q2473196) (← links)
- Satisfiability of Linear Time Mu-Calculus on Finite Traces (Q2817904) (← links)
- Non-monotonic Temporal Goals (Q2851267) (← links)
- Reasoning about actions with Temporal Answer Sets (Q5299584) (← links)
- SHIP - A Logic-Based Language and Tool to Program Smart Environments (Q5743601) (← 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)
- Risk-aware analysis for interpretations of probabilistic achievement and maintenance commitments (Q6099369) (← links)
- SAT meets tableaux for linear temporal logic satisfiability (Q6611959) (← links)
- On the power of automata minimization in reactive synthesis (Q6649518) (← links)
- Knowing how to plan about planning: higher-order and meta-level epistemic planning (Q6665710) (← links)