A new formalism for building network models in Prolog is proposed. It is based on a new semantic interpretation of the Prolog variables and clauses, which are used to represent th...
We provide here the first steps toward a Classification Theory of Elementary Classes with no maximal models, plus some mild set theoretical assumptions, when the class is categori...
This paper regards the recurrent linguistic rule bases. These systems are considered as relational models with several relations. Such representation allows to use relation algebr...
The paper presents a language model that develops syntactic structure and uses it to extract meaningful information from the word history, thus enabling the use of long distance d...