How to clear a block: a theory of plans

DOI10.1007/BF00247434zbMath0641.68149MaRDI QIDQ1100936

Zohar Manna, Richard Waldinger

Publication date: 1987

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

unificationprogram synthesisdeductive-tableau inferenceplan theorysituational logic

Mathematics Subject Classification ID

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

Related Items (3)

Mechanical verification on strategies ⋮ Generating plans in linear logic. I: Actions as proofs ⋮ What robots can do: robot programs and effective achievability

This page was built for publication: How to clear a block: a theory of plans