Compiling Logical Features into Specialized State-Evaluators by Partial Evaluation, Boolean Tables and Incremental Calculation

Tomoyuki Kaneko, Kazunori Yamaguchi, Satoru Kawai. Compiling Logical Features into Specialized State-Evaluators by Partial Evaluation, Boolean Tables and Incremental Calculation. In Riichiro Mizoguchi, John K. Slaney, editors, PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000, Proceedings. Volume 1886 of Lecture Notes in Computer Science, pages 72-82, Springer, 2000.

Abstract

Abstract is missing.