A Polynomial-Time Predicate-Logic Hypothetical Reasoning by Networked Bubble Propagation Method.

Yukio Ohsawa, Mitsuru Ishizuka

Browse the full AI paper archive.