-
- Francisco Jesús Martín Mateos, José Antonio
Alonso Jiménez, María José Hidalgo Doblado, José
Luis Ruiz Reina: Formal Verification of Molecular Computational Models
in Acl2: a Case Study. Caepia'2003 X Conferencia de la Asociación
Española para la Inteligencia Artificial, V Jornadas de Transferencia
Tecnológica de Inteligencia Artificial. Donostia- San Sebastian. Universidad
del Pais Vasco. Servicio Editorial. 2003. Pag. 235-244. ISBN: 84-8373-564-4
- José Luis Ruiz Reina, José Antonio Alonso Jiménez,
María José Hidalgo Doblado, Francisco Jesús Martín
Mateos: Termination in Acl2 Using Multiset Relation. Thirty Five Years of
Automating Mathematics. Dordrecht, Holanda. Kluwer Academic Publishers. 2003.
Pag. 217-245. ISBN: 1-4020-1656-5
- José Antonio Alonso Jiménez, María José
Hidalgo Doblado, José Luis Ruiz Reina, Francisco Jesús Martín
Mateos: Formalización del Razonamiento Ecuacional en una Lógica
Computacional. Actas del Encuentro de Matemáticos Andaluces. Sevilla,
España. Universidad de Sevilla y Fundación el Monte. Vol. 2.
2001. Pag. 41-50. ISBN: 84-472-0290-9
- Francisco Jesús Martín Mateos, José Antonio
Alonso Jiménez, María José Hidalgo Doblado, José
Luis Ruiz Reina: Razonamiento Automático en Sistemas de Representación
del Conocimiento (y su Relación con la Enseñanza de la Inteligencia
Artificial). IV Jornades Sobre L'ensenyament Universitari de la Informatica
(Jenui 98). Barcelona, España. Enginyeria I Arquitectura la Salle.
1998. Pag. 289-296. ISBN: 84-922538-3-5
- José Luis Ruiz Reina, José Antonio Alonso Jiménez,
María José Hidalgo Doblado, Francisco Jesús Martín
Mateos: Verificación Automática de Sistemas de Razonamiento
(Aplicación a la Enseñanza de la Inteligencia Artificial). IV
Jornades Sobre L'ensenyament Universitari de la Informatica (Jenui 98). Barcelona,
España. Enginyeria I Arquitectura la Salle. 1998. Pag. 297-304. ISBN:
84-922538-3-5
-
- Francisco Jesús Martín Mateos, José Antonio
Alonso Jiménez, María José Hidalgo Doblado, José
Luis Ruiz Reina: A Formal Proof of Dickson's Lemma in
Acl2. Lecture Notes in Artificial Intelligence. Vol. 2850.
2003. Pag. 49-58
- Francisco Jesús Martín Mateos, José Antonio
Alonso Jiménez, María José Hidalgo Doblado, José
Luis Ruiz Reina: Verification in Acl2 of a Generic Framework to Synthesize
SAT-Provers. Lecture Notes in Artificial
Intelligence. Vol. 2664. 2003. Pag. 97-112
- José Luis Ruiz Reina, José Antonio Alonso Jiménez,
María José Hidalgo Doblado, Francisco Jesús Martín
Mateos: Formal Proofs About Rewriting Using Acl2. Annals of Mathematics and
Artificial Intelligence . Vol. 36. Num. 3. 2002. Pag. 239-262
- José Luis Ruiz Reina, José Antonio Alonso Jiménez,
María José Hidalgo Doblado, Francisco Jesús Martín
Mateos: Formalizing Rewriting in the Acl2 Theorem Prover. Lecture Notes in Artificial Intelligence. Vol. 1930. 2001.
Pag. 92-106
- Francisco Jesús Martín Mateos, José Antonio
Alonso Jiménez, María José Hidalgo Doblado, José
Luis Ruiz Reina: Verifying An Applicative ATP Using Multiset
Relations. Lecture Notes in Artificial Intelligence. Vol.
2178. 2001. Pag. 612-626
-
- Francisco Jesús Martín Mateos, José Antonio
Alonso Jiménez, María José Hidalgo Doblado, José
Luis Ruiz Reina: A Formal Proof of Dickson's Lemma in
Acl2. Proceedings of
the International Conference on Logic for Programming, Artificial Intelligence,
and Reasoning, LPAR 2003. International Conference on Logic for Programming,
Artificial Intelligence, and Reasoning (). Almaty, Kazakhstan. Springer-Verlag.
2003. Pag. 49-58
- José Luis Ruiz Reina, José Antonio Alonso Jiménez,
María José Hidalgo Doblado, Francisco Jesús Martín
Mateos: Formal Reasoning About Efficient Data Structures: a Case Study in
Acl2. LOPSTR 2003, Preproceedings of the International Symposium of Logic
Based Program Synthesis and Transformation. International Workshop on Logic
Based Program Synthesis and Transformation (). Uppsala, Suecia. Katholieke
Universiteit Leuven, Dep. of Computer Science. 2003. Pag. 97-112
- Francisco Jesús Martín Mateos, José Antonio
Alonso Jiménez, María José Hidalgo Doblado, José
Luis Ruiz Reina: Formal Verification of Molecular Computational Models in
Acl2: a Case Study. Actas de la Conferencia de la Asociación Española
para la Inteligencia Artificial, CAEPIA 2003. Conferencia de la Asociación
Española para la Inteligencia Artificial. Num. 10. San Sebastián.
Universidad del Pais Vasco. 2003. Pag. 235-240
- Francisco Jesús Martín Mateos, José Antonio
Alonso Jiménez, María José Hidalgo Doblado, José
Luis Ruiz Reina: A Generic Instantiation Tool and a Case Study: a Generic
Multiset Theory. Third International Workshop on the Acl2 Theorem Prover and
Its Applications. Third International Workshop on the Acl2 Theorem Prover
and Its Applications. Num. 3. Grenoble, Francia. Proceedings of the Conference.
2002. Pag. 188-203
- José Luis Ruiz Reina, José Antonio Alonso Jiménez,
María José Hidalgo Doblado, Francisco Jesús Martín
Mateos: A Theory About First-Order Terms in Acl2. Third International Workshop
on the Acl2 Theorem Prover and Its Applications. Third International Workshop
on the Acl2 Theorem Prover and Its Applications. Num. 3. Grenoble, Francia.
Proceedings of the Conference. 2002. Pag. 78-100
- Francisco Jesús Martín Mateos, José Antonio
Alonso Jiménez, María José Hidalgo Doblado, José
Luis Ruiz Reina: Desarrollo Formal y Verificación de Sistemas Proposicionales.
I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial.
I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial.
Num. 1. Sevilla, España. Actas del Congreso. 2002. Pag. 1-12
- José Luis Ruiz Reina, José Antonio Alonso Jiménez,
María José Hidalgo Doblado, Francisco Jesús Martín
Mateos: Progress Report: Term Dags Using Stobjs. Third International Workshop
on the Acl2 Theorem Prover and Its Applications. Third International Workshop
on the Acl2 Theorem Prover and Its Applications. Num. 3. Grenoble, Francia.
Proceedings of the Conference. 2002. Pag. 101-108
- José Antonio Alonso Jiménez, Joaquin Borrego Diaz,
María José Hidalgo Doblado, Francisco Jesús Martín
Mateos, José Luis Ruiz Reina: Una Introducción al Análisis
Formal de Conceptos en PVS. I Taller Iberoamericano Sobre Deduccion Automatica
e Inteligencia Artificial. I Taller Iberoamericano Sobre Deduccion Automatica
e Inteligencia Artificial. Num. 1. Sevilla, España. Actas del Congreso.
2002. Pag. 33-46
- José Luis Ruiz Reina, José Antonio Alonso Jiménez,
María José Hidalgo Doblado, Francisco Jesús Martín
Mateos: Verificación Formal y Eficiencia: Un Caso de Estudio Aplicado
a la Unificación de Términos. I Taller Iberoamericano Sobre
Deduccion Automatica e Inteligencia Artificial. I Taller Iberoamericano Sobre
Deduccion Automatica e Inteligencia Artificial. Num. 1. Sevilla, España.
Actas del Congreso. 2002. Pag. 77-90
- Francisco Jesús Martín Mateos, José Antonio
Alonso Jiménez, María José Hidalgo Doblado, José
Luis Ruiz Reina: Verification in Acl2 of a Generic Framework to Synthesize
SAT-Provers. Preproceedings of the International Workshop on Logic Based Program
Development and Transformation. International Workshop on Logic Based Program
Development and Transformation. Madrid, Spain. Facultad de Informática
de la Universidad Politécnica de Madrid. 2002. Pag. 182-197
- Francisco Jesús Martín Mateos, José Antonio
Alonso Jiménez, María José Hidalgo Doblado, José
Luis Ruiz Reina: Verifying An Applicative ATP Using Multiset
Relations. Eurocast
2001 Conference. Eurocast 2001 Conference. Las Palmas de Gran Canaria. 0.
2001. Pag. 616-626
- José Luis Ruiz Reina, José Antonio Alonso Jiménez,
María José Hidalgo Doblado, Francisco Jesús Martín
Mateos: A Mechanical Proof of Knuth-Bendix Critical Pair Theorem (Using Acl2).
Proceedings of the Third International Workshop on First-Order Theorem Proving.
First-Order Theorem Proving (3). Num. 3. ST Andrews, Scotland. Fachberichte
Informatik, Universitat Koblenz-Landau. 2000. Pag. 206-216
- José Antonio Alonso Jiménez, María José
Hidalgo Doblado, Francisco Jesús Martín Mateos, José
Luis Ruiz Reina: Formalización del Razonamiento Ecuacional en una Lógica
Computacional. Actas del Encuentro de Matemáticos Andaluces. Encuentro
de Matematicos Andaluces 20 Caamm 2000. Num. 20. Sevilla. Universidad de
Sevilla. 2000. Pag. 41-50. ISBN: 84-472-0290-9
- José Luis Ruiz Reina, José Antonio Alonso Jiménez,
María José Hidalgo Doblado, Francisco Jesús Martín
Mateos: Formalizing Rewriting in the Acl2 Theorem Prover. Artificial Intelligence
and Symbolic Computation, Aisc 2000, Revised Papers. Int. Conference on Artificial
Intelligence and Symbolic Computation (). Madrid, España. Springer-Verlag.
2000. Pag. 92-106
- José Luis Ruiz Reina, José Antonio Alonso Jiménez,
María José Hidalgo Doblado, Francisco Jesús Martín
Mateos: Multiset Relations: a Tool for Proving Termination. Proceedings of
the Acl2 Workshop 2000. Second Acl2 Workshop (2). Num. 2. Austin, Texas, EEUU.
University of Texas At Austin. 2000. Pag. 82-91
- José Luis Ruiz Reina, Francisco Jesús Martín
Mateos, José Antonio Alonso Jiménez, María José
Hidalgo Doblado: Mechanical Verification of a Rule-Based Unification Algorithm
in the Boyer-Moore Theorem Prover. Proc. of Joint Conference on Declarative
Programming. Joint Conference on Declarative Programming. L'aquila, Italia.
1999. Pag. 289-304
- Francisco Jesús Martín Mateos, José Antonio
Alonso Jiménez, María José Hidalgo Doblado, José
Luis Ruiz Reina: Razonamiento Automático en Sistemas de Representación
del Conocimiento (y su Relación con la Enseñanza de la Inteligencia
Artificial). IV Jornades Sobre L'ensenyament Universitari de la InfomÀtica.
IV Jornadas Sobre la Enseñanza Universitaria de la Informatica (Jenui'98)
(). Andorra. Enginyeria I Arquitectura la Salle. 1998. Pag. 289-29
- José Luis Ruiz Reina, José Antonio Alonso Jiménez,
María José Hidalgo Doblado, Francisco Jesús Martín
Mateos: Verificación Automática de Sistemas de Razonamiento
(Aplicación a la Enseñanza de la Inteligencia Artificial). IV
Jornades Sobre L'ensenyament Universitari de la InfomÀtica. IV Jornadas
Sobre la Enseñanza Universitaria de la Informatica (Jenui'98) ().
Andorra. Enginyeria I Arquitectura la Salle. 1998. Pag. 297-304