Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning

DOI10.1023/A:1024464815668zbMath1045.68126OpenAlexW1594692706MaRDI QIDQ1397237

Josefina Sierra-Santibáñez

Publication date: 27 July 2003

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1024464815668

zbMATH Keywords

blocks world nonlinear planningdeclarative formalizationsheuristic planningreasoning strategies

Mathematics Subject Classification ID

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

Related Items (1)

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

Uses Software

• Unnamed Item

This page was built for publication: Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning