Previous: TR 95-04 Next: TR 95-06


Intellektik: Technical report 95-05

Lukasiewicz Problems: Experiments Using Program Analysis and Transformation

Andre de Waal

In this report we describe experiments performed on the Lukasiewicz problems with the aim of reducing the explosion of the search space experienced with even the simplest of these problems. In the experiments we apply various logic program analysis and transformation techniques to selected problems. The results of the experiments are reported and preliminary conclusions drawn about the relevance of the tried approaches.

Full Paper: Compressed postscript Compressed DVI

BibTeX entry