# Computational Logic for Biomedicine and Neurosciences

Abdorrahim Bahrami
Joelle Despeyroux
Amy Felty
Pietro Lió

Abstract:

We advocate here the use of computational logic for systems biology, as a \emph{unified and safe} framework well suited for both modeling the dynamic behaviour of biological systems, expressing properties of them, and verifying these properties. The potential candidate logics should have a traditional proof theoretic pedigree (including...More

Code:

Data: