Preparing a First-Order Knowledge Base for Fast Inference.

Helmut Prendinger, Mitsuru Ishizuka

Browse the full FlAIRS paper archive.