Lemmatization in semantic strategies

I studied lemmaizing and caching techniques as a way of combining forward and backward reasoning in semantic resolution strategies. This approach allows one to understand lemmatization as a meta-level inference rule, and covers lemmatization in model elimination as a special case:



Maria Paola Bonacina