A logical theory of robot problem solving

DOI10.1016/0004-3702(76)90002-3zbMath0328.68081OpenAlexW2072881556MaRDI QIDQ1226869

Ivan M. Havel, Olga Stepankova

Publication date: 1976

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(76)90002-3

Mathematics Subject Classification ID

Related Items (7)

Automated analysis of operators on state tables: A technique for intelligent search ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On branching and looping. I ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Extracting information from resolution proof trees
• STRIPS: A new approach to the application of theorem proving to problem solving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A logical theory of robot problem solving