Planning for temporally extended goals.
From MaRDI portal
Publication:1383350
DOI10.1023/A:1018985923441zbMath1034.68549OpenAlexW1552135236MaRDI QIDQ1383350
Fahiem Bacchus, Froduald Kabanza
Publication date: 10 September 2000
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1018985923441
Related Items
Bounded situation calculus action theories ⋮ A heuristic search approach to planning with temporally extended preferences ⋮ Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners ⋮ Specifying and verifying interaction protocols in a temporal action logic ⋮ Reasoning about actions with Temporal Answer Sets ⋮ Answer set based design of knowledge systems ⋮ Maintenance goals of agents in a dynamic environment: formulation and policy construction ⋮ Decentralised LTL monitoring ⋮ Tableau-based automata construction for dynamic linear time temporal logic ⋮ Planning control rules for reactive agents ⋮ The ins and outs of first-order runtime verification ⋮ Risk-aware analysis for interpretations of probabilistic achievement and maintenance commitments ⋮ Using temporal logics to express search control knowledge for planning ⋮ SHIP - A Logic-Based Language and Tool to Program Smart Environments ⋮ Evaluating new options in the context of existing plans ⋮ Temporal representation and reasoning in artificial intelligence: A review ⋮ Linear temporal logic as an executable semantics for planning languages ⋮ SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking ⋮ Incremental reasoning in probabilistic signal temporal logic ⋮ GOAL Agents Instantiate Intention Logic ⋮ Satisfiability of Linear Time Mu-Calculus on Finite Traces ⋮ Quantified computation tree logic ⋮ Heuristic planning: A declarative approach based on strategies for action selection
