Model verification and improvement using DISPROVER

DOI10.1016/0004-3702(75)90015-6zbMath0301.68088OpenAlexW2082852448MaRDI QIDQ1215412

S. Singh

Publication date: 1975

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

Full work available at URL: https://doi.org/10.1016/0004-3702(75)90015-6

Mathematics Subject Classification ID

Cites Work

• Planning in a hierarchy of abstraction spaces
• STRIPS: A new approach to the application of theorem proving to problem solving
• Unnamed Item

This page was built for publication: Model verification and improvement using DISPROVER