![]() |
|
VICERRECTORADO DE INVESTIGACIÓN | ||
![]() |
||||
![]() |
|
|
Ficha personal - José Antonio Alonso Jiménez
José Antonio Alonso Jiménez
Telefono: 95.455.79.55
Email: Solicitar correo
Perfil en ORCID: 0000-0002-8101-1830
Perfil en Scopus: 6602938641
Perfil en Dialnet: 582202
Grupo de Investigación: Logica, Computacion e Ingenieria del Conocimiento
Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Profesor Titular (Universidad)
Responsable de los siguientes proyectos/ayudas en la US:
- Proyecto de investigación:
- Sistemas verificados para razonamiento en la Web semántica (TIN2004-03884)
- Desarrollo y verificación formal de sistemas de razonamiento (TIC2000-1368-C03-02)
- Ayuda a la investigación:
- Incentivo al Grupo de Investigación TIC-137 (2017/TIC-137)
- Ayuda por aportaciones internacionales (PP2018-9741)
- Ayuda por aportaciones internacionales (PP2017-7660)
- Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2007/TIC-137)
- Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2006/TIC-137)
- Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2004/TIC-137)
- Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2005/TIC-137)
- Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2003/TIC-137)
- Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2002/TIC-137)
Participa en los siguientes proyectos/ayudas en la US:
- Proyecto de investigación:
- Lógica Computacional para la Ciencia del Dato (TIN2013-41086-P - Equipo de Investigación)
- Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (P10-TIC-6064 - Investigador)
- Gestión mecanizada del conocimiento matemático. Aplicaciones en lógica (MTM2009-13842-C02-02 - Investigador)
- Modelo lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492 - Investigador)
Cobertura de la base de datos de proyectos, véase aqui
Publicaciones:
Libros
Alonso Jimenez, Jose Antonio:Temas de "Programación funcional" (2016-17). Sevilla. https://www.cs.us.es/~jalonso/cursos/i1m-16/temas/2016-17-IM-temas-PF.pdf. 2016. 339
Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Chavez Gonzalez, Antonia Mª, Cordon Franco, Andres, Hidalgo Doblado, Maria Jose, et. al.:
Exámenes de Programación funcional con Haskell (2009-2015). OpenLibra. 2015. 602
Alonso Jimenez, Jose Antonio:
Temas de "Programación lógica e I.A.". OpenLibra. 2013. 262
Alonso Jimenez, Jose Antonio:
Introducción a la demostracción asistida por ordenador con Isabelle/HOL. OpenLibra. 2013. 283
Alonso Jimenez, Jose Antonio:
Ejercicios de Lógica Informática (2012-13). Sevilla, España. OpenLibra. 2012. 338
Alonso Jimenez, Jose Antonio:
Ejercicios de Informática de Matemáticas. OpenLibra. 2012. 162
Alonso Jimenez, Jose Antonio:
Piensa en Haskell. OpenLibra. 2012. 428
Alonso Jimenez, Jose Antonio:
Temas de Programación funcional (curso 2012-13). OpenLibra. 2012. 321
Alonso Jimenez, Jose Antonio:
Programación Funcional 2011-2012. OpenLibra. 2011. 339
Alonso Jimenez, Jose Antonio:
Temas de Lógica Informática 2010-11. OpenLibra. 2010. 138
Alonso Jimenez, Jose Antonio:
Introducción al cálculo simbólico con Maxima. OpenLibra. 2010. 149
Alonso Jimenez, Jose Antonio:
Programación Funcional con Haskell. OpenLibra. 2010. 339
Alonso Jimenez, Jose Antonio:
Lógica en Haskell. Sevilla, España. OpenLibra. 2008. 138
Alonso Jimenez, Jose Antonio:
Ejercicios de programación declarativa con Prolog. OpenLibra. 2007. 124
Alonso Jimenez, Jose Antonio:
Ejercicios de programación funcional con Haskell. OpenLibra. 2007. 266
Alonso Jimenez, Jose Antonio:
Introducción a la programación lógica con Prolog. OpenLibra. 2006. 33
Alonso Jimenez, Jose Antonio:
Soluciones de exámenes de Lógica Informática. OpenLibra. 2004. 69
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Deducción Automática. Editorial Kronos. 2002. ISBN 84-86273-58-7
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Agentes Inteligentes: una Aproximación desde la Lógica Computacional. Santander (ESPAÑA). Editorial Kronos. 2002. ISBN 84-86273-59-5
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Pérez Jiménez, Mario Jesús, Ruiz Reina, Jose Luis:
Curso práctico de Teoría de Conjuntos. España. Ediciones la ñ. 1998. 373. ISBN 84-89524-45-9 94152 2
Otra participación en Libros
Medina Bulo, María Inmaculada (Autor/a), Alonso Jimenez, Jose Antonio (Director), Ruiz Reina, Jose Luis (Director):Verificación Formal en Acl2 del Algoritmo de Buchberger. Cambridge,. Proquest Information and Learning. 2004
Capítulos en Libros
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:Computational Logic and Knowledge Representation Issues in Data Annalysis for the Semantic Web. Pag. 105-130. En: Data Management in the Semantic Web. Nova. 2013
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Inconsistency, Logic Databases and Ontologies. Vol. 2. Pag. 452-459. En: Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends. Hershey Pa. Igi Global. 2009. ISBN 978-1-60566-242-8
Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Fernandez Lebron, Magdalena, Hidalgo Doblado, Maria Jose:
Extending Attribute Explorations by Means of Boolean Derivatives. Vol. 1. Pag. 121-132. En: Proceedings of the Sixth International Conference on Concept Lattices and Their Applications. Olomouc, Chequia. Radim Belohlavek and Sergei O. Kuznetsov. 2008. ISBN 978-80-244-2111-7
Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Martín Mateos, Francisco Jesús:
Krrt: Knowledge Representation and Reasoning Tutor System. Pag. 150-151. En: Computer Aided Systems Theory. Las Palmas de Gran Canaria, España. Iuctc Universidad de las Palmas de Gran Canaria. 2007. ISBN 978-84-690-3603-7
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Logic Databases and Inconsistgency Handling. Pag. 336-340. En: Encyclopedia of Databases Technologies and Applications. Hershey (Pennsylvania), Estados Unidos. Idea Group Reference. 2006. ISBN 1-59140-560-2
Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Martín Mateos, Francisco Jesús:
Fits: Formalization With an Intelligent Tutor System. Vol. 2. Pag. 861-865. En: Current Developments in Technology-Assisted Education (2006). Badajoz, España. Formatex. 2006. ISBN 84-690-2472-8
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Generalizing Logic Programs Via Subsumption. Vol. 1. Pag. 185-188. En: Eurocast 2003 - Cast and Tools for Complexity in Biological, Physical and Engineering Systems (Extended Abstracts). Las Palmas de Gran Canaria, España. Iuctc Universidad de las Palmas de Gran Canaria. 2003. ISBN 84-688-0820-2
Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Formal Verification of Molecular Computational Models in Acl2: a Case Study. Vol. I. Pag. 235-244. En: CAEPIA-TTIA 2003. San Sebastián. Universidad del País Vasco. 2003. ISBN 84-8373-564-4
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Termination in Acl2 Using Multiset Relation. Vol. 28. Pag. 217-245. En: Thirty Five Years of Automating Mathematics. Dordrecht, Holanda. Kluwer Academic Publishers. 2003. ISBN 1-4020-1656-5
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª, Navarro Marín,Jorge D.:
A Methodology for the Computer-Aided Cleaning of Complex Knowledge Databases. Pag. 1806-1811. En: IECON 2002. Santander (ESPAÑA). IEEE Industrial Electronic Society. 2002. ISBN 0-7803-7475-4
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Deduccion Automatica en Anillos Ternarios: Algunos Métodos de Procesamiento del Conocimiento Matemático. Pag. 23-32. En: Proceedings of the Meeting of Andalusian Mathematicians. Santander (ESPAÑA). Universidad de Sevilla. Secretariado de Publicaciones, Seville; Fundación el Monte, Seville. 2001. ISBN 84-472-0290-9
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Proximidad Entre Clausulas en Programacion Logica Inductiva. Vol. 2. Pag. 33-40. En: Proceedings of the Meeting of Andalusian Mathematicians. Santander (ESPAÑA). Universidad de Sevilla. Secretariado de Publicaciones, Seville; Fundación el Monte, Seville. 2001. ISBN 84-472-0290-9
Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
Formalización del Razonamiento Ecuacional en una Lógica Computacional. Vol. II. Pag. 41-50. En: Actas del Encuentro de Matemáticos Andaluces. Secretariado de Publicaciones - Universidad de Sevilla. 2001. ISBN 84-472-0290-9
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose:
Formalizing Rewriting in the Acl2 Theorem Prover. Pag. 92-106. En: 5th International Conference on Artificial Intelligence and Symbolic Computation. 2000. ISBN 3-540-42071-1
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Estrategias para la Demostración Automática de Teoremas. Pag. 276-283. En: Libro de Actas Cinte'00. Cadiz. Servicio de Publicaciones de la Universidad de Cádiz. 2000
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Interpretación Reactiva de Sistemas Basados en Conocimiento. Pag. 187-193. En: Representación y Organización del Conocimiento en Sus Distintas Perspectivas. su Influencia en la Recuperación de la Información.. Granada. Isko-España. 1999. ISBN 84-699-0289-X
Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Razonamiento Automático en Sistemas de Representación del Conocimiento (y su Relación con la Enseñanza de la Inteligencia Artificial). Pag. 289-296. En: IV Jornades Sobre L'ensenyament Universitari de la Informatica (Jenui 98). . Barcelona, España. Enginyeria I Arquitectura la Salle. 1998. ISBN 84-922538-3-5
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Verificación Automática de Sistemas de Razonamiento (Aplicación a la Enseñanza de la Inteligencia Artificial). Pag. 297-304. En: IV Jornades Sobre L'ensenyament Universitari de la Informatica (Jenui 98). . Barcelona, España. Enginyeria I Arquitectura la Salle. 1998. ISBN 84-922538-3-5
Arrabal Parrilla, Juan Jose, Balbontin Noval, Delia, Alonso Jimenez, Jose Antonio:
Gti: una Herramienta de Edición de Cursos Adaptativos. Pag. 627-634. En: Actas del XIII Congreso Nacional de Ingeniería de Proyectos. Antonio F. Martin Navarro. 1997. ISBN 84-88783-30-2
Arrabal Parrilla, Juan Jose, Balbontin Noval, Delia, Alonso Jimenez, Jose Antonio, Lara Martin, Francisco Felix, Martín Mateos, Francisco Jesús, et. al.:
Gti: una Herramienta de Edición de Cursos Adaptativos. Pag. 627-634. En: Actas del XIII Congreso Nacional de Ingeniería de Proyectos. Antonio F. Martin Navarro. 1997. ISBN 84-88783-30-2
Laita, Luis, Roanes Lozano, Eugenio, Alonso Jimenez, Jose Antonio, Briales Morales, Emilio:
Verificación Algebraica de Sbc Basada en la Lógica Trievaluada, Teoría e Implementación. Pag. 241-255. En: I Jornadas Sobre Inteligencia Artificial, Control y Sistemas Expertos. Servicio de Publicaciones de la Universidad de Alcala. 1996. ISBN 84-8138-147-0
Alonso Jimenez, Jose Antonio, Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
Razonamiento Automático. Pag. 189-211. En: Lógica Formal : Orígenes, Métodos y Aplicaciones. Kronos S.A. 1995. ISBN 84-88620-56-X
Arrabal Parrilla, Juan Jose, Alonso Jimenez, Jose Antonio, Fernandez Margarit, Alejandro, Pérez Jiménez, Mario Jesús:
Automatización de la Aritmética. Pag. 167-182. En: Lenguajes Naturales y Lenguajes Formales, X. Promociones Y Publicaciones Universitarias. 1994. ISBN 84-477-0396-7
Alonso Jimenez, Jose Antonio, Pérez Jiménez, Mario Jesús:
Curso de Teoría de Conjuntos. Pag. 1-51
Publicaciones en Revistas
Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Borrego Diaz, Joaquin, Fernandez Lebron, Magdalena, Hidalgo Doblado, Maria Jose:A logic-algebraic tool for reasoning with Knowledge-Based Systems. En: Journal of Logical and Algebraic Methods in Programming. 2018. Vol. 101. Núm. 1. Pag. 88-109. https://doi.org/10.1016/j.jlamp.2018.09.001
Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Borrego Diaz, Joaquin, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
Formally Verified Tableau-Based Reasoners for a Description Logic. En: Journal of Automated Reasoning. 2014. Vol. 52. Núm. 3. Pag. 331-360. 10.1007/s10817-013-9291-8
Roanes Lozano, Eugenio, Hernando, Antonio, Alonso Jimenez, Jose Antonio, Laita de la Rica, Luis M.:
The Logics¿ Explorer: a Maple package for exploring finite many-valued propositional logics. En: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas. 2011. Vol. 105. Núm. 2. Pag. 323-337. 10.1007/s13398-011-0041-7
Roanes Lozano, Eugenio, Alonso Jimenez, Jose Antonio, Hernando, Antonio, Laita de la Rica, Luis M., Roanes Macías, Eugenio:
A logic approach to decision taking in a railway interlocking system using Maple. En: Mathematics and Computers in Simulation. 2011. Vol. 82. Núm. 1. Pag. 15-28. 10.1016/j.matcom.2010.05.024
Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose:
Proof Pearl: a Formal Proof of Higman's Lemma in Acl2. En: Journal of Automated Reasoning. 2011. Vol. 47. Núm. 3. Pag. 229-250. 10.1007/s10817-010-9178-x
Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martin Mateos, Francisco Jesus, Ruiz Reina, Jose Luis:
Constructing Formally Verified Reasoners for the Alc Description Logic. En: Electronic Notes in Theoretical Computer Science. 2008. Vol. 200. Núm. 3. Pag. 87-102
Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo Antonio, Martin Mateos, Francisco Jesus:
Krrt: Knowledge Representation and Reasoning Tutor System. En: Lecture Notes in Computer Science. 2007. Vol. 4739. Pag. 400-407
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
A Formally Verified Prover for the Alc Description Logic. En: Lecture Notes in Computer Science. 2007. Vol. 4732. Pag. 135-150
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª, Martin Mateos, Francisco Jesus:
Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning. En: IEEE Intelligent Systems and Their Applications. 2006. Vol. 21. Núm. 1. Pag. 42-52
Ruiz Reina, Jose Luis, Martin Mateos, Francisco Jesus, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose:
Formal Correctness of a Quadratic Unification Algorithm. En: Journal of Automated Reasoning. 2006. Vol. 37. Núm. 1-2. Pag. 67-92
Palomo Duarte, Manuel, Martin Mateos, Francisco Jesus, Alonso Jimenez, Jose Antonio:
Rete Algorithm Applied to Robotic Soccer. En: Lecture Notes in Computer Science. 2005. Vol. 3643. Pag. 571-576
Martin Mateos, Francisco Jesus, Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose:
Proof Pearl: a Formal Proof of Higman S Lemma in Acl2. En: Lecture Notes in Computer Science. 2005. Vol. 3603. Pag. 358-372
Medina Bulo, María Inmaculada, Palomo Lozano, Francisco, Alonso Jimenez, Jose Antonio, Ruiz Reina, Jose Luis:
Verified Computer Algebra in Acl2 (Grobner Bases Computation). En: Lecture Notes in Computer Science. 2004. Vol. 3249. Pag. 171-184
Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martin Mateos, Francisco Jesus, Ruiz Reina, Jose Luis:
Verification of the Formal Concept Analysis. En: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales - Serie A: Matematicas. 2004. Vol. 98. Núm. 1-2. Pag. 3-16
Martin Mateos, Francisco Jesus, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Formal Verification of Molecular Computational Models in Acl2: a Case Study. En: Lecture Notes in Computer Science. 2004. Vol. 3040. Pag. 344-353
Chavez Gonzalez, Antonia Mª, Borrego Diaz, Joaquin, Alonso Jimenez, Jose Antonio:
Ontology Cleaning by Mereotopological Reasoning. En: International Workshop on Database and Expert Systems Applications. 2004. Pag. 132-137
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martin Mateos, Francisco Jesus:
Formal Reasoning About Efficient Data Structures: a Case Study in Acl2. En: Lecture Notes in Computer Science. 2004. Vol. 3018. Pag. 75-91
Martin Mateos, Francisco Jesus, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Formal Verification of a Generic Framework to Synthesize SAT-Provers. En: Journal of Automated Reasoning. 2004. Vol. 32. Núm. 4. Pag. 287-313
Martin Mateos, Francisco Jesus, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
A Formal Proof of Dickson's Lemma in Acl2. En: Lecture Notes in Computer Science. 2003. Vol. 2850. Pag. 49-58
Gutierrez Naranjo, Miguel Angel, Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Generalizing Programs Via Subsumption. En: Lecture Notes in Computer Science. 2003. Vol. 2809. Pag. 115-126
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª, Gutierrez Naranjo, Miguel Angel, Navarro Marín,Jorge D.:
Towards a Practical Argumentative Reasoning With Qualitative Spatial Databases. En: Lecture Notes in Computer Science. 2003. Vol. 2718. Pag. 789-798
Martin Mateos, Francisco Jesus, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Verification in Acl2 of a Generic Framework to Synthesize SAT-Provers. En: Lecture Notes in Computer Science. 2003. Vol. 2664. Pag. 182-198
Gutierrez Naranjo, Miguel Angel, Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
A Quasi-Metric for Machine Learning. En: Lecture Notes in Computer Science. 2002. Vol. 2527. Pag. 193-203
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martin Mateos, Francisco Jesus:
Formal Proofs About Rewriting Using Acl2. En: Annals of Mathematics and Artificial Intelligence. 2002. Vol. 36. Núm. 3. Pag. 239-262
Martin Mateos, Francisco Jesus, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Verifying an Applicative ATP Using Multiset Relations. En: Lecture Notes in Computer Science. 2001. Vol. 2178. Pag. 612-626
Medina Bulo, María Inmaculada, Palomo Lozano, Francisco, Alonso Jimenez, Jose Antonio:
A Certified Polynomial-Based Decision Procedure for Propositional Logic. En: Lecture Notes in Computer Science. 2001. Núm. 2152. Pag. 297-312
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martin Mateos, Francisco Jesus:
Formalizing Rewriting in the Acl2 Theorem Prover. En: Lecture Notes in Computer Science. 2001. Vol. 1930. Pag. 92-106
Chazarain, J., Riscos, Agustin, Alonso Jimenez, Jose Antonio, Briales Morales, Emilio:
Multivalued-Logic and Gröbner Bases With Applications to Modal Logic. En: Journal of Symbolic Computation. 1991. Vol. 11. Pag. 181-194
Aportaciones a Congresos
Paredes Moreno, Antonio, Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Aranda Corral, Gonzalo A.:Pragmatic Knowledge Integration Based on Semantic Interoperability in Business. Ponencia en Congreso. III Congreso Internacional de Patrimonio Cultural y Cooperación al Desarrollo. Museo Nacional de Antropología. Ciudad de México. 2010. E-Commerce 2007 Iadis International Conference. 1. 37
Alonso Jimenez, Jose Antonio, Barraza Verdesoto,Edgardo Samuel:
Algoritmo para Resolver K-SAT Basado en Cláusulas. Comunicación en congreso. Computational Logics and Artificial Intelligence. 2009. Computational Logics and Artificial Intelligence. 113. 124
Borrego Diaz, Joaquin, Aranda Corral, Gonzalo A., Alonso Jimenez, Jose Antonio:
Sistema Certificado de Decisión Proposicional Basado en Polinomios. Comunicación en congreso. Computational Logics and Artificial Intelligence. 2009
Alonso Jimenez, Jose Antonio, Barraza Verdesoto,Edgardo Samuel, Serrano Suárez,Fabián Fernando:
Formalización de la Demostración de Completitud de la Lógica Proposicional en Isabelle/Isar. Comunicación en congreso. Computational Logics and Artificial Intelligence. 2009. Computational Logics and Artificial Intelligence. 47. 58
Aranda Corral, Gonzalo A., Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Sistema Certificado de Decisión Proposicional Basado en Polinomios. Comunicación en congreso. Computational Logics and Artificial Intelligence. 2009. Computational Logics and Artificial Intelligence. 101. 111
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
A Formally Verified Prover for the Alc Description Logic. Comunicación en congreso. Theorem Proving in Higher Order Logics. Kaiserslautern, Alemania. 2007. Theorem Proving in Higher Order Logics. 135. 150
Hidalgo Doblado, Maria Jose, Alonso Jimenez, Jose Antonio, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
Constructing Formally Verified Reasoners for the Alc Description Logic. Comunicación en congreso. Third International Workshop on Automated Specification and Verification of Web Systems. Venecia, Italia. 2007. Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems. 87. 102
Paredes Moreno, Antonio, Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
La Integración de la Información en Entornos Empresariales. la Ontología de Empresa Como Motor Lógico de Renovación. Propuesta Especifica VS Ontologías Generalistas. Ponencia en Congreso. Iask - International Asociation for the Scientific Knowledge. 2007
Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Martín Mateos, Francisco Jesús:
Krrt: Knowledge Representation & Reasoning Tutor System. Comunicación en congreso. International Conference on Computer Aided Systems Theory. Las Palmas de Gran Canaria, Spain. 2007. Computer Aided Systems Theory - Eurocast 2007. 280. 283
Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Martín Mateos, Francisco Jesús:
Fits: Formalization With an Intelligent Tutor System. Comunicación en congreso. IV International Conference on Multimedia and Information and Communication Technologies in Education. Santander (ESPAÑA). 2006
Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose:
Proof Pearl: a Formal Proof of Higman's Lemma in Acl2. Comunicación en congreso. Theorem Proving in Higher Order Logics. Oxford, Reino Unido. 2005. Theorem Proving in Higher Order Logics. 358. 372
Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
A Formally Verified Proof (in PVS) of the Strong Completeness Theorem of Propositional Sld-Resolution. Comunicación en congreso. Computer Aided Systems Theory. Las Palmas de Gran Canaria, España. 2005. Cast and Tools for Robotics, Vehicular and Communication Systems. 83. 86
Palomo Duarte, Manuel, Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio:
Rete Algorithm Applied to Robotic Soccer. Comunicación en congreso. Computer Aided Systems Theory. Las Palmas de Gran Canaria, España. 2005. Cast and Tools for Robotics, Vehicular and Communication Systems. 280. 283
Alonso Jimenez, Jose Antonio:
Towards a Tool for Ontology Engineering. Comunicación en congreso. Wac. Santander (ESPAÑA). 2004. Advances in Roboticas. Vol 4. Wac 2004. 1. 300
Chavez Gonzalez, Antonia Mª, Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Ontology Cleaning by Mereotopological Reasoning. Comunicación en congreso. International Workshop on Web Semantics. Webs 2004. Zaragoza, España. 2004. Database and Expert Systems Applications. Webs 2004. 132. 137
Medina Bulo, María Inmaculada, Palomo Lozano, Francisco, Alonso Jimenez, Jose Antonio, Ruiz Reina, Jose Luis:
Verified Computer Algebra in Acl2 (Gröbner Basis Computation). Comunicación en congreso. 7th Int. Conference on Artificial Intelligence and Symbolic Computation, Aisc 2004. Linz, Austria. 2004. Proceedings of the 7th Int. Conference on Artificial Intelligence and Symbolic Computation (Aisc 2004). 171. 184
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
A Formally Verified Quadratic Unification Algorithm. Comunicación en congreso. Fifth International Workshop on the Acl2 Theorem Prover and Its Applications. Austin, Texas, USA. 2004
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª:
Towards a Tool for Ontology Engineering. Comunicación en congreso. World Automation Congress. Sevilla, Spain. 2004. World Automation Congress: Advances in Robotics, Manufacturing, Automation, Control, Soft Computing, Multimedia, Biomedicine, Image Processing and Financial Engineering. Vol. IV. 1. 100
Chavez Gonzalez, Antonia Mª, Borrego Diaz, Joaquin, Alonso Jimenez, Jose Antonio:
Towards a Practical Argumentative Reasoning With Qualitative Spatial Databases (Iea/Aie 2003). Comunicación en congreso. Iea/Aie 2003. Loughborough, United Kingdom. 2003. Libro de Actas del 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (Iea/Aie 2003). 789. 798
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Formal Reasoning About Efficient Data Structures: a Case Study in Acl2. Comunicación en congreso. International Workshop on Logic Based Program Synthesis and Transformation. Uppsala, Suecia. 2003. LOPSTR 2003, Preproceedings of the International Symposium of Logic Based Program Synthesis and Transformation. 97. 112
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Generalizing Logic Programs Via Subsumption. Comunicación en congreso. International Workshop on Computer Aided Systems Theory. Las Palmas de Gran Canaria. 2003. Computer Aided System Theory - Eurocast 2003: 9th International Workshop on Computer Aided Systems Theory [recurso Electrónico]. 115. 126
Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
A Formal Proof of Dickson's Lemma in Acl2. Comunicación en congreso. International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Almaty, Kazakhstan. 2003. Proceedings of the International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2003. 49. 58
Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Formal Verification of Molecular Computational Models in Acl2: a Case Study. Comunicación en congreso. Conferencia de la Asociación Española para la Inteligencia Artificial. San Sebastian, España. 2003. X Conferencia de la Asocicación Española para la Inteligencia Artificial. 235. 240
Gutierrez Naranjo, Miguel Angel, Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Generalizing Logic Programs Via Subsumption. Comunicación en congreso. International Conference on Computer Aided Systems Theory. Las Palmas de Gran Canaria. 2003. Eurocast 2003: Cast and Tools for Complexity in Biological, Physical and Engineering Systems: Extended Abstracts. 185. 188
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
Una Introducción al Análisis Formal de Conceptos en PVS. Comunicación en congreso. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. Santander (ESPAÑA). 2002
Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
Molecular Computation Models in Acl2: a Simulation of Lipton's Experiment Solving SAT. Comunicación en congreso. 3rd International Workshop on the Acl2 Theorem Prover and Its Applications. 2002
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª, Gutierrez Naranjo, Miguel Angel, Navarro Marín,Jorge D.:
A Methodology for the Computer-Aided Cleaning of Complex Knowledge Databases. Comunicación en congreso. Industrial Electronics Conference. 2002
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª, Navarro Marín,Jorge D.:
A Methodology for the Computer-Aided Cleaning of Complex Knowledge Databases. Comunicación en congreso. The 28th Annual Conference of IEEE Industrial Electronics Society. Santander (ESPAÑA). 2002. Proc. of the 28th Annual Conference of IEEE Industrial Electronics Society. 1806. 1811
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
A Quasi-Metric for Machine Learning. Comunicación en congreso. Ibero-American Conference on A.I. 2002. 8th Ibero-American Conference on A.I. 193. 203
Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Desarrollo Formal y Verificación de Sistemas Proposicionales. Comunicación en congreso. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. Santander (ESPAÑA). 2002
Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Verification in Acl2 of a Generic Framework to Synthesize SAT-Provers. Comunicación en congreso. International Workshop on Logic Based Program Development and Transformation. 2002. Preproceedings of the International Workshop on Logic Based Program Development and Transformation. 182. 197
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Verificación Formal y Eficiencia: un Caso de Estudio Aplicado a la Unificación de Términos. Comunicación en congreso. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. Santander (ESPAÑA). 2002. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. 77. 90
Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Desarrollo Formal y Verificación de Sistemas Proposicionales. Comunicación en congreso. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. Santander (ESPAÑA). 2002. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. 33. 46
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Una Introducción al Análisis Formal de Conceptos en PVS. Comunicación en congreso. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. Santander (ESPAÑA). 2002. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. 33. 46
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin, Chavez Gonzalez, Antonia Mª, Gutierrez Naranjo, Miguel Angel:
Towards a Practical Argumentative Reasoning With Qsd. Comunicación en congreso. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. Santander (ESPAÑA). 2002. I Taller Iberoamericano Sobre Deduccion Automatica e Inteligencia Artificial. 111. 120
Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
A Generic Instantiation Tool and a Case Study: a Generic Multiset Theory. Comunicación en congreso. 3rd International Workshop on the Acl2 Theorem Prover and Its Applications. 2002. 3RD International Conference on Pain and Physiotherapy. 188. 203
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
A Theory About First-Order Terms in Acl2. Comunicación en congreso. 3rd International Workshop on the Acl2 Theorem Prover and Its Applications. 2002. 3RD International Conference on Pain and Physiotherapy. 78. 100
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Progress Report: Term Dags Using Stobjs. Comunicación en congreso. 3rd International Workshop on the Acl2 Theorem Prover and Its Applications. 2002. 3rd International Workshop on the Acl2 Theorem Prover and Its Applications. 101. 108
Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Verifying an Applicative ATP Using Multiset Relations. Comunicación en congreso. 7th International Conference on Computer Aided Systems Theory. Las Palmas de Gran Canaria. 2001. Eurocast 2001 Conference. 612. 626
Medina Bulo, María Inmaculada, Palomo Lozano, Francisco, Alonso Jimenez, Jose Antonio:
A Certified Polynomial-Based Decision Procedure for Propositional Logic. Comunicación en congreso. International Conference on Theorem Proving in Higher Order Logics. Edimburgo (Escocia), Reino Unido. 2001. International Conference on Theorem Proving in Higher Order Logics. 297. 312
Gutierrez Naranjo, Miguel Angel, Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
A Topological Study of the Upward Refinement Operators on ILP. Poster en Congreso. Inductive Logic Programming 10th International Conference, ILP 2000. Londres, Reino Unido. 2000. ILP 2000 - Work in Progress Reports. 120. 137
Gutierrez Naranjo, Miguel Angel, Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Proximidad Entre Cláusulas en Programación Lógica Inductiva. Comunicación en congreso. Encuentro de Matemáticos Andaluces. Santander (ESPAÑA). 2000
Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús, Ruiz Reina, Jose Luis:
Formalización del Razonamiento Ecuacional en una Lógica Computacional. Comunicación en congreso. Encuentro de Matemáticos Andaluces. Santander (ESPAÑA). 2000. Actas del Encuentro de Matemáticos Andaluces. 41. 50
Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Proximidad Entre Clausulas en Programacion Logica Inductiva. Comunicación en congreso. Encuentro de Matemáticos Andaluces. Santander (ESPAÑA). 2000. Actas del I Encuentro de Matemáticos Andaluces. 33. 40
Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Formalización del Razonamiento Ecuacional en una Lógica Computacional. Comunicación en congreso. Encuentro de Matemáticos Andaluces. Santander (ESPAÑA). 2000
Alonso Jimenez, Jose Antonio, Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
Molecular Computation Models in Acl2: a Simulation of Lipton`s SAT Experiment in the Adleman`s Restricted Model. Comunicación en congreso. 2nd Acl2 Workshop. Austin, Texas, EEUU. 2000
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Multiset Relations: a Tool for Proving Termination. Comunicación en congreso. 2nd Acl2 Workshop. Austin, Texas, EEUU. 2000. Proceedings of the Acl2 Workshop 2000. 82. 91
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
A Mechanical Proof of Knuth-Bendix Critical Pair Theorem (Using Acl2). Comunicación en congreso. 3rd First-Order Theorem Proving. ST Andrews, Scotland. 2000. Proceedings of the Third International Workshop on First-Order Theorem Proving. 206. 216
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Formalizing Rewriting in the Acl2 Theorem Prover. Comunicación en congreso. 5th International Conference on Artificial Intelligence and Symbolic Computation. 2000. Artificial Intelligence and Symbolic Computation, Aisc 2000, Revised Papers. 92. 106
Gutierrez Naranjo, Miguel Angel, Alonso Jimenez, Jose Antonio, Borrego Diaz, Joaquin:
Una Quasi-Metrica Basada en Subsuncion. Comunicación en congreso. Jornadas Cientificas en Tecnologias de la Informacion. Cadiz, España. 2000. IV Jornadas Cientificas en Tecnologias de la Informacion. 260. 267
Ruiz Reina, Jose Luis, Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose:
Mechanical Verification of a Rule-Based Unification Algorithm in the Boyer-Moore Theorem Prover. Comunicación en congreso. Joint Conference on Declarative Programming. L'aquila, Italia. 1999. Proc. of Joint Conference on Declarative Programming. 289. 304
Martín Mateos, Francisco Jesús, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Ruiz Reina, Jose Luis:
Razonamiento Automático en Sistemas de Representación del Conocimiento (y su Relación con la Enseñanza de la Inteligencia Artificial). Comunicación en congreso. IV Jornadas Sobre la Enseñanza Universitaria de la Informatica. Andorra. 1998. IV Jornades Sobre L'ensenyament Universitari de la InfomÀtica. 289. 296
Ruiz Reina, Jose Luis, Alonso Jimenez, Jose Antonio, Hidalgo Doblado, Maria Jose, Martín Mateos, Francisco Jesús:
Verificación Automática de Sistemas de Razonamiento (Aplicación a la Enseñanza de la Inteligencia Artificial). Comunicación en congreso. IV Jornadas Sobre la Enseñanza Universitaria de la Informatica. Andorra. 1998. IV Jornades Sobre L'ensenyament Universitari de la InfomÀtica. 297. 304
Arrabal Parrilla, Juan Jose, Balbontin Noval, Delia, Alonso Jimenez, Jose Antonio, Lara Martin, Francisco Felix, Martín Mateos, Francisco Jesús, et. al.:
Gti: una Herramienta de Edición de Cursos Adaptativos. Comunicación en congreso. XIII Congreso Nacional de Ingeniería de Proyectos. Santander (ESPAÑA). 1997. Actas del XIII Congreso Nacional de Ingenieria de Proyectos. 627. 634
Fernandez Carrion, Rodrigo, Arrabal Parrilla, Juan Jose, Alonso Jimenez, Jose Antonio:
Hacia una Enseñanza Permanente y Automatizada: Www y Evaluación Automática con Gti. Comunicación en congreso. International Congress on Historical Information Systems. Vitoria. 1997. International Congress on Historical Information Systems. 1. 1
Balbontin Noval, Delia, De la Vega Royo,Mª Luisa, Alonso Jimenez, Jose Antonio, Arrabal Parrilla, Juan Jose:
Aprende Matemáticas. Comunicación en congreso. Primer Encuentro de Informática Educativa. Cees (Madrid). 1994. Actas del Primer Encuentro de Informática Educativa: Edie. 20. 25
Balbontin Noval, Delia, Alonso Jimenez, Jose Antonio, Arrabal Parrilla, Juan Jose, Herrera Govantes, Francisco Javier:
Especificación Formal de Bases de Datos con un Demostrador Automático de Teoremas. Comunicación en congreso. Congreso Nacional de Programación Declarativa. 1993. Actas del II Congreso Nacional de Programación Declarativa. 343. 344
Balbontin Noval, Delia, Arrabal Parrilla, Juan Jose, Alonso Jimenez, Jose Antonio, Herrera Govantes, Francisco Javier:
Automated Proofs in Group Theory With Otter. Comunicación en congreso. Fifth International Symposium on Knowledge Engineering. 1992. Proceedings of the Fith International Symposium on Knowledge Engineering. 326. 331
Balbontin Noval, Delia, Alonso Jimenez, Jose Antonio, Arrabal Parrilla, Juan Jose, Herrera Govantes, Francisco Javier:
Razonamiento Automático en Lógica de Primer Orden. Comunicación en congreso. VIII Congreso de Lenguajes Naturales y Lenguajes Formales. Gerona (España). 1992. Actas del VIII Congreso de Lenguajes Naturales y Lenguajes Formales. 165. 172
Alonso Jimenez, Jose Antonio, Briales Morales, Emilio:
Lógicas Polivalentes y Bases de Gröbner. Comunicación en congreso. Congreso de Lenguajes Naturales y Lenguajes Formales. . Barcelona, España. 1989. V Congreso de Lenguajes Naturales y Lenguajes Formales. 307. 315
Alonso Jimenez, Jose Antonio, Briales Morales, Emilio, Riscos, Agustin:
Preuve Automatique Dans Le Calcul Propositionnel Et Les Logiques Trivalentes. Comunicación en congreso. Computational Topology and Geometry and Computation in Teaching of Mathematics. 1987. Computational Topology and Geometry and Computation in Teaching Mathematics. 15. 24
Otras Publicaciones
Alonso Jimenez, Jose Antonio:Soluciones de Exámenes de "Lógica Informática". Otras Publicaciones. Español
Tesis dirigidas y co-dirigidas:
Serrano Suarez, Fabián Fernando:
Formalización en Isar de la Metalógica de Primer Orden. Tesis Doctoral. 2012
Paredes Moreno, Antonio:
Técnicas de Depuración e Integración de Ontologías en el Ámbito Empresarial. Tesis Doctoral. 2008
Hidalgo Doblado, Maria Jose:
Teoría Computacional (en PVS) de la Programación Lógica y del Análisis Formal de Conceptos. Tesis Doctoral. 2004
Medina Bulo, María Inmaculada:
Verificación Formal en Acl2 del Algoritmo de Buchberger. Tesis Doctoral. 2003
Gutierrez Naranjo, Miguel Angel:
Operadores de Generalizacion para el Aprendizaje Clausal. Tesis Doctoral. 2002
Martin Mateos, Francisco Jesus:
Teoría Computacional (en Acl2) Sobre Cálculos Proposicionales. Tesis Doctoral. 2001
Ruiz Reina, Jose Luis:
Una Teoría Computacional Acerca de la Lógica Ecuacional (Formalización en Acl2 y Demostración Automática de Sus Propiedades). Tesis Doctoral. 2000
Quesada Moreno, Jose Francisco:
El Algoritmo SCP de Análisis Sintáctico Mediante Propagación de Restricciones. Tesis Doctoral. 1997
Quesada Moreno, Jose Francisco:
El Algoritmo SCP de Analisis Sintactico Mediante Propagacion de Restricciones. Aplicacion a la Traduccion Automatica en Tiempo Real. Tesis Doctoral. 1997
Vicerrectorado de Investigación. Universidad de Sevilla.
Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla