Volgen
Warren Del-Pinto
Titel
Geciteerd door
Geciteerd door
Jaar
ABox Abduction via Forgetting in ALC
W Del-Pinto, RA Schmidt
Proceedings of the AAAI Conference on Artificial Intelligence 33, 2768-2775, 2019
272019
Signature-based abduction for expressive description logics
P Koopmann, W Del-Pinto, S Tourret, RA Schmidt
Proceedings of the International Conference on Principles of Knowledge …, 2020
172020
Forgetting-based Abduction in ALC
W Del-Pinto, RA Schmidt
Proceedings of SOQE 2017, 27-35, 2017
132017
Extending forgetting-based abduction using nominals
W Del-Pinto, RA Schmidt
International Symposium on Frontiers of Combining Systems, 185-202, 2019
42019
Upwardly Abstracted Definition-Based Subontologies⋆
G Alghamdi, RA Schmidt, W Del-Pinto, Y Gao
12021
Signature-Based Abduction for Expressive Description Logics--Technical Report
P Koopmann, W Del-Pinto, S Tourret, RA Schmidt
arXiv preprint arXiv:2007.00757, 2020
12020
Iterative Abduction using Forgetting
W Del-Pinto, R Schmidt
25th Automated Reasoning Workshop, 36, 2018
12018
COMPUTING SPACES OF INDEPENDENT EXPLANATIONS VIA ABDUCTIVE REASONING
W Del-Pinto
2022
Extracting Subontologies from SNOMED CT
W Del-Pinto, RA Schmidt, Y Gao
2022
ABox Abduction via Forgetting in ALC (long version)
W Del-Pinto, RA Schmidt
arXiv preprint arXiv:1811.05420, 2018
2018
The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics.
Y Zhao, H Feng, R Alassaf, W Del-Pinto, RA Schmidt
Description Logics, 2018
2018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–11