Dave Barker-Plummer, John Etchemendy, Michael Murray, Emma Pease, Nik Swoboda. Learning to Use the Openbox: A Framework for the Implementation of Heterogeneous Reasoning. In Philip T. Cox, Beryl Plimmer, Peter J. Rodgers, editors, Diagrammatic Representation and Inference - 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings. Volume 7352 of Lecture Notes in Computer Science, pages 3, Springer, 2012. [doi]
Abstract is missing.