| Artículo | 2018 |
A logic-algebraic tool for reasoning with Knowledge-Based Systems
|
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING |
| Artículo | 2014 |
Formally Verified Tableau-Based Reasoners for a Description Logic
|
JOURNAL OF AUTOMATED REASONING |
| Artículo | 2011 |
A logic approach to decision taking in a railway interlocking system using Maple
|
MATHEMATICS AND COMPUTERS IN SIMULATION |
| Capítulo | 2011 |
Computational logic and knowledge representation issues in data analysis for the semantic web
|
Data Management in the Semantic Web |
| Artículo | 2011 |
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 |
| Ponencia | 2007 |
A formally verified prover for the ALC description logic
|
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS |
| Artículo | 2006 |
Foundational challenges in automated Semantic Web data and ontology cleaning
|
IEEE INTELLIGENT SYSTEMS |
| Capítulo | 2005 |
Logic databases and inconsistency handling
|
Encyclopedia of Database Technologies and Applications |
| Artículo | 2005 |
Proof pearl: A formal proof of Higman's lemma in ACL2
|
THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS |
| Artículo | 2005 |
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ículo | 2004 |
Formal reasoning about efficient data structures: A case study in ACL2
|
Lecture Notes in Computer Science |
| Artículo | 2004 |
Formal verification of a generic framework to synthesize SAT-provers
|
JOURNAL OF AUTOMATED REASONING |
| Artículo | 2004 |
Generalizing programs via subsumption
|
Lecture Notes in Computer Science |
| Ponencia | 2004 |
Ontology cleaning by mereotopological reasoning
|
15TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS |
| Ponencia | 2004 |
Towards a tool for ontology engineering
|
Intelligent Automation and Control Trends, Principles, and Applications - Proceedings of the Sixth Biannual World Automation Congress, WAC |
| Artículo | 2004 |
Verified computer algebra in ACL2 (Grobner bases computation)
|
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS |
| Artículo | 2004 |
Verified Computer Algebra in ACL2 (Gröbner Bases Computation)
|
Lecture Notes in Computer Science |
| Artículo | 2003 |
A formal proof of Dickson's Lemma in ACL2
|
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS |
| Artículo | 2003 |
Generalizing programs via subsumption
|
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2003 |
| Artículo | 2003 |
Towards a practical argumentative reasoning with qualitative spatial databases
|
DEVELOPMENTS IN APPLIED ARTIFICIAL INTELLIGENCE |
| Artículo | 2003 |
Verification in ACL2 of a generic framework to synthesize SAT-provers
|
LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION |
| Ponencia | 2002 |
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ículo | 2002 |
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 |
| Libro | 2002 |
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ículo | 2002 |
Formal proofs about rewriting using ACL2
|
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE |
| Capítulo | 2001 |
Deducción automática en anillos ternarios: algunos métodos de procesamiento del conocimiento matemático
|
Actas del Encuentro de Matemáticos Andaluces |
| Capítulo | 2001 |
Formalización del razonamiento ecuacional en una lógica computacional
|
Actas del Encuentro de Matemáticos Andaluces |
| Artículo | 2001 |
Formalizing rewriting in the ACL2 theorem prover
|
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION |
| Capítulo | 2001 |
Proximidad entre cláusulas en programación lógica inductiva
|
Actas del Encuentro de Matemáticos Andaluces |
| Artículo | 2001 |
Verifying an applicative ATP using multiset relations
|
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001 |
| Ponencia | 2000 |
A Topological Study of the Upward Refinement Operators on ILP
|
CEUR workshop proceedings |
| Ponencia | 1999 |
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 |
| Ponencia | 1997 |
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 |
| Ponencia | 1997 |
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ítulo | 1995 |
Razonamiento automático
|
Lógica formal: Orígenes, métodos y aplicaciones |
| Ponencia | 1994 |
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) |
| Ponencia | 1992 |
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ículo | 1991 |
MULTIVALUED LOGIC AND GROBNER BASES WITH APPLICATIONS TO MODAL LOGIC
|
JOURNAL OF SYMBOLIC COMPUTATION |
| Ponencia | 1990 |
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ítulo | 1989 |
Representación de modelos no-estándar de sublenguajes de la aritmética
|
Lenguajes naturales y lenguajes formales IV: vol 2. |
| Ponencia | 1989 |
Representación de modelos no-estándar de sublenguajes de la aritmética
|
Lenguajes naturales y lenguajes formales IV: vol 2. |
