Representing Biological Processes in Modular Action Language ALM
Daniela Inclezan, Michael Gelfond · 2011
This paper presents the formalization of a biological process, cell division, in modular action language ALM. We show how the features of ALM—modularity, separation between an uninterpreted theory and its interpretation—lead to a simple and elegant solution that can be used in answering questions from biology textbooks.