Computational Logic for Biomedicine and Neurosciences

Abdorrahim Bahrami
Abdorrahim Bahrami
Joelle Despeyroux
Joelle Despeyroux
Amy Felty
Amy Felty
Pietro Lió
Pietro Lió
Cited by: 0|Bibtex|Views1|Links

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:

Your rating :
0

 

Tags
Comments