Search
Now showing items 1-10 of 10
Article
Presentation
The Maude System
(Springer, 1999)
Article
Lexical Object Theory: Specification Level
(Springer, 1998)
Unification has become a major paradigm in Mathematical and Computational Linguistics. The research done in this area may be classified in four main streams: feature structures as an adequate model for the description of ...
PhD Thesis
Estrategias de análisis gramatical y semántico para un sistema dirigido por voz
(1999)
El objetivo de esta tesis es demostrar la eficiencia de un módulo del procesamiento de lenguaje natural (PLN) para un sistema telefónico que tiene como entrada expresiones de habla espontánea y que han sido reconocidas por ...
Article
Maude as a Metalanguage
(Elsevier, 1998)
One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which many models of computation and languages can be naturally represented. There is by now very extensive ...
Article
Presentation
Interpretación reactiva de sistemas basados en conocimiento.
(Universidad de Granada, 1999)
Article
Book
Curso Práctico de Teoría de Conjuntos
(Ediciones La Ñ, 1998)
Todos los que hemos impartido tópicos diversos relativos a la Teoría de Conjuntos, en primer o segundo ciclo universitario, hemos echado de menos, en mayor o menor medida, un texto en el que apareciera un amplio espectro ...
Presentation
A General, Sound and Efficient Natural Language Parsing Algorithm based on Syntactic Constraints Propagation
(AEPIA: Asociación Española para la Inteligencia Artificial, 1997)
This paper presents a new context-free parsing algorithm based on a bidirectional strictly horizontal strategy which incorporates strong top–down predictions (deriva- tions and adjacencies). From a functional point of ...