VERITAS - A Verification Tool for Real-Time Applications in Power System Control Centers

Authors:
Jorge Santos;Luiz Faria;Carlos Ramos;Zita A. Vale;Albino Marques
Affiliations:
-;-;-;-;-
Venue:
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference
Year:
1999

On the Verification of an Expert System: Practical Issues

IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
VERITAS An Application for Knowledge Verification

ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Optimal refinement of rule bases

AI Communications
Optimal refinement of rule bases

AI Communications

Hi-index	0.00