Jon William Wetzel, Kenneth D. Forbus. Automated Critique of Sketched Mechanisms. In Karen Zita Haigh, Nestor Rychtyckyj, editors, Proceedings of the Twenty-First Conference on Innovative Applications of Artificial Intelligence, July 14-16, 2009, Pasadena, California, USA. AAAI, 2009. [doi]
Abstract is missing.