Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke. Towards Validation of Rule-Based Systems - The Loop is Closed. In James N. Etheredge, Bill Z. Manaris, editors, Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, May 22-24, 2000, Orlando, Florida, USA. pages 331-335, AAAI Press, 2000.
Abstract is missing.