- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Ponencias (Ciencias de la Computación e Inteligencia Artificial)
- Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Author
Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Author "Borrego Díaz, Joaquín"
Now showing items 1-20 of 55
-
Presentation
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web
Borrego Díaz, Joaquín; Chávez González, Antonia María (Springer, 2007)Maintenance of logical robustness in Information Integration represents a major challenge in the envisioned Semantic Web. ...
-
Presentation
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 ...
-
Presentation
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 ...
-
Presentation
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 ...
-
Presentation
A stacked deep convolutional neural network to predict the remaining useful life of a turbofan engine
Solís Martín, David; Galán Páez, Juan; Borrego Díaz, Joaquín (PHM Society, 2021)his paper presents the data-driven techniques and method ologies used to predict the remaining useful life (RUL) of a ...
-
Presentation
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) -
Presentation
Anomalías en Ontologías Provisionales.
Borrego Díaz, Joaquín; Chávez González, Antonia María (Universidad de León, Servicio de Publicaciones, 2007) -
Presentation
ASAP: A Framework for Designing Gamified Models of Complex Systems
Solís Martín, David; Galán Páez, Juan; Borrego Díaz, Joaquín; Sancho Caparrini, Fernando (IEEE Computer Society, 2016)This paper introduces ASAP, a framework for the development of mobile gamification of problems where Complex Systems ...
-
Presentation
Bounded Rationality for Data Reasoning based on Formal Concept Analysis
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (IEEE, 2011)Formal Concept Analysis (FCA) is a theory whose goal is to discover and extract Knowledge from qualitative data. It also ...
-
Presentation
Building knowledge layers and networks from urban digital information
Borrego Díaz, Joaquín; Galán Páez, Juan; Miguel Rodríguez, Jaime de (Universitat Politécnica de Catalunya, 2013)The understanding and management of complex digital information on cities need the use of tools providing experts with ...
-
Presentation
Conceptual-based reasoning in mobile web 2.0 by means multiagent systems - knowledge engineering notes
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Giráldez Cru, Jesús (ScitePress Digital Library, 2012)Increasingly, users connect to the Internet by mobile devices and they are generating massive content through them. The ...
-
Presentation
Confidence-Based Reasoning with Local Temporal Formal Contexts
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Springer, 2011)Formal Concept Analysis (FCA) is a theory whose goal is to discover and to extract Knowledge from qualitative data. It ...
-
Presentation
Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Fernández Lebrón, María Magdalena (Springer, 2009)We present a specialised (polynomial-based) rule for the propositional logic called the Independence Rule, which is useful ...
-
Presentation
Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy
Borrego Díaz, Joaquín; Chávez González, Antonia María (CEUR-WS, 2005) -
Presentation
Data-in-the-cloud City: Análisis proactivo de la información digital de la ciudad
Aranda Corral, Gonzalo A.; Blanco Escudero, Alejandro; Borrego Díaz, Joaquín; Gomar Acosta, Manuel (Universidad de Coimbra, 2011) -
Presentation
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) -
Presentation
Emergent Concepts on Knowledge Intensive Processes
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan; Jiménez Mavillard, Antonio (Springer, 2014)An approach to refine and revise the general framework of KiP (Knowledge Intensive Process) is presented. The specific ...
-
Presentation
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 ...
-
Presentation
Extending Qualitative Spatial Theories with Emergent Spatial Concepts: An Automated Reasoning Approach
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Chávez González, Antonia María (Springer, 2014)Qualitative Spatial Reasoning is an exciting research field of the Knowledge Representation and Reasoning paradigm whose ...
-
Presentation
Extension of Ontologies Assisted by Automated Reasoning Systems
Borrego Díaz, Joaquín; Chávez González, Antonia María (Springer, 2005)A method to extend ontologies with the assistance of automated reasoning systems and preserving a kind of completeness ...