Linearity and plan generation

DOI10.1007/BF03037463zbMath0654.68100OpenAlexW2020324561MaRDI QIDQ1108814

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 provingroboticslinearityplan generation

Mathematics Subject Classification ID

Related Items (5)

A new deductive approach to planning ⋮ Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison ⋮ A deductive solution for plan generation ⋮ Generating plans in linear logic. I: Actions as proofs ⋮ Let's plan it deductively!

Cites Work

• A deductive solution for plan generation
• Matings in matrices
• Unnamed Item

This page was built for publication: Linearity and plan generation