Steve Dworschak

Learn More
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for mod-eling biological networks, building on previous work by Baral et al. We introduce its syntax and semantics along with a translation into answer set programming, an efficient Boolean Constraint Programming(More)
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 C TAID can be mapped(More)
  • 1