Reinventing Shakey

MaRDI QIDQ2734939zbMATH OpenFDO

Authors Murray Shanahan

Publication date 30 August 2001

zbMATH Keywords

high-level robot controlresolution-based theorem proving

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40)

Recommendations

• Revisiting and parallelizing SHAKE
• A new shimmy model
• Shaking compact sets
• scientific article; zbMATH DE number 3926365
• Movers and shakers
• The shuddering pendulum
• Sloping-and-shaking
• scientific article; zbMATH DE number 4182886

Cited in

(6)

• Message-based evaluation in scheme for high-level robot control
• ${\cal B}$ -Tropos
• scientific article; zbMATH DE number 2080347 (Why is no real title available?)
• An attempt to formalise a non-trivial benchmark problem in common sense reasoning
• Logic-based subsumption architecture
• The causes of the shimmy phenomenon

This page was built for publication: Reinventing Shakey

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