The System BioC for Reasoning about Biological Models in Action Language C

We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show its usefulness in modeling biochemical reactions according to the well-known model of BIOCHAM. Second, we show how the biological action description language CTAID can be mapped onto C. Finally, we describe a toolbox for using action languages, including among them, a compiler mapping C and CTAID to logic programs under answer sets semantics along with a web-service integrating different front- and back-ends for addressing dynamical systems by means of action description languages via answer set programming. This is accompanied by an empirical evaluation with existing systems for processing action description languages.

• Type: Conference
• Year: 2008
• Where: ICTAI
• Authors: Steve Dworschak, Torsten Grote, Arne König, Torsten Schaub, Philippe Veber
• Keywords: Action Description Languages, Action Languages, Artificial Intelligence, Biological Action Description, ICTAI 2008