Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning (Q1397237)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning |
scientific article; zbMATH DE number 1953616
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning |
scientific article; zbMATH DE number 1953616 |
Statements
Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning (English)
0 references
27 July 2003
0 references
declarative formalizations
0 references
heuristic planning
0 references
reasoning strategies
0 references
blocks world nonlinear planning
0 references
0.90687525
0 references
0.8801755
0 references
0 references
0.8548064
0 references
0.85449183
0 references
