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

DOI10.1023/A:1024464815668zbMATH Open1045.68126OpenAlexW1594692706MaRDI QIDQ1397237FDOQ1397237

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

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
• Publication:4488091
• 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

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)

Cited In (3)

• Turning an Action Formalism Into a Planner—a Case Study
• Title not available (Why is that?)
• Heuristic planning: A declarative approach based on strategies for action selection

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)