Bansky

(COMPETE2030-FEDER-00892000)

Banksy

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

INESCTEC

Luís Barbosa (PI)
Renato Neves

AIBILI

CIDMA

PhD Students

Juliana Cunha

Grant holders

Joana Rodrigues

Project Structure

Task 1 - Paraconsistent Inference: Foundations and Methods

Task 2 - Paraconsistent Engineering in the Medical Domain

Task 3 - Tool development

Publications

J. Cunha, A. Madeira and L. Barbosa. Paraconsistent Reactive Graphs: Their Semantics and Conflict Resolution Policies. Journal of Applied Logics (in print)
R. Alves, J. Cunha and A. Madeira. A First Steps in a Paraconsistent Transition Systems Toolkit. 20th International Symposium on Theoretical Aspects of Software Engineering. Lecture Notes in Computer Science. Springer, Cham. (in print)
A. Freire and Manuel A. Martins. Regular non-normal modal classicalities. In Marcelo Coniglio, Logic, Semantics, and Algebraic Methods. (in print)
J. Grant, Manuel A. Martins. Measuring inconsistency and incompleteness using different negations. In volume Negations, Gaps, and Gluts. (in print)
M. Afaq Khan and M. A. Martins. On Fuzzy Topological Semantics. Dynamic Logic New Trends and Applications. Lecture Notes in Computer Science 16472 (in print)
R. Fervari, D. Figueiredo and M. A. Martins. Probabilistic Relation-Changing Operators. Software Engineering and Formal Methods 2025 Collocated Workshops. Lecture Notes in Computer Science, Springer (in print)
A. Iglesias, A. Madeira, and M. A. Martins. A HASKELL encoding for reconfigurable timed systems. Software Engineering and Formal Methods 2025 Collocated Workshops. Lecture Notes in Computer Science, Springer (in print)
M. Jain, A. Madeira, and L. Barbosa. Reasoning about blurred observations of program states: A recipe. Software Engineering and Formal Methods 2025 Collocated Workshops. Lecture Notes in Computer Science, Springer (in print)
S. Duarte, D. Figueiredo, M. Martins, and R. Santiago. Dynamic Fuzzy Language for Label Fuzzy Reactive Graphs.Software Engineering and Formal Methods 2025 Collocated Workshops. Lecture Notes in Computer Science, Springer (in print)
J. Grant, Manuel A. Martins. Measuring Inconsistency in a Fragment of Hybrid Logic In Joint Proceedings of the ECSQARU 2025 Workshops and Tutorials. Joint Workshop and Tutorials co-located with ECSQARU 2025, Sep 2025, Hagen, Germany, 2025.
M. Martins, A. Rodrigues, M. Coniglio, A. Freire. On Many-logic modal structures and information-based logics. Journal of Logic, Language and Information https://doi.org/10.1007/s10849-026-09467-x
D. Figueiredo, A. Madeira. Binders for switch graphs specification. Software Engineering and Formal Methods 2024 Collocated Workshops. Lecture Notes in Computer Science, vol 15551. Springer, Cham. (2026) https://link.springer.com/chapter/10.1007/978-3-031-94748-3_4
J. Cunha, A. Madeira and L. Barbosa. Paraconsistent Reactive Graphs. Software Engineering and Formal Methods 2024 Collocated Workshops. Lecture Notes in Computer Science, vol 15551. Springer, Cham. (2026) https://link.springer.com/chapter/10.1007/978-3-031-94748-3_4
J. Cunha, A. Madeira, L. S. Barbosa. Paraconsistent transition structures: compositional principles and a modal logic. Mathematical Structures in Computer Science. 35:e14. Cambridge Press (2025) doi:10.1017/S0960129525100170
L. Bayzid, A. Madeira and M. Martins. A Function-Set Framework: General Properties and Applications to Modal Logic. Logical and Semantic Frameworks with Applications. EPTCS 430, pp. 1-7. (2025) https://doi.org/10.4204/EPTCS.430.1

Dissemination

L. Barbosa. Paraconsistency and Program Logics. Invited Talk at DaLí 2025: The 6th Workshop on Dynamic Logic - New Trends and Applications. Xi’an, China, 2025
A. Madeira and M. A. Martins. Structured Specification in Many Logic Modal Logic. WADT 2026 - Workshop on Algebraic Development Techniques – STAF 26 – Software Technologies: Applications and Foundations, Rennes, France, 2026
A. Iglesias, A. Madeira, M. A. Martins and J. Proença. ReTA: Modeling Reconfigurable Timed Automata. WADT 2026 - Workshop on Algebraic Development Techniques – STAF 26 – Software Technologies: Applications and Foundations, Rennes, France, 2026

Acknowledgements

compete