Towards hybrid-AI in imaging using VoxLogicA
Belmonte G., Bussi L., Ciancia V., Latella D., Massink M.
Image analysis Medical imaging Spatial logics Artificial Intelligence Model checking Hybrid Artificial Intelligence VoxLogicA
We present the design of a meta-programming system for hybrid AI, integrating spatial model checking and machine learning. The proposed system architecture blends together different programming languages and execution technologies using a simplified, declarative meta-language. The design features a global-model-checking-alike execution model, backed up by a microservices architecture. The system is meant to be a follow up to the spatial model checker VoxLogicA currently used for research on declarative medical image analysis, aimed at explainable by construction artificial intelligence.
Source: LECTURE NOTES IN COMPUTER SCIENCE, vol. 15222, pp. 205-221. Crete, Greece, 27-31/10/2024
Metrics
Back to previous page
@inproceedings{oai:iris.cnr.it:20.500.14243/517025,
title = {Towards hybrid-AI in imaging using VoxLogicA},
author = {Belmonte G. and Bussi L. and Ciancia V. and Latella D. and Massink M.},
doi = {10.1007/978-3-031-75387-9_13},
booktitle = {LECTURE NOTES IN COMPUTER SCIENCE, vol. 15222, pp. 205-221. Crete, Greece, 27-31/10/2024},
year = {2024}
}
0000-0003-1292-4086
-Spatio-Temporal Enhancement of Neural nets for Deeply Hierarchical Automatised Logic
-Spatio-Temporal Enhancement of Neural nets for Deeply Hierarchical Automatised Logic
Formal Methods in Software Engineering 2.0
Formal Methods in Software Engineering 2.0
Model Checking for Polyhedral Logic
Model Checking for Polyhedral Logic
PRIN T-LADIES
PRIN T-LADIES
Tuscany Health Ecosystem
Tuscany Health Ecosystem