Textual Entailment Recognizing by Theorem Proving Approach

Doina Tatar, Militon Frentiu

In this paper we present two original methods for recognizing textual inference. First one is a modified resolution method such that some linguistic considerations are introduced i…