Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Artur d'Avila Garcez"'
Autor:
Adam White, Margarita Saranti, Artur d’Avila Garcez, Thomas M.H. Hope, Cathy J. Price, Howard Bowman
Publikováno v:
NeuroImage: Clinical, Vol 43, Iss , Pp 103638- (2024)
Machine learning offers great potential for automated prediction of post-stroke symptoms and their response to rehabilitation. Major challenges for this endeavour include the very high dimensionality of neuroimaging data, the relatively small size of
Externí odkaz:
https://doaj.org/article/4b6f9cff20f448b3a8d5726e740ad48e
Publikováno v:
PLoS ONE, Vol 19, Iss 4, p e0293967 (2024)
Deep Learning models such as Convolutional Neural Networks (CNNs) are very effective at extracting complex image features from medical X-rays. However, the limited interpretability of CNNs has hampered their deployment in medical settings as they fai
Externí odkaz:
https://doaj.org/article/684163e436144ecea7007976cc0d4f9f
Autor:
Constantino Carlos Reyes-Aldasoro, Kwun Ho Ngan, Ananda Ananda, Artur d'Avila Garcez, Andrew Appelboam, Karen M Knapp
Publikováno v:
PLoS ONE, Vol 15, Iss 9, p e0238926 (2020)
Fractures of the wrist are common in Emergency Departments, where some patients are treated with a procedure called Manipulation under Anaesthesia. In some cases, this procedure is unsuccessful and patients need to revisit the hospital where they und
Externí odkaz:
https://doaj.org/article/ba95a06a84d54778aac8d03333f4df2f
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 169, Iss Proc. HCVS 2014, Pp 68-81 (2014)
In this paper we present a novel rule-based approach for Runtime Verification of FLTL properties over finite but expanding traces. Our system exploits Horn clauses in implication form and relies on a forward chaining-based monitoring algorithm. This
Externí odkaz:
https://doaj.org/article/053aecfb386c42358339330038c91ed9
Autor:
Artur d’Avila Garcez, Luís C. Lamb
Publikováno v:
Artificial Intelligence Review.
Publikováno v:
2022 International Joint Conference on Neural Networks (IJCNN).
Autor:
Luciano Serafini, Artur d’Avila Garcez, Samy Badreddine, Ivan Donadello, Michael Spranger, Federico Bianchi
The recent availability of large-scale data combining multiple data modalities has opened various research and commercial opportunities in Artificial Intelligence (AI). Machine Learning (ML) has achieved important results in this area mostly by adopt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::725d08d08755b9117c89e3cb1b2bc608
https://doi.org/10.3233/faia210498
https://doi.org/10.3233/faia210498
Autor:
Tarek R. Besold, Artur d’Avila Garcez, Sebastian Bader, Howard Bowman, Pedro Domingos, Pascal Hitzler, Kai-Uwe Kühnberger, Luis C. Lamb, Priscila Machado Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, Gerson Zaverucha
The study and understanding of human behaviour is relevant to computer science, artificial intelligence, neural computation, cognitive science, philosophy, psychology, and several other areas. Presupposing cognition as basis of behaviour, among the m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b8f994f9c5b14a295ac1a53d425a142f
https://doi.org/10.3233/faia210348
https://doi.org/10.3233/faia210348
Autor:
Adam White, Kwun Ho Ngan, James Phelan, Kevin Ryan, Saman Sadeghi Afgeh, Constantino Carlos Reyes-Aldasoro, Artur d’Avila Garcez
A novel explainable AI method called CLEAR Image is introduced in this paper. CLEAR Image is based on the view that a satisfactory explanation should be contrastive, counterfactual and measurable. CLEAR Image seeks to explain an image’s classificat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::96509a4eea01ce0d381829aeddedb93d
http://arxiv.org/abs/2106.14556
http://arxiv.org/abs/2106.14556
Autor:
Tarek R. Besold, Artur d’Avila Garcez, Ernesto Jimenez-Ruiz, Roberto Confalonieri, Pranava Madhyastha, Benedikt Wagner
This book constitutes the refereed proceedings of the 18th International Conference on Neural-Symbolic Learning and Reasoning, NeSy 2024, held in Barcelona, Spain during September 9-12th, 2024. The 30 full papers and 18 short papers were carefully re