ON THE SEMANTICS OF STRIPS
- 1 January 1987
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Model verification and improvement using DISPROVERArtificial Intelligence, 1975
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971