Planning for temporally extended goals.
From MaRDI portal
Publication:1383350
DOI10.1023/A:1018985923441zbMath1034.68549MaRDI QIDQ1383350
Fahiem Bacchus, Froduald Kabanza
Publication date: 10 September 2000
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
68T30: Knowledge representation
Related Items
Evaluating new options in the context of existing plans, Temporal representation and reasoning in artificial intelligence: A review, GOAL Agents Instantiate Intention Logic, Heuristic planning: A declarative approach based on strategies for action selection, 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, Answer set based design of knowledge systems, Tableau-based automata construction for dynamic linear time temporal logic, Linear temporal logic as an executable semantics for planning languages, Planning control rules for reactive agents, Quantified computation tree logic, Using temporal logics to express search control knowledge for planning, Specifying and verifying interaction protocols in a temporal action logic, Maintenance goals of agents in a dynamic environment: formulation and policy construction