Maude: Specification and programming in rewriting logic M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ... Theoretical Computer Science 285 (2), 187-243, 2002 | 1133 | 2002 |
The maude system M Clavel, F Durán, S Eker, P Lincoln, N Marti-Oliet, J Meseguer, ... International Conference on Rewriting Techniques and Applications, 240-243, 1999 | 110 | 1999 |
A maude tutorial M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ... Computer Science Laboratory, SRI International, 2000 | 55 | 2000 |
Towards Maude 2.0 M Clave, F Durán, S Eker, P Lincoln, N Marti-Oliet, J Meseguer, ... Electronic Notes in Theoretical Computer Science 36, 294-315, 2000 | 52 | 2000 |
Review of spoken dialogue systems R López-Cózar, Z Callejas, D Griol, JF Quesada Loquens 1 (2), 012, 2014 | 39 | 2014 |
Maude: specification and programming in rewriting logic. SRI International, January 1999 M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ... | 38 | |
Maude as a metalanguage M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, ... Electronic Notes in Theoretical Computer Science 15, 147-160, 1998 | 37 | 1998 |
Dialogue Management in a Home Machine Environment-Linguistic Components over an Agent Architecture. JF Quesada, F Garcia, E Sena, JA Bernal, G Amores Procesamiento del lenguaje natural 27, 2001 | 31 | 2001 |
Dialogue moves for natural command languages JGD Amores Carredano, JF Quesada Moreno Procesamiento del Lenguaje Natural, 27, 2001 | 27 | 2001 |
Using Maude M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, ... Fundamental Approaches to Software Engineering: Third International …, 2000 | 20 | 2000 |
Maude: specification and programming in rewriting logic, SRI International M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ... Computer Science Laboratory, Menlo Park, CA, 1999 | 16 | 1999 |
Epísteme. JG Amores, JF Quesada Procesamiento del Lenguaje Natural 21, 1997 | 15 | 1997 |
A tutorial on Maude. SRI International, March 2000 M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ... | 14 | |
Design of a natural command language dialogue system JF Quesada, D Torre, G Amores SIRIDUS, Deliverable D 3, 2, 2000 | 13 | 2000 |
The SCP parsing algorithm based on syntactic constraint propagation JF Quesada PhD thesis, Universidad de Sevilla, Spain, 1997 | 13 | 1997 |
El algoritmo SCP de análisis sintáctico mediante propagación de restricciones. JF Quesada Procesamiento del Lenguaje Natural 24, 1999 | 12 | 1999 |
Un modelo robusto y eficiente para el análisis sintáctico de lenguajes naturales mediante árboles múltiples virtuales JF Quesada Procesamiento del Lenguaje Natural 19, 1996 | 11 | 1996 |
A computational model for the efficient retrieval of very large structure-based knowledge bases JF Quesada, G Amores Proceedings of Knowledge Representation, Use and Storage for Efficiency …, 1995 | 11 | 1995 |
Knowledge–based reference resolution for dialogue management in a home domain environment JF Quesada, G Amores Proceedings of the sixth workshop on the semantics and pragmatics of …, 2002 | 10 | 2002 |
Información: tratamiento y representación Á Nepomuceno, JF Quesada, FJS Lamillar Universidad de Sevilla, Secretariado de publicaciones, 2001 | 10 | 2001 |