A Theorem Prover for a Diagrammatic Blocks World

Authors

Michael Wollowski, Rose-Hulman Institute of TechnologyFollow

Document Type

Conference Proceeding

Publication Date

2006

External Access URL

https://www.rose-hulman.edu/~wollowsk/DTProver.pdf

Recommended Citation

Wollowski, M. (2006). A theorem prover for a diagrammatic blocks world. In M. Glass (Ed.), Proceedings of the 17th Midwest Artificial Intelligence and Cognitive Science Conference.