Follow
J F Quesada
Title
Cited by
Cited by
Year
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
11322002
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
1101999
A maude tutorial
M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ...
Computer Science Laboratory, SRI International, 2000
552000
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
522000
Review of spoken dialogue systems
R López-Cózar, Z Callejas, D Griol, JF Quesada
Loquens 1 (2), 012, 2014
392014
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
371998
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
312001
Dialogue moves for natural command languages
JGD Amores Carredano, JF Quesada Moreno
Procesamiento del Lenguaje Natural, 27, 2001
272001
Using Maude
M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, ...
Fundamental Approaches to Software Engineering: Third International …, 2000
202000
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
161999
Epísteme.
JG Amores, JF Quesada
Procesamiento del Lenguaje Natural 21, 1997
151997
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
132000
The SCP parsing algorithm based on syntactic constraint propagation
JF Quesada
PhD thesis, Universidad de Sevilla, Spain, 1997
131997
El algoritmo SCP de análisis sintáctico mediante propagación de restricciones.
JF Quesada
Procesamiento del Lenguaje Natural 24, 1999
121999
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
111996
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
111995
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
102002
Información: tratamiento y representación
Á Nepomuceno, JF Quesada, FJS Lamillar
Universidad de Sevilla, Secretariado de publicaciones, 2001
102001
The system can't perform the operation now. Try again later.
Articles 1–20