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

DOI10.1023/A:1024464815668MaRDI QIDQ1397237zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1759374
• Heuristic planning: A declarative approach based on strategies for action selection
• Complexity of Planning in Action Formalisms Based on Description Logics
• Planning as satisfiability: heuristics
• scientific article; zbMATH DE number 1467489
• scientific article; zbMATH DE number 1487932
• Possibilistic Planning Using Description Logics: A First Step
• Conformant planning via symbolic model checking and heuristic search
• Heuristics for planning with penalties and rewards formulated in logic and computed through circuits

Cited in

(4)

• Turning an Action Formalism Into a Planner—a Case Study
• scientific article; zbMATH DE number 1487932 (Why is no real title available?)
• scientific article; zbMATH DE number 1759374 (Why is no real title available?)
• Heuristic planning: A declarative approach based on strategies for action selection

Describes a project that uses

Uses Software

• GOLOG

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

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