scientific article

zbMATH Open0609.68063MaRDI QIDQ3750140FDOQ3750140

Zohar Manna, Richard Waldinger

Publication date: 1986

Title of this publication is not available (Why is that?)

zbMATH Keywords

program synthesisunification algorithmrobot planningconditional and recursive plansdeductive-tableau inference system

Mathematics Subject Classification ID

Cited In (1)

• Unification theory

   Recommendations

• How to clear a block: a theory of plans 👍 👎
• A deductive solution for plan generation 👍 👎
• Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison 👍 👎
• A new deductive approach to planning 👍 👎
• Linear deductive planning 👍 👎

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