The Hyper System: Knowledge Reformation for Efficient First-Order Hypothetical Reasoning.

Helmut Prendinger, Mitsuru Ishizuka, Tetsu Yamamoto

Browse the full PRICAI paper archive.