2 papers
q-bio.QM2020
Computational Logic for Biomedicine and Neurosciences
Elisabetta de Maria, Joelle Despeyroux, Amy Felty +3
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 system…
cs.LO2016
A Hybrid Linear Logic for Constrained Transition Systems
Joelle Despeyroux, Kaustuv Chaudhuri
Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable…