Reasoning on the response of logical signaling networks with Answer Set Programming
Project description
The aim of caspo is to implement a pipeline for automated reasoning on logical signaling networks. Main features include, learning of logical networks from experiments, design new experiments in order to reduce the uncertainty, and finding intervention strategies to control the biological system. For more details visit caspo’s website.
2.0.0 (2014-03-24)
Complete refactoring (no backwards compatibility)
- Introduce subcommands:
learn: learning logical networks
control: finding intervention strategies
analyze: compute I/O behaviors and basic stats
design: experimental design to discriminate I/O behaviors
visualize: dump results from other subcommands to dot files
Uses latest potassco tools: clingo >= 4.3.0, gringo >= 4.3.0 and clasp >= 3.0.2
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
