Hans-Werner Kelbassa. Higher Order Refinement Heuristics for Rule Validation. In Susan M. Haller, Gene Simmons, editors, Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, May 14-16, 2002, Pensacola Beach, Florida, USA. pages 211-215, AAAI Press, 2002.
Abstract is missing.