Bansky
A paraconsistent inference engine to support research in age-related macular degeneration
Age-related macular degeneration (AMD) is a multifactorial disease of the macula recognised as the leading cause of vision loss in people over 55. This project innovates on AMD prediction analysis through new methods and tools for paraconsistent reasoning over complex, weak consistent data classified by often contradictory medical judgements. The team fosters synergies between INESCTEC, AIBILI, and UA (CIDMA). The project started in the 1st of Sep. 2025 and will end in the 31st of August 2028.
Research team
Publications
Task 1 - Paraconsistent Inference: Foundations and Methods
Task 2 - Paraconsistent Engineering in the Medical Domain
Task 3 - Tool development
Dissemination
TBA
Previous related projects
- Ibex - Quantitative methods for cyber-physical programming
- DaVinci - Distributed architectures, variability and interaction for cyber-physical systems
- Klee - coalgebraic modeling and analysis for computational synthetic biology
- DaLí - Dynamic Logics for cyber-physical systems: towards contract based design