scientific article; zbMATH DE number 1487932

MaRDI QIDQ4494475zbMATH OpenFDO

Authors Josefina Sierra-Santibáñez

Publication date 10 August 2000

zbMATH Keywords

circumscriptionsituation calculus

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Declarative formalization of strategies for action selection: Applications to planning
• Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
• Heuristic planning: A declarative approach based on strategies for action selection
• scientific article; zbMATH DE number 140402

Cited in

(2)

• Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
• Declarative representation of strategic control knowledge

This page was built for publication:

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