Explanation-based transformation of logic programs

Author: Henrik Boström; Stockholms Universitet; []

Keywords: SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Artificiell intelligens;

Abstract:

CLICK HERE TO DOWNLOAD THE WHOLE DISSERTATION. (in PDF format)