Dynamic backward reasoning systems

DOI10.1016/0004-3702(90)90083-CzbMath0717.68087MaRDI QIDQ2638814

Antoni Ligȩza

Publication date: 1990

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

zbMATH Keywords

backward reasoning

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Planning in a hierarchy of abstraction spaces
• STRIPS: A new approach to the application of theorem proving to problem solving
• The Specialization of Programs by Theorem Proving

This page was built for publication: Dynamic backward reasoning systems