Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
type: Item
instance of: scholarly article
title: Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
zbMATH Open document ID: 1045.68126
DOI: 10.1023/A:1024464815668
author: Josefina Sierra-Santibáñez
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2003-07-27T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T37
zbMATH DE Number: 1953616
zbMATH Keywords: declarative formalizations
zbMATH Keywords: heuristic planning
zbMATH Keywords: reasoning strategies
zbMATH Keywords: blocks world nonlinear planning
describes a project that uses: GOLOG
MaRDI profile type: Publication
full work available at URL: a:1024464815668
OpenAlex ID: W1594692706
Recommended article: Q4536322
Recommended article: Heuristic planning: A declarative approach based on strategies for action selection
Recommended article: Complexity of Planning in Action Formalisms Based on Description Logics
Recommended article: Planning as satisfiability: heuristics
Recommended article: Q4488091
Recommended article: Q4494475
Recommended article: Possibilistic Planning Using Description Logics: A First Step
Recommended article: Conformant planning via symbolic model checking and heuristic search
Recommended article: Heuristics for planning with penalties and rewards formulated in logic and computed through circuits
description: scientific article; zbMATH DE number 1953616