- idUS
- Listar por autor
Listar por autor "Borrego Díaz, Joaquín"
Mostrando ítems 1-20 de 86
-
Ponencia
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. ...
-
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 ...
-
Artículo
A logic-algebraic tool for reasoning with Knowledge-Based Systems
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é (Elsevier, 2018)A detailed exposition of foundations of a logic-algebraic model for reasoning with knowledge bases speci ed by propositional ...
-
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 ...
-
Artículo
A model of three-way decisions for Knowledge Harnessing
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Elsevier, 2020)The present work introduces the Knowledge Harnessing, by showing its theoretical founda-tions as well as a three-way ...
-
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 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 ...
-
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) -
Artículo
Agent-mediated shared conceptualizations in tagging services
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Giráldez Cru, Jesús (Springer, 2013)Some of the most remarkable innovative technologies from the Web 2.0 are the collaborative tagging systems. They allow ...
-
Artículo
Algebraic combinatorics in bounded induction
Borrego Díaz, Joaquín (Elsevier, 2021)In this paper, new methods for analyzing models of weak subsystems of Peano Arithmetic are proposed. The focus will be on ...
-
Ponencia
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) -
Tesis Doctoral
Aplicaciones de la racionalidad acotada al razonamiento cualitativo sobre sistemas complejos
Galán Páez, Juan (2014)En un trabajo clásico de 1973, los investigadores Horst W. J. Rittel y Melvin M. Webber introducen, dentro del campo de ...
-
Ponencia
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 ...
-
Ponencia
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 ...
-
Ponencia
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 ...
-
Artículo
Complex concept lattices for simulating human prediction in sport
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Springer, 2013)In order to address the study of complex systems, the detection of patterns in their dynamics could play a key role in ...
-
Artículo
Concept learning consistency under three‑way decision paradigm
Aranda Corral, Gonzalo A.; Borrego Díaz, Joaquín; Galán Páez, Juan (Springer, 2022)Concept Mining is one of the main challenges both in Cognitive Computing and in Machine Learning. The ongoing improve ment ...
-
Ponencia
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 ...
-
Ponencia
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 ...
-
Ponencia
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 ...