- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Ponencias (Ciencias de la Computación e Inteligencia Artificial)
- Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por autor
Listar Ponencias (Ciencias de la Computación e Inteligencia Artificial) por autor "Alonso Jiménez, José Antonio"
Mostrando ítems 1-20 de 28
-
Ponencia
A Certified Polynomial-Based Decision Procedure for Propositional Logic
Medina Bulo, Inmaculada; Palomo Lozano, Francisco; Alonso Jiménez, José Antonio (Springer, 2001)In this paper we present the formalization of a decision procedure for Propositional Logic based on polynomial normalization. ...
-
Ponencia
A Formally Verified Prover for the ALC Description Logic
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús; Ruiz Reina, José Luis (Springer, 2007)The Ontology Web Language (OWL) is a language used for the Semantic Web. OWL is based on Description Logics (DLs), a ...
-
Ponencia
A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory.
Martín Mateos, Francisco Jesús; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Ruiz Reina, José Luis (University of Texas, 2002)In some cases, when we develop a formal theory in ACL2, it would be desirable that the definitions and theorems of the ...
-
Ponencia
A methodology for the computer-aided cleaning of complex knowledge databases
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María; Gutiérrez Naranjo, Miguel Ángel; Navarro Marín, Jorge D. (IEEE Computer Society, 2002)In environments with complex cognitive structure (such as semantic web or sophisticated spatial databases for geographical ...
-
Ponencia
A Quasi-Metric for Machine Learning
Gutiérrez Naranjo, Miguel Ángel; Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín (Springer, 2002)The subsumption relation is crucial in the Machine Learning systems based on a clausal representation. In this paper we ...
-
Ponencia
A Theory About First-Order Terms in ACL2
Ruiz Reina, José Luis; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús (University of Texas, 2002)We describe the development in ACL2 of a library of results about first-order terms. In particular, we present the ...
-
Ponencia
A Topological Study of the Upward Refinement Operators on ILP
Gutiérrez Naranjo, Miguel Ángel; Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín (CEUR-WS, 2000) -
Ponencia
Deducción Automática en Anillos Ternarios: Algunos Métodos de Procesamiento del Conocimiento Matemático
Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín; Chávez González, Antonia María (Universidad de Sevilla - Fundación El Monte, 2001) -
Ponencia
Extending Attribute Exploration by Means of Boolean Derivatives
Alonso Jiménez, José Antonio; Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Fernández Lebrón, María Magdalena; Hidalgo Doblado, María José (CEUR-WS, 2008)We present a translation of problems of Formal Context Analysis into ideals problems in F2[x] through the Boolean ...
-
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 ...
-
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 ...
-
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 ...
-
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 ...
-
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. ...
-
Ponencia
Progress Report: Term Dags Using Stobjs
Ruiz Reina, José Luis; Alonso Jiménez, José Antonio; Hidalgo Doblado, María José; Martín Mateos, Francisco Jesús (University of Texas, 2002)We explore in this paper the use of efficient data structures to implement operations on first-order terms, that can be ...
-
Ponencia
Proximidad entre cláusulas en programación lógica inductiva
Gutiérrez Naranjo, Miguel Ángel; Alonso Jiménez, José Antonio; Borrego Díaz, Joaquín (Universidad de Sevilla - Fundación El Monte, 2001)