-
Program Supervision : Yakl and Pegase+ Reference and User Manual
This document describes concepts and tools that we have developed for the program supervision task. The first part is a reference manual, which introduces the concepts... -
Temporal Logic in Natural Language Processing
In this paper, we clarify some linguistic concepts, studying the different levels of representation and processing of linguistic utterances. We also illustrated with... -
Recognition of Textual Inference a State of the Art
This paper is devoted to the study of textual inference, the presenta-tion of different applications of the Recognition of Textual Inference (RTE) and the main levels...
