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

DOI10.1016/J.ARTINT.2002.11.001MaRDI QIDQ814564zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Publication:4409861
• Publication:4536322
• Planning as satisfiability: heuristics
• Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
• Planning as heuristic search
• Publication:4737608
• A heuristic technique for multi-agent planning

Cites work

• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 140389 (Why is no real title available?)
• scientific article; zbMATH DE number 1759374 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 1390360 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Answer set programming and plan generation
• Concepts of logical AI
• Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
• GOLOG: A logic programming language for dynamic domains
• Logic programs with stable model semantics as a constraint programming paradigm
• Planning as heuristic search
• Planning for temporally extended goals.
• Proving properties of states in the situation calculus
• STRIPS: A new approach to the application of theorem proving to problem solving
• TALplanner: A temporal logic based forward chaining planner
• Using temporal logics to express search control knowledge for planning

Cited in

(8)

• scientific article; zbMATH DE number 1943829 (Why is no real title available?)
• scientific article; zbMATH DE number 1759374 (Why is no real title available?)
• Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
• Understanding planning tasks. Domain complexity and heuristic decomposition
• Scaling up Heuristic Planning with Relational Decision Trees
• Lifted heuristics for timeline-based planning
• On the exploitation of control knowledge for enhancing automated planning
• scientific article; zbMATH DE number 5906473 (Why is no real title available?)

Describes a project that uses

Uses Software

• GOLOG

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814564)