Sciweavers

ICTAI
2008
IEEE

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

14 years 5 months ago
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.
Steve Dworschak, Torsten Grote, Arne König, T
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where ICTAI
Authors Steve Dworschak, Torsten Grote, Arne König, Torsten Schaub, Philippe Veber
Comments (0)