Linearity and plan generation

DOI10.1007/BF03037463MaRDI QIDQ1108814zbMATH OpenOpenAlexFDO

Authors Bertram Fronhöfer

Publication date 1987

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03037463

zbMATH Keywords

theorem provinglinearityroboticsplan generation

Mathematics Subject Classification ID

Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1203398
• scientific article; zbMATH DE number 1292302
• scientific article; zbMATH DE number 18649
• Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
• Linear deductive planning

Cites work

• scientific article; zbMATH DE number 3657150 (Why is no real title available?)
• A deductive solution for plan generation
• Matings in matrices

Cited in

(7)

• A deductive solution for plan generation
• A new deductive approach to planning
• scientific article; zbMATH DE number 1203398 (Why is no real title available?)
• Generating plans in linear logic. I: Actions as proofs
• Generating plans in linear logic. II: A geometry of conjunctive actions
• Let's plan it deductively!
• Situational calculus, linear connection proofs and STRIPS-like planning: an experimental comparison

This page was built for publication: Linearity and plan generation

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