scientific article; zbMATH DE number 67470

MaRDI QIDQ4012200zbMATH OpenFDO

Authors

Publication date 27 September 1992

zbMATH Keywords

planning logicsemantics of the planning processestruth criterion checking

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• On the nature and role of modal truth criteria in planning
• scientific article; zbMATH DE number 140366
• scientific article; zbMATH DE number 1302385
• AI*IA 2003: Advances in Artificial Intelligence
• A temporal logic programming approach to planning

Cited in

(3)

• A unified framework for explanation-based generalization of partially ordered and partially instantiated plans
• On the nature and role of modal truth criteria in planning
• Turning an Action Formalism Into a Planner—a Case Study

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 Q4012200)