- idUS
- Listar por autor
Listar por autor "Alonso Jiménez, José Antonio"
Mostrando ítems 21-40 de 57
-
Ponencia
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2
Ruiz Reina, José Luis; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús (Springer, 2003)We describe in this paper the formal verification, using the ACL2 system, of a syntactic unification algorithm where terms ...
-
Artículo
Formal verification of a generic framework to synthesize SAT-provers
Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Ruiz Reina, José Luis (Springer, 2004)We present in this paper an application of the ACL2 system to generate and reason about propositional satis ability ...
-
Ponencia
Formal Verification of Molecular Computational Models in ACL2: A Case Study
Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Ruiz Reina, José Luis (Springer, 2003)Theorem proving is a classical AI problem with a broad range of applications. Since its complexity is exponential in the ...
-
Tesis Doctoral
Formalización en Isar de la metalógica de primer orden
Serrano Suárez, Fabián Fernando (2012-06-12)El objetivo del trabajo es formalizar razonamiento complejo de forma legible por los humanos y procesable por las máquinas. ...
-
Ponencia
Formalizing Rewriting in the ACL2 Theorem Prover
Ruiz Reina, José Luis; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús (Springer, 2000)We present an application of the ACL2 theorem prover to formalize and reason about rewrite systems theory. This can be ...
-
Artículo
Formally Verified Tableau-Based Reasoners for a Description Logic
Hidalgo Doblado, María José; Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Springer, 2014)Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One ...
-
Artículo
Foundational Challenges in Automated Data and Ontology Cleaning in the Semantic Web
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María; Martín Mateos, Francisco Jesús (IEEE Computer Society, 2006)The application of automated reasoning systems to data cleaning in the Semantic Web raises many challenges on the ...
-
Ponencia
Generalizing Programs via Subsumption
Gutiérrez Naranjo, Miguel Ángel; Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín (Springer, 2003)In this paper we present a class of operators for Machine Learning based on Logic Programming which represents a ...
-
Ponencia
Interpretación reactiva de sistemas basados en conocimiento.
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Pérez Jiménez, Mario de Jesús (Universidad de Granada, 1999) -
Ponencia
KRRT: Knowledge Representation and Reasoning Tutor System
Alonso Jiménez, José Antonio; Aranda, Gonzalo A.; Martín Mateos, Francisco Jesús (Springer, 2007)Knowledge Representation & Reasoning (KR&R) is a fundamental topic in Artificial Intelligence. A basic KR language is ...
-
Trabajo Fin de Grado
Lógica computacional desde el punto de vista de la programación funcional : eliminación de cuantificadores
Mateo Ceballos, María Dolores (2022-06-15)Computational Logic is a wide interdisciplinary field having its theoretical and practical roots in mathematics, computer ...
-
Trabajo Fin de Grado
Lógica de primer orden en Haskell
Paluzo Hidalgo, Eduardo (2017-06)This final degree project consists in the implementation of First Order Logic theory and algorithms in Haskell, a functional ...
-
Ponencia
Lógicas polivalentes y bases de Gröbner
Alonso Jiménez, José Antonio (1987)El objetivo de la comunicación es presentar una aplicación de las bases de Gröbner a la demostración automática en lógicas ...
-
Trabajo Fin de Grado
Matemática discreta en Haskell
Valverde Rodríguez, María Dolores (2017-06)Discrete mathematics is characterized as the branch of mathematics dealing with finite and numerable sets. Concepts and ...
-
Tesis Doctoral
Métodos algebraicos de razonamiento automático
Alonso Jiménez, José Antonio (1988) -
Ponencia
Molecular Computation Models in ACL2: a Simulation of Lipton’s Experiment Solving SAT
Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Pérez Jiménez, Mario de Jesús; Sancho Caparrini, Fernando (2002)In this paper we present an ACL2 formalization of a molecular computing model: Adleman’s restricted model [2]. This is a ...
-
Ponencia
Multiset Relations: A Tool for Proving Termination
Ruiz Reina, José Luis; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús (University of Texas, 2000) -
Ponencia
Ontology Cleaning by Mereotopological Reasoning
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María (IEEE Computer Society, 2004)A mereotopological semantics to manage ontologies is presented. The aim is to provide a formal basis for ontology cleaning. ...
-
Tesis Doctoral
Operadores de generalización para el aprendizaje clausal
Gutiérrez Naranjo, Miguel Ángel (2002)"En esta memoria hemos estudiado los procesos de generalización, el paso de lo particular a lo general, cuando la información ...
-
Ponencia
Preuve automatique dans le calcul propositionnel et les logiques trivalentes
Alonso Jiménez, José Antonio; Briales Morales, Emilio (1987)Nous présentons une application des bases de Gröbner (bases standard) d’idéaux de polynômes la vérification des tautologies ...