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

Yukio Ohsawa, Mitsuru Ishizuka. A Polynomial-Time Predicate-Logic Hypothetical Reasoning by Networked Bubble Propagation Method. In Gordon I. McCalla, editor, Advances in Artificial Intelligence, 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 96, Toronto, Ontario, Canada, May 21-24, 1996, Proceedings. Volume 1081 of Lecture Notes in Computer Science, pages 375-387, Springer, 1996.

Authors

Yukio Ohsawa

This author has not been identified. Look up 'Yukio Ohsawa' in Google

Mitsuru Ishizuka

This author has not been identified. Look up 'Mitsuru Ishizuka' in Google