Angela Finlayson, Paul Compton. Run-time validation of knowledge-based systems. In V. Richard Benjamins, Mathieu d'Aquin, Andrew Gordon, editors, Proceedings of the 7th International Conference on Knowledge Capture, K-CAP 2013, Banff, Canada, June 23-26, 2013. pages 25-32, ACM, 2013. [doi]
Abstract is missing.