Repository | Book | Chapter
(2002) Progress in discovery science, Dordrecht, Springer.
Reducing search space in solving higher-order equations
Tetsuo Ida , Mircea Marin , Taro Suzuki
pp. 19-30
We describe the results of our investigation of equational problem solving in higher-order setting. The main problem is identified to be that of reducing the search space of higher-order lazy narrowing calculi, namely how to reduce the search space without losing the completeness of the calculi. We present a higher-order calculus HOLN0 as a system of inference rules and discuss various refinements that enable the reduction of the search space by eliminating some sources of nondeterminism inherent in the calculus.
Publication details
Full citation:
Ida, T. , Marin, M. , Suzuki, T. (2002)., Reducing search space in solving higher-order equations, in S. Arikawa & A. Shinohara (eds.), Progress in discovery science, Dordrecht, Springer, pp. 19-30.
This document is unfortunately not available for download at the moment.