KJ3--a tool assisting formal validation of knowledge-based systems

Chih-Hung Wu, Shie-Jue Lee. KJ3--a tool assisting formal validation of knowledge-based systems. International Journal of Man-Machine Studies, 56(5):495-524, 2002. [doi]

Abstract

Abstract is missing.