Jorge Santos, Luiz Faria, Carlos Ramos, Zita A. Vale, Albino Marques. Verification of Knowledge Based-Systems for Power System Control Centres. In Ibrahim F. Imam, Yves Kodratoff, Ayman El-Dessouki, Moonis Ali, editors, Multiple Approaches to Intelligent Systems, 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999, Proceedings. Volume 1611 of Lecture Notes in Computer Science, pages 316-325, Springer, 1999.
Abstract is missing.