Utilizamos cookies

Este sitio web utiliza cookies propias y de terceros para mantener la sesión, ofrecerle una mejor experiencia de usuario y obtener datos estadísticos de navegación de los usuarios. Para más información vea la Política de cookies.

Ver Investigador - - Prisma - Unidad de Bibliometría

José Antonio Alonso Jiménez

Profesor Titular de Universidad
jalonso@us.es

Investiga en

Palabras clave
Líneas de investigación
Resumen
Tipo Año Título Fuente
Artículo2018 A logic-algebraic tool for reasoning with Knowledge-Based Systems JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Artículo2014 Formally Verified Tableau-Based Reasoners for a Description Logic JOURNAL OF AUTOMATED REASONING
Artículo2011 A logic approach to decision taking in a railway interlocking system using Maple MATHEMATICS AND COMPUTERS IN SIMULATION
Capítulo2011 Computational logic and knowledge representation issues in data analysis for the semantic web Data Management in the Semantic Web
Artículo2011 The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics REVISTA DE LA REAL ACADEMIA DE CIENCIAS EXACTAS FISICAS Y NATURALES SERIE A-MATEMATICAS
Ponencia2007 A formally verified prover for the ALC description logic THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS
Artículo2006 Foundational challenges in automated Semantic Web data and ontology cleaning IEEE INTELLIGENT SYSTEMS
Capítulo2005 Logic databases and inconsistency handling Encyclopedia of Database Technologies and Applications
Artículo2005 Proof pearl: A formal proof of Higman's lemma in ACL2 THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS
Artículo2005 Rete algorithm applied to robotic soccer Computer Aided Systems Theory – EUROCAST 2005: 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
Artículo2004 Formal reasoning about efficient data structures: A case study in ACL2 Lecture Notes in Computer Science
Artículo2004 Formal verification of a generic framework to synthesize SAT-provers JOURNAL OF AUTOMATED REASONING
Artículo2004 Generalizing programs via subsumption Lecture Notes in Computer Science
Ponencia2004 Ontology cleaning by mereotopological reasoning 15TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
Ponencia2004 Towards a tool for ontology engineering Intelligent Automation and Control Trends, Principles, and Applications - Proceedings of the Sixth Biannual World Automation Congress, WAC
Artículo2004 Verified computer algebra in ACL2 (Grobner bases computation) ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS
Artículo2004 Verified Computer Algebra in ACL2 (Gröbner Bases Computation) Lecture Notes in Computer Science
Artículo2003 A formal proof of Dickson's Lemma in ACL2 LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS
Artículo2003 Generalizing programs via subsumption COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003
Artículo2003 Towards a practical argumentative reasoning with qualitative spatial databases DEVELOPMENTS IN APPLIED ARTIFICIAL INTELLIGENCE
Artículo2003 Verification in ACL2 of a generic framework to synthesize SAT-provers LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION
Ponencia2002 A methodology for the computer-aided cleaning of complex knowledge databases IECON-2002: PROCEEDINGS OF THE 2002 28TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4
Artículo2002 A quasi-metric for machine learning Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings
Libro2002 Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos) Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos)
Artículo2002 Formal proofs about rewriting using ACL2 ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
Capítulo2001 Deducción automática en anillos ternarios: algunos métodos de procesamiento del conocimiento matemático Actas del Encuentro de Matemáticos Andaluces
Capítulo2001 Formalización del razonamiento ecuacional en una lógica computacional Actas del Encuentro de Matemáticos Andaluces
Artículo2001 Formalizing rewriting in the ACL2 theorem prover ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
Capítulo2001 Proximidad entre cláusulas en programación lógica inductiva Actas del Encuentro de Matemáticos Andaluces
Artículo2001 Verifying an applicative ATP using multiset relations COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001
Ponencia2000 A Topological Study of the Upward Refinement Operators on ILP CEUR workshop proceedings
Ponencia1999 Interpretación reactiva de sistemas basados en concimiento La representación y la organización del conocimiento en sus distintas perspectivas : su influencia en la recuperación de la información: actas del IV Congreso ISKO-España EOCONSID'99, 22-24 de abril de 1999, Granada
Ponencia1997 Hacia la enseñanza permanente y automatizada: WWW y evaluación automática con GTI Comunicaciones libres : Congreso Internacional sobre Sistemas de Información Histórica, 6, 7 y 8 de noviembre de 1997, Vitoria-Gasteiz
Ponencia1997 Sobre la enseñanza de la lógica Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993]
Capítulo1995 Razonamiento automático Lógica formal: Orígenes, métodos y aplicaciones
Ponencia1994 Automatización de la aritmética Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)
Ponencia1992 Razonamiento automático en lógica de primer orden Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992)
Artículo1991 MULTIVALUED LOGIC AND GROBNER BASES WITH APPLICATIONS TO MODAL LOGIC JOURNAL OF SYMBOLIC COMPUTATION
Ponencia1990 Lógicas polivalentes y bases de Gröbner Lenguajes naturales y lenguajes formales : actas del V congreso de lenguajes naturales y lenguajes formales : (Villafranca del Penedès-Barcelona, 18-22 de septiembre de 1989)
Capítulo1989 Representación de modelos no-estándar de sublenguajes de la aritmética Lenguajes naturales y lenguajes formales IV: vol 2.
Ponencia1989 Representación de modelos no-estándar de sublenguajes de la aritmética Lenguajes naturales y lenguajes formales IV: vol 2.
Métodos algebraicos de razonamiento automático (1988)
Dirigida por: Agustín Riscos Fernández
Tesis dirigidas/tutorizadas:8
Fecha lectura Título Rol
12/06/2012 FORMALIZACIÓN EN ISAR DE LA METALÓGICA DE PRIMER ORDEN Tutor/a, Director/a
01/04/2008 TÉCNICA DE DEPURACIÓN E INTEGRACIÓN DE ONTOLOGÍAS EN EL ÁMBITO EMPRESARIAL Director/a
18/12/2003 VERIFICACIÓN FORMAL EN ACL2 DEL ALGORITMO DE BUCHBERGER Director/a
17/09/2002 TEORIA COMPUTACIONAL (en ACL2) SOBRE CÁLCULOS PROPOSICIONALES Director/a
16/09/2002 OPERADORES DE GENERALIZACIÓN PARA EL APRENDIZAJE CLAUSAL Director/a
28/09/2001 Una teoría computacional acerca de la lógica ecuacional formalización en ACL2 de la lógica ecuacional y demostración automática de sus propiedades Director/a
01/04/1997 El algoritmo SCP de análisis sintáctico mediante propagación de restricciones. Aplicación a la traducción automática en tiempo real Director/a
2004 Teoria computacional (en PVS) de la programación logica y del analisis formal de conceptos Director/a

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
28/12/2000 27/12/2003 Responsable Desarrollo y verificación formal de sistemas de razonamiento (TIC2000-1368-C03-02) Ministerio de Ciencia y Tecnología (Nacional)
15/03/2011 14/09/2015 Investigador/a Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (P10-TIC-6064) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
13/12/2004 13/12/2007 Responsable Sistemas verificados para razonamiento en la Web semántica (TIN2004-03884) Ministerio de Ciencia y Tecnología (Nacional)
01/01/2010 31/12/2012 Investigador/a Modelo lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492) Ministerio de Ciencia e Innovación (Nacional)
01/01/2010 31/12/2010 Investigador/a Gestión mecanizada del conocimiento matemático. Aplicaciones en lógica (MTM2009-13842-C02-02) Ministerio de Ciencia e Innovación (Nacional)
01/01/2014 31/12/2017 Investigador/a Lógica Computacional para la Ciencia del Dato (TIN2013-41086-P) Ministerio de Economía y Competitividad (Nacional)
El investigador no tiene ningún resultado de investigación asociado