Representing Biological Processes in Modular Action Language ALM.
Daniela InclezanMichael GelfondPublished in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Keyphrases
- biological processes
- action language
- gene expression
- description language
- reasoning about actions
- computational biology
- biological data
- protein protein interactions
- biological networks
- biological systems
- biomedical literature
- answer set programming
- molecular biology
- systems biology
- microarray
- situation calculus
- action theories
- experimental conditions
- gene regulatory networks
- high throughput
- logic programming
- xml documents
- high precision
- transcription factors
- software engineering
- information extraction