Scott E. Friedman, Kenneth D. Forbus. Repairing Incorrect Knowledge with Model Formulation and Metareasoning. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 887-893, IJCAI/AAAI, 2011. [doi]
Abstract is missing.