Heuristic planning: A declarative approach based on strategies for action selection

DOI10.1016/J.ARTINT.2002.11.001zbMath1085.68677OpenAlexW2049590056MaRDI QIDQ814564

Josefina Sierra-Santibáñez

Publication date: 7 February 2006

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2002.11.001

zbMATH Keywords

Action selection strategiesAnswer set planningDeclarative formalizationsHeuristic planning

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proving properties of states in the situation calculus
• Planning for temporally extended goals.
• Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
• TALplanner: A temporal logic based forward chaining planner
• Answer set programming and plan generation
• Logic programs with stable model semantics as a constraint programming paradigm
• Using temporal logics to express search control knowledge for planning
• STRIPS: A new approach to the application of theorem proving to problem solving
• GOLOG: A logic programming language for dynamic domains
• Planning as heuristic search

This page was built for publication: Heuristic planning: A declarative approach based on strategies for action selection