Helmut Prendinger, Mitsuru Ishizuka. Preparing a First-Order Knowledge Base for Fast Inference. In Amruth N. Kumar, Ingrid Russell, editors, Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, May 1-5, 1999, Orlando, Florida, USA. pages 208-212, AAAI Press, 1999.
Abstract is missing.