E-LIB Suche - Ergebnisse für: Borrego-Díaz, J.

1

Formally Verified Tableau-Based Reasoners for a Description..:

Hidalgo-Doblado, M. J. ; Alonso-Jiménez, J. A. ; Borrego-Díaz, J...
Journal of Automated Reasoning. 52 (2013) 3 - p. 331-360 , 2013

Link: https://doi.org/10.1007/..

2

Foundational Challenges in Automated Semantic Web Data and ..:

Alonso-Jimenez, J.A. ; Borrego-Diaz, J. ; Chavez-Gonzalez, A.M..
IEEE Intelligent Systems. 21 (2006) 1 - p. 42-52 , 2006

Link: https://doi.org/10.1109/..

3

A Logical–Algebraic Approach to Revising Formal Ontologies:..:

Aranda-Corral, Gonzalo A. ; Borrego-Díaz, Joaquín ; Chávez-González, Antonia M..
AI. 5 (2024) 2 - p. 746-789 , 2024

Link: https://doi.org/10.3390/..

4

FCA-based reasoning for privacy:

Aranda-Corral, Gonzalo A ; Borrego-Díaz, Joaquín ; Galán-Páez, Juan
Logic Journal of the IGPL. 32 (2024) 2 - p. 224-242 , 2024

Link: https://doi.org/10.1093/..

5

On Conditional Axioms and Associated Inference Rules:

Borrego-Díaz, Joaquín ; Cordón-Franco, Andrés ; Lara-Martín, Francisco Félix
Axioms. 13 (2024) 5 - p. 306 , 2024

Link: https://doi.org/10.3390/..

6

Logical–Mathematical Foundations of a Graph Query Framework..:

Almagro-Blanco, Pedro ; Sancho-Caparrini, Fernando ; Borrego-Díaz, Joaquín
Mathematics. 11 (2023) 22 - p. 4672 , 2023

Link: https://doi.org/10.3390/..

7

On the Soundness of XAI in Prognostics and Health Managemen..:

Solís-Martín, David ; Galán-Páez, Juan ; Borrego-Díaz, Joaquín
Information. 14 (2023) 5 - p. 256 , 2023

Link: https://doi.org/10.3390/..

8

Knowledge representation for explainable artificial intelli..:

Borrego-Díaz, Joaquín ; Galán Páez, Juan
Complex & Intelligent Systems. 8 (2022) 2 - p. 1579-1601 , 2022

Link: https://doi.org/10.1007/..

9

Enabling Knowledge Extraction on Bike Sharing Systems Throu..:

, In: HCI in Mobility, Transport, and Automotive Systems; Lecture Notes in Computer Science,

Marquez-Saldaña, Francisco J. ; Aranda-Corral, Gonzalo A. ; Borrego-Díaz, Joaquín - p. 570-585 , 2022

Link: https://doi.org/10.1007/..

10

Explainable Artificial Intelligence in Data Science: From F..:

Borrego-Díaz, Joaquín ; Galán-Páez, Juan
Minds and Machines. 32 (2022) 3 - p. 485-531 , 2022

Link: https://doi.org/10.1007/..

11

Concept learning consistency under three-way decision parad..:

Aranda-Corral, Gonzalo A. ; Borrego-Díaz, Joaquín ; Galán-Páez, Juan
International Journal of Machine Learning and Cybernetics. 13 (2022) 10 - p. 2977-2999 , 2022

Link: https://doi.org/10.1007/..

12

A stacked deep convolutional neural network to predict the ..:

Solís-Martín, David ; Galán-Páez, Juan ; Borrego-Díaz, Joaquín
Annual Conference of the PHM Society. 13 (2021) 1 - p. , 2021

Link: https://doi.org/10.36001..

13

Algebraic combinatorics in bounded induction:

Borrego-Díaz, Joaquín
Annals of Pure and Applied Logic. 172 (2021) 2 - p. 102885 , 2021

Link: https://doi.org/10.1016/..

14

Estimating Re-identification Risk by Means of Formal Concep..:

, In: 14th International Conference on Computational Intelligence in Security for Information Systems and 12th International Conference on European Transnational Educational (CISIS 2021 and ICEUTE 2021); Advances in Intelligent Systems and Computing,

Aranda-Corral, Gonzalo A. ; Borrego-Díaz, Joaquín ; Galán-Páez, Juan - p. 13-22 , 2021

Link: https://doi.org/10.1007/..

15

Towards a Notion of Basis for Knowledge-Based Systems—Appli..:

Aranda-Corral, Gonzalo A. ; Borrego-Díaz, Joaquín ; Galán-Páez, Juan.
Mathematics. 9 (2021) 3 - p. 252 , 2021

Link: https://doi.org/10.3390/..